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