Search for "Alastair Reid" returned 5 results

How can you trust formally verified software?

• 28 min
• 2017-12-27
• 1.8k
• Alastair Reid
34C3: TUWAT

What makes processors fail - and how to prevent it

• 43 min
• 2018-09-02
• 142
• Alastair Reid
Electromagnetic Field 2018

An insider's guide to Linux Logical Volume Management with LVM2

• 56 min
• 2006-05-05
• 102
• Alasdair G. Kergon (Red Hat)
Linuxtag 2006

TrustZone is not enough

Hijacking debug components for embedded security

• 31 min
• 2017-12-30
• 653
• Pascal Cotret
34C3: TUWAT

Censored Planet: a Global Censorship Observatory

• 56 min
• 2018-12-27
• 925
• Roya Ensafi
35C3: Refreshing Memories