Publication
Optimal Proximity Proofs Revisited
Publications associées (36)
Toward Mobile Distributed Ledgers
Boi Faltings, Sujit Prakash Gujar, Dimitrios Chatzopoulos, Anurag Jain
Advances in mobile computing have paved the way for new types of distributed applications that can be executed solely by mobile devices on Device-to-Device (D2D) ecosystems (e.g., crowdsensing). Sophisticated applications, like cryptocurrencies, need distr ...
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2022PROFACTORY: Improving IoT Security via Formalized Protocol Customization
Mathias Josef Payer, Fei Wang, Duo Xu, Xiangyu Zhang
As IoT applications gain widespread adoption, it becomes important to design and implement IoT protocols with security. Existing research in protocol security reveals that the majority of disclosed protocol vulnerabilities are caused by incorrectly impleme ...
USENIX ASSOC2022Bidirectional Asynchronous Ratcheted Key Agreement with Linear Complexity
Serge Vaudenay, Fatma Betül Durak
Following up mass surveillance and privacy issues, modern secure communication protocols now seek more security such as forward secrecy and post-compromise security. They cannot rely on an assumption such as synchronization, predictable sender/receiver rol ...
Springer2019Security of Distance-Bounding: A Survey
Serge Vaudenay, Gildas Avoine, Martin Benjamin, Srdan Capkun, Aslan Tchamkerten
Distance-bounding protocols allow a verifier to both authenticate a prover and evaluate whether the latter is located in his vicinity. These protocols are of particular interest in contactless systems, e.g. electronic payment or access control systems, whi ...
2018Implications of Position in Cryptography
In our daily lives, people or devices frequently need to learn their location for many reasons as some services depend on the absolute location or the proximity. The outcomes of positioning systems can have critical effects e.g., on military, emergency. Th ...
EPFL2018Wireless Communication and Security Issues for Cyber-Physical Systems and the Internet-of-Things
Andreas Peter Burg, Anupam Chattopadhyay
Wireless sensors and actuators connected by the Internet-of-Things (IoT) are central to the design of advanced cyber-physical systems (CPSs). In such complex, heterogeneous systems, communication links must meet stringent requirements on throughput, latenc ...
Ieee-Inst Electrical Electronics Engineers Inc2018Building Security Protocols Against Powerful Adversaries
As our sensitive data is increasingly carried over the Internet and stored remotely, security in communications becomes a fundamental requirement. Yet, today's security practices are designed around assumptions the validity of which is being challenged. In ...
EPFL2016Creating Secrets Out Of Packet Erasures
Christina Fragouli, László Czap, Iris Safaka
We present protocols for creating pairwise secrets between nodes in a wireless network, so that these secrets are secure from an eavesdropper, Eve, with unbounded computational and memory capabilities, but with limited network presence. We first present a ...
Ieee-Inst Electrical Electronics Engineers Inc2016Optimal Proximity Proofs
Provably secure distance-bounding is a rising subject, yet an unsettled one; indeed, very few distance-bounding protocols, with formal security proofs, have been proposed. In fact, so far only two protocols, namely SKI (by Boureanu et al.) and FO (by Fisch ...
Springer2015High System-Code Security with Low Overhead
George Candea, Johannes Kinder, Volodymyr Kuznetsov, Jonas Benedict Wagner
Security vulnerabilities plague modern systems because writing secure systems code is hard. Promising approaches can retrofit security automatically via runtime checks that implement the desired security policy; these checks guard critical operations, like ...
2015