4 papers
Security evaluation of quantum distance-bounding protocols via semidefinite programming
Kevin Bogner, Aysajan Abidin, Dave Singelee +1
The paper analyzes the security of quantum distance‑bounding protocols by formulating one‑round distance‑fraud and mafia‑fraud attacks as convex optimization problems that can be s…
Reinforcement Learning Disrupts Gradient-Based Adversarial Optimization
Xinhai Zou, Chang Zhao, Alireza Aghabagherloo +3
Gradient-based adversarial attacks remain a dominant threat to deep neural networks (DNNs), as they exploit gradient information to efficiently optimize adversarial perturbations.…
ThreadFuzzer: Fuzzing Framework for Thread Protocol
Ilja Siroš, Jakob Heirwegh, Dave Singelée +1
With the rapid growth of IoT, secure and efficient mesh networking has become essential. Thread has emerged as a key protocol, widely used in smart-home and commercial systems, and…
Security Framework for Quantum Distance-Bounding
Kevin Bogner, Aysajan Abidin, Dave Singelee +1
Distance-bounding (DB) protocols let a verifier upper-bound a prover's physical distance by timing rapid challenge-response exchanges. Quantum communication promises simpler DB pro…