Nadim Kobeissi [Speaker-Timeline] [Speaker-Links]

Tell us about missing data
Title Conference Tags
Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols IEEEEuroS&P-2019 - Stockholm, Sweden
Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic and Computational Approach EuroSP-2017 - paris,france
FLEXTLS: A Tool for Testing TLS Implementations WOOT-2015 - washington,USA
‘miniLock — File encryption software that does more with less’ hackfest-2014 - quebec,canada
Usable Crypto: New Progress in Web Cryptography HOPE-2014 - New York,USA
Why Browser Cryptography is Bad and How We Can Make It Great HOPE-9 - New York Security