Computer-aided cryptography is an active area of research that develops and applies
formal, machine-checkable approaches to the design, analysis, and implementation of …

Symbolic security protocol verifiers have reached a high degree of automation and maturity.
Today, experts can model real-world protocols, but this often requires model-specific …

The Bluetooth protocol suite, including Bluetooth Classic, Bluetooth Low Energy, and
Bluetooth Mesh, has become the de facto standard for short-range wireless …

EDHOC is a key exchange proposed by IETF's Lightweight Authenticated Key Exchange
(LAKE) Working Group (WG). Its design focuses on small message sizes to be suitable for …

Critical and widely used cryptographic protocols have repeatedly been found to contain
flaws in their design and their implementation. A prominent class of such vulnerabilities is …

Verifpal is a new automated modeling framework and verifier for cryptographic protocols,
optimized with heuristics for common-case protocol specifications, that aims to work better …

Bluetooth is a leading wireless communication technology used by billions of Internet of
Things (IoT) devices today. Its ubiquity demands systematic security scrutiny. A key …

FIDO2 is the latest member of the Fast IDentity Online (FIDO) protocol suite, which aims at
providing unified password-less authentication across the web. We present a formal security …

Many security protocols used for daily Internet traffic have been used for decades and
standardization bodies like the IETF often provide extensions for legacy protocols to deal …

Security protocols are essential building blocks of modern IT systems. Subtle flaws in their
design or implementation may compromise the security of entire systems. It is, thus …