Speakerprofil
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.
Veranstaltungen
-
22:05Tag 2