Authentication in a vehicular ad-hoc network (VANET) requires not only secure and efficient
authentication with privacy preservation but applicable flexibility to handle complicated …

Nowadays in many application scenarios of Internet of Things (IoT), low latency is achieved
at the cost of computing-complexity which is beyond the capabilities of IoT devices …

Message authentication and key exchange are two of the most basic tasks of cryptography
and are often basic components in complex and security-sensitive protocols. Thus …

We present a computational analysis of basic Kerberos and Kerberos with public-key
authentication (PKINIT) in which we consider authentication and key secrecy properties. Our …

The analysis of real-world protocols, in particular key exchange protocols and protocols
building on these protocols, is a very complex, error-prone, and tedious task. Besides the …

We present a computational analysis of basic Kerberos with and without its public-key
extension PKINIT in which we consider authentication and key secrecy properties. Our …

The security of the group key exchange protocols has been widely studied in the
cryptographic community in recent years. Current work usually applies either the …

We consider a class of two-party function evaluation protocols in which the parties are
allowed to use ideal functionalities as well as a set of powerful primitives, namely …

We present an approach to automating computationally sound proofs of key exchange
protocols based on public-key encryption. We show that satisfying the property called …

We address the question of automatically proving security theorems in the universally
composable (UC) model for ideal and real functionalities composed of if-then-else programs …