This study provides an in-depth survey of quantum secure authentication and key
agreement protocols, investigating the dynamic landscape of cryptographic techniques …

The Internet of things technology has accelerated the development of e-health solutions and
allows patients to obtain a more satisfying medical service experience. Each electronic …

The growth of electronic healthcare (e-health) systems is promoted by the evolution of
Internet of Things (IoT) technology, as this new environment provides a variety of …

Cloud computing has made the software development process fast and flexible but on the
other hand it has contributed to increasing security attacks. Employees who manage the …

Cryptographic protocols are successfully analyzed using formal methods. However, formal
approaches usually consider the encryption schemes as black boxes and assume that an …

We provide a method for deciding the insecurity of cryptographic protocols in the presence
of the standard Dolev-Yao intruder (with a finite number of sessions) extended with so-called …

We present decidability results for the verification of cryptographic protocols in the presence
of equational theories corresponding to xor and Abelian groups. Since the perfect …

Security protocols are distributed programs that aim at securing communications by the
means of cryptography. They are for instance used to secure electronic payments, home …

Constraint satisfaction and constraint programming have shown to be very simple but
powerful ideas, with applications in various areas. Still, in the last ten years, the simple …

Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs
affecting security, which cannot be detected by just analyzing abstract protocols (eg, SSL or …