70 citations · 115 across the 9 of their papers we have counts for
5 papers · 1 filter
On the Necessity of Pre-agreed Secrets for Thwarting Last-minute Coercion: Vulnerabilities and Lessons From the Loki E-voting Protocol
Jingxin Qiao, Myrto Arapinis, Thomas Zacharias
Coercion-resistance (CR) is a crucial security property in e-voting systems. It ensures that an attacker cannot compel a voter to vote in a specific way by using threats or rewards…
Universally Composable Simultaneous Broadcast against a Dishonest Majority and Applications
Myrto Arapinis, Ábel Kocsis, Nikolaos Lamprou +2
Simultaneous broadcast (SBC) protocols [Chor et al., FOCS 1985] constitute a special class of broadcast channels which have proved extremely useful in the design of various distrib…
Composing security protocols: from confidentiality to privacy
Myrto Arapinis, Vincent Cheval, Stéphanie Delaune
Security protocols are used in many of our daily-life applications, and our privacy largely depends on their design. Formal verification techniques have proved their usefulness to…
Dynamic Tags for Security Protocols
Myrto Arapinis, Stéphanie Delaune, Steve Kremer
The design and verification of cryptographic protocols is a notoriously difficult task, even in symbolic models which take an abstract view of cryptography. This is mainly due to t…
Formal Analysis of UMTS Privacy
Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter +1
The ubiquitous presence of mobile communication devices and the continuous development of mo- bile data applications, which results in high level of mobile devices' activity and ex…