Steve Kremer [Speaker-Timeline] [Speaker-Links]

Tell us about missing data
Title Conference Tags
Private votes on untrusted platforms: models, attacks and provable scheme IEEEEuroS&P-2019 - Stockholm, Sweden
A Novel Approach for Reasoning about Liveness in Cryptographic Protocols and its Application to Fair Exchange EuroSP-2017 - paris,france
Symbolic Models for Isolated Execution Environments EuroSP-2017 - paris,france