Secure Protocols - Secure Protocols -

Secure Protocols

Formalizing and Proving Privacy Properties of Voting Protocols Using Alpha-Beta Privacy
Sébastien Gondron and Sebastian A. Mödersheim

ProCSA: Protecting Privacy in Crowdsourced Spectrum Allocation
Max Curran, Xiao Liang, Himanshu Gupta, Omkant Pandey and Samir Das

Breaking Unlinkability of the ICAO 9303 Standard for e-Passports Using Bisimilarity
Ross Horne, Sjouke Mauw, Zach Smith and Ihor Filimonov

Symmetric-key Corruption Detection: When XOR-MACs Meet Combinatorial Group Testing
Kazuhiko Minematsu and Norifumi Kamiya


Questions?

✆ Contact the organizing committee: esorics2019 [at] uni [dot] lu

Questions?

✆ Contact the organizing committee: esorics2019 [at] uni [dot] lu

Questions?

✆ Contact the organizing committee: esorics2019 [at] uni [dot] lu

Questions?

✆ Contact the organizing committee: esorics2019 [at] uni [dot] lu