Search for "Rick Arias"

BREACH in Agda
49 min

BREACH in Agda

Security notions, proofs and attacks using dependently…

Boot2root
62 min

Boot2root

Auditing Boot Loaders by Example

Transhuman Expression
62 min

Transhuman Expression

Interdisciplinary research in Painting and Robotics. with…

How to Hack Your Way to Space
61 min

How to Hack Your Way to Space

Bringing the Hacker Mindset to the Space Ecosphere - The…

The Ultimate Amiga 500 Talk
53 min

The Ultimate Amiga 500 Talk

Amiga Hardware Design And Programming