Abstract Secure Multi-party Computation (SMPC) is a family of protocols which allow some
parties to compute a function on their private inputs, obtaining the output at the end and …

A smart home enables users to access devices such as lighting, HVAC, temperature
sensors, and surveillance camera. It provides a more convenient and safe living …

Abstract Hash Proof Systems or Smooth Projective Hash Functions (SPHFs) are a form of
implicit arguments introduced by Cramer and Shoup at Eurocrypt'02. They have found many …

We put forth a new framework for building pairing-based non-interactive zero-knowledge
(NIZK) arguments for a wide class of algebraic languages, which are an extension of linear …

We construct both randomizable and strongly existentially unforgeable structure-preserving
signatures for messages consisting of many group elements. To sign a message consisting …

We propose a framework for constructing efficient designated-verifier non-interactive zero-
knowledge proofs (DVNIZK) for a wide class of algebraic languages over abelian groups …

Certificateless public key cryptography (CL-PKC) promises a practical resolution in
establishing practical schemes, since it addresses two fundamental issues, namely the …

As an essential technology underpinning trusted computing, the trusted execution
environment (TEE) allows one to launch computation tasks on both on-and off-premises …

In this paper, we describe the first generic construction for multimodal biometric Identity
Based Encryption considering two distance measures at the same time. Current protocols for …

Abstract Password-Authenticated Key Exchange (PAKE) protocols allow two parties that
share a password to establish a shared key in a way that is immune to offline attacks …