Search for "M" returned 11762 results

The Mars Rover On-board Computer
43 min

The Mars Rover On-board Computer

How Curiosity's Onboard Computer works, and what you can…

BREACH in Agda
49 min

BREACH in Agda

Security notions, proofs and attacks using dependently…

Provable Security
59 min

Provable Security

How I learned to stop worrying and love the backdoor

Internet, the Business Side
62 min

Internet, the Business Side

a try to explain the ecosystem

Virtual Secure Boot
51 min

Virtual Secure Boot

Secure Boot support in qemu, kvm and ovmf.

Extracting keys from FPGAs, OTP Tokens and Door Locks
41 min

Extracting keys from FPGAs, OTP Tokens and Door Locks

Side-Channel (and other) Attacks in Practice