There are well-known techniques for message authentication using universal hash
functions. This approach seems very promising, as it provides schemes that are both …

We examine key agreement protocols providing (i) key authentication (ii) key confirmation
and (iii) forward secrecy. Attacks are presented against previous two-party key agreement …

物联网是信息技术发展到一定阶段的产物, 是全球信息产业和技术的又一次飞跃.
物联网的发展非常迅速, 市场潜力巨大. 同时, 物联网的信息安全问题是关系物联网产业能否安全 …

This paper describes the state of the art for cryptographic primitives that are used for
protecting the authenticity of information: cryptographic hash functions and digital signature …

We show that the signer can abuse the disavowal protocol in the Jakobsson-Sako-
Impagliazzo designated-verifier signature scheme. In addition, we identify a new security …

We believe that formal methods of all kinds are critical to mobile code security, as one route
to gaining the assurance level necessary for running potentially hostile code on a routine …

This short article is intended to complement my invited talk at this conference. 1 I would like
to try to introduce you to a certain, relatively new, sub-area of cryptography that we have …

We evaluate constructions for building pseudo-random functions (PRFs) from pseudo-
random permutations (PRPs). We present two constructions: a slower construction which …

We propose a PMAC-type mode of operation that can be used as a highly secure MAC
(Message Authentication Code) or PRF (Pseudo-Random Function). Our scheme is based …

HMAC is a widely used message authentication code and a pseudorandom function
generator based on cryptographic hash functions such as MD5 and SHA-1. It has been …