Speaker Profile
Dies ist das Hub-Test-System beim VOC, basierend auf einem Abzug des 39C3.
Jade
I live in Berlin and write cryptography and proofs (sometimes at the same time). I'm interested in most things to do with formal methods, applied cryptography, and the hardware/software interface. I also have a website with more details.
Events
-
22:05Day 2