Search for "Michael Lauer" returned 103 results

A systematic evaluation of OpenBSD's mitigations

• Security Main
• 53 min
• 2019-12-29
• 9.6k
• stein
36C3: Resource Exhaustion

Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and Hardware…

• 61 min
• 2017-12-29
• 4.0k
• Adam Chlipala
34C3: TUWAT

Fnord News Show

Der schonungslose Realitätsabgleich mit…

• 117 min
• 2013-12-29
• 10.6k
• frank and Fefe
30C3