Biometric Cryptosystem (BCS) combines characteristics of both the fields: biometric and
cryptosystem, where biometric provides authentication and cryptosystem imparts security …

Cryptographic protocols aim at securing communications over insecure networks such as
the Internet, where dishonest users may listen to communications and interfere with them. A …

Abstract Timed Intruder Models have been proposed for the verification of Cyber-Physical
Security Protocols (CPSP) amending the traditional Dolev-Yao intruder to obey the physical …

The PRESENT block cipher was one of the first hardware-oriented proposals for
implementation in extremely resource-constrained environments. Its design is based on 4-bit …

Nowadays, protocols often use time to provide better security. For instance, critical
credentials are often associated with expiry dates in system designs. However, using time …

Denial of Service (DoS) attacks have been a serious security concern, as no service is, in
principle, protected against them. Although a Dolev-Yao intruder with unlimited resources …

Many security protocols rely on the assumptions on the physical properties in which its
protocol sessions will be carried out. For instance, Distance Bounding Protocols take into …

Protocol security verification is one of the best success stories of formal methods. However,
some aspects important to protocol security, such as time and resources, are not covered by …

For many modern applications like eg contactless payment, and keyless systems, ensuring
physical proximity is a security goal of paramount importance. Formal methods have proved …

This paper presents a formal analysis of the train to trackside communication protocols used
in the European Railway Traffic Management System (ERTMS) standard, and in particular …