4 citations · 4 across the 4 of their papers we have counts for
4 papers
Security evaluation of quantum distance-bounding protocols via semidefinite programming
Kevin Bogner, Aysajan Abidin, Dave Singelee +1
Quantum distance-bounding (QDB) protocols let a verifier check that a prover is both genuine and physically nearby. During a timed fast phase of quantum communication, the verifier…
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…
CovFUZZ: Coverage-based fuzzer for 4G&5G protocols
Ilja Siroš, Dave Singelée, Bart Preneel
4G and 5G represent the current cellular communication standards utilized daily by billions of users for various applications. Consequently, ensuring the security of 4G and 5G netw…
GitHub Copilot: the perfect Code compLeeter?
Ilja Siroš, Dave Singelée, Bart Preneel
This paper aims to evaluate GitHub Copilot's generated code quality based on the LeetCode problem set using a custom automated framework. We evaluate the results of Copilot for 4 p…