Lucca Hirschi [Speaker-Timeline] [Speaker-Links]

Tell us about missing data
Title Conference Tags
A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols 29thUSENIXSecuritySymposium-2020 - Berkeley, USA
Improving Automated Symbolic Analysis of Ballot Secrecy for E-voting Protocols: A Method Based on Sufficient Conditions IEEEEuroS&P-2019 - Stockholm, Sweden
NEW ADVENTURES IN SPYING 3G AND 4G USERS: LOCATE TRACK and MONITOR blackhat-2017 - las vegas,usa