Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
M. Maffei, J. Lallemand, V. Cortier, N. Grimm:
"A Type System for Privacy Properties";
Vortrag: ACM CCS 2017 Conference on Computer and Communications Security,
Dallas, USA;
30.10.2017
- 03.11.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;
S. 409
- 423.
Kurzfassung englisch:
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.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1145/3133956.3133998
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/publik_268464.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.