In this paper, we present a practical and provably secure two-pass authenticated key
exchange protocol over ideal lattices, which is conceptually simple and has similarities to …

Most of the world's power grids are controlled remotely. Their control messages are sent
over potentially insecure channels, driving the need for an authentication mechanism. The …

BLAKE2 is a hash function introduced at ACNS 2013, which has been adopted in many
constructions and applications. It is a successor to the SHA-3 finalist BLAKE, which received …

Smart cards are secure devices used to store people sensitive data and to regulate
important operations like identity proofs and payment transactions. For years people have …

Contactless access control systems are critical for security but often vulnerable to relay
attacks. In this paper, we define an integrated security and privacy model for access control …

Abstract The Protocol for Lightweight Authentication of Identity (PLAID) aims at secure and
private authentication between a smart card and a terminal. Originally developed by a unit of …

The standardization group ISO/IEC SC31/WG7 is working on a set of cryptographic suites to
provide security to wireless devices including UHF RFID tags. These cryptographic suites …

In our increasingly connected world, daily life depends on the correct and unimpaired
operation of the computers controlling our infrastructure. These systems are increasingly …

As discussed in Chap. 3, the use of public-key cryptography can avoid the problem of key
distributions that is inherent in the symmetric-key cryptography. But most public-key …

This is a response to the document “Nit-Picking PLAID AS & ISO Project Editors Report into
'Unpicking Plaid'”[Fre14] on our paper “Unpicking PLAID–A Cryptographic Analysis of an …