Results 111 to 120 of about 669 (148)

Acute: high-level programming language design for distributed computation

, 2005
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of many distinct programs, sharing some (but not necessarily all) of their ...
Sewell, Peter, Habouzit, Pierre, Vafeiadis, Viktor, Zappa Nardelli, Francesco, Leifer, James J., Allen-Williams, Mair, Wansbrough, Keith   +6 more
core  

Black-Box Non-Interactive Zero Knowledge from Vector Trapdoor Hash [PDF]

We present a new approach for constructing non-interactive zero-knowledge (NIZK) proof systems from vector trapdoor hashing (VTDH) -- a generalization of trapdoor hashing [Döttling et al., Crypto\u2719].
Nico Döttling, Akshayaram Srinivasan, Abhishek Jain, Pedro Branco, Arka Rai Choudhuri, Giulio Malavolta   +5 more
core  

Strong Leakage and Tamper-Resilient PKE from Refined Hash Proof System

Lecture Notes in Computer Science, 2019
We revisit the problem of constructing public key encryption (PKE) secure against both key-leakage and tampering attacks. First, we present an enhanced security against both kinds of attacks, namely strong leakage and tamper-resilient chosen-ciphertext (sLTR-CCA) security, which imposes only minimal restrictions on the adversary’s queries and thus ...
Shifeng Sun 0001, Dawu Gu, Man Ho Au, Shuai Han 0001, Yu Yu 0001, Joseph K. Liu   +5 more
exaly   +4 more sources

Tight Leakage-Resilient CCA-Security from Quasi-Adaptive Hash Proof System [PDF]

Lecture Notes in Computer Science, 2019
We propose the concept of quasi-adaptive hash proof system (QAHPS), where the projection key is allowed to depend on the specific language for which hash values are computed. We formalize leakage-resilient(LR)-ardency for QAHPS by defining two statistical properties, including LR-\(\langle \mathscr {L}_0, \mathscr {L}_1 \rangle \)-universal and LR ...
Shuai Han 0001, Shengli Liu 0001, Lin Lyu 0001, Dawu Gu   +3 more
exaly   +5 more sources

Some of the next articles are maybe not open access.

Related searches:

Anonymous and Updatable Identity-Based Hash Proof System

IEEE Systems Journal, 2019
In EUROCRYPT 2002, Alwen et al. demonstrated that an identity-based hash proof system (IB-HPS) can be used to generate an identity-based encryption (IBE) scheme, which is secure against partial leakage of the decryption key of the target identity.
Yanwei Zhou, Bo Yang 0003, Zhe Xia, Yi Mu 0001, Tao Wang 0039   +4 more
exaly   +5 more sources

A gapless code-based hash proof system based on RQC and its applications

Designs, Codes and Cryptography, 2022
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bettaieb, Slim, Bidoux, Loïc, Blazy, Olivier, Connan, Yann, Gaborit, Philippe   +4 more
openaire   +7 more sources

Hash Proof Systems over Lattices Revisited

Lecture Notes in Computer Science, 2018
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 applications since then, in particular for authenticated key exchange or honest-verifier zero-knowledge proofs.
Fabrice Benhamouda, Olivier Blazy, Léo Ducas, Willy Quach   +3 more
openaire   +5 more sources

Attribute-based hash proof system

ICINS 2014 - 2014 International Conference on Information and Network Security, 2014
We present attribute-based hash proof systems (ABHPS). Different from the HPS of the past, the witness is produced by the user's attribute in the ABHPS. We also show how to construct a public-key encryption scheme which is semantically secure against adaptive chosen ciphertext attack in selective-set model using ABHPS.
null Xia Feng, null Yang Bo, null Xiang Han, null Zhou Zaihong   +3 more
openaire   +2 more sources

Public key encryption with equality test via hash proof system

Theoretical Computer Science, 2019
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ming Zeng 0006, Jie Chen 0021, Kai Zhang 0016, Haifeng Qian   +3 more
openaire   +4 more sources

Updatable Identity-Based Hash Proof System Based on Lattices and Its Application to Leakage-Resilient Public-Key Encryption Schemes

Journal of Computer Science and Technology, 2018
Identity-based hash proof system is a basic and important primitive. It is widely utilized to construct cryptographic schemes and protocols that are secure against key-leakage attacks. In this paper, we introduce the concept of updatable identity-based hash proof system, in which the related master secret key and the identity secret key can be updated ...
Qiqi Lai, Bo Yang 0003, Yong Yu 0002, Zhe Xia, Yanwei Zhou, Yuan Chen 0008   +5 more
openaire   +3 more sources