Talks and Poster Presentations (with Proceedings-Entry):
M. Maffei, J. Lallemand, V. Cortier, N. Grimm:
"A Type System for Privacy Properties";
Talk: ACM CCS 2017 Conference on Computer and Communications Security,
Dallas, USA;
10-30-2017
- 11-03-2017; in: "CCS '17 Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security",
ACM Digital Library,
New York
(2017),
ISBN: 978-1-4503-4946-8;
409
- 423.
English abstract:
Maturepushbuttontoolshaveemergedforcheckingtraceproperties(e.g.secrecyorauthentication)ofsecurityprotocols.Thecase ofindistinguishability-basedprivacyproperties(e.g.ballotprivacy oranonymity)ismorecomplexandconstitutesanactiveresearch topicwithseveralrecentpropositionsoftechniquesandtools. Weexploreanovelapproachbasedontypesystemsandprovide a (sound) type system for proving equivalence of protocols, for a bounded or an unbounded number of sessions. The resulting prototype implementation has been tested on various protocols of the literature. It provides a significant speed-up (by orders of magnitude)comparedtotoolsforaboundednumberofsessions andcomplementsintermsofexpressivenessotherstate-of-the-art tools,suchasProVerifandTamarin:e.g.,weshowthatouranalysis techniqueisthefirstonetohandleafaithfulencodingoftheHelios e-votingprotocolinthecontextofanuntrustedballotbox.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1145/3133956.3133998
Electronic version of the publication:
http://publik.tuwien.ac.at/files/publik_268464.pdf
Created from the Publication Database of the Vienna University of Technology.