Jonathan Protzenko [Speaker-Timeline] [Speaker-Links]

Tell us about missing data
Title Conference Tags
Formally Verified Cryptographic Web Applications in WebAssembly IEEESymposium-2019 - San Francisco, US
HACL* in Mozilla Firefox : YouTube RWC-2018 - zurich,switzerland