David Pointcheval
132
Documents
Publications
|
Post-Quantum and UC-secure Oblivious Transfer from SPHF with Grey Zone15th International Symposium on Foundations & Practice of Security (FPS – 2022)., Dec 2022, Ottawa, Canada
Conference papers
hal-03772089v2
|
|
Security Analysis of Improved EDHOC Protocol15th International Symposium on Foundations & Practice of Security (FPS – 2022)., Dec 2022, Ottawa, Canada
Conference papers
hal-03772082v3
|
|
Key-Policy ABE With Switchable AttributesSCN 2022 - Security and Cryptography for Networks: 13th International Conference, Sep 2022, Amalfi, Italy. ⟨10.1007/978-3-031-14791-3_7⟩
Conference papers
hal-03794260v1
|
Traceable Constant-Size Multi-authority CredentialsSCN 2022 - 13th conference on security and cryptography for networks, Sep 2022, Amalfi, Italy. pp.411-434, ⟨10.1007/978-3-031-14791-3_18⟩
Conference papers
hal-03816213v1
|
|
|
Two-Client Inner-Product Functional Encryption with an Application to Money-Laundering DetectionACM CCS- Computer and Communications Security 2022, Nov 2022, Los Angeles, United States
Conference papers
hal-03830846v1
|
|
Multi-Client Functional Encryption with Fine-Grained Access ControlAsiacrypt 2022 - 28th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2022, Taipei, Taiwan
Conference papers
hal-03910053v1
|
|
MyOPE: Malicious SecuritY for Oblivious Polynomial EvaluationSCN 2022 - 13th Conference on Cryptography and Security for Networks, Sep 2022, Amalfi, Italy. pp.663-686, ⟨10.1007/978-3-031-14791-3_29⟩
Conference papers
hal-03820565v1
|
|
Secure Decision Forest EvaluationARES 2021 - 16th International Conference on Availability, Reliability and Security, Aug 2021, Vienna, Austria. pp.1-12, ⟨10.1145/3465481.3465763⟩
Conference papers
hal-03321368v1
|
|
Boosting Verifiable Computation on Encrypted DataPKC 2020 - 23rd IACR International Conference on Practice and Theory of Public-Key Cryptography, Jun 2020, Edinburgh / Virtual, United Kingdom. pp.124-154, ⟨10.1007/978-3-030-45388-6_5⟩
Conference papers
hal-02894482v1
|
|
Multi-Client Inner-Product Functional Encryption in the Random-Oracle ModelSCN 2020 - 12th International Conference Security and Cryptography for Networks., Sep 2020, Amalfi / Virtual, Italy. pp.525-545, ⟨10.1007/978-3-030-57990-6_26⟩
Conference papers
hal-02948657v1
|
|
Linearly-Homomorphic Signatures and Scalable Mix-NetsPKC 2020 - IACR International Conference on Practice and Theory of Public-Key Cryptography, Jun 2020, Edinburgh / Virtual, United Kingdom. pp.597-627, ⟨10.1007/978-3-030-45388-6_21⟩
Conference papers
hal-02947353v1
|
|
Traceable Inner Product Functional EncryptionCT-RSA 2020 - Topics in Cryptology, Feb 2020, San Francisco, United States. pp.564-585, ⟨10.1007/978-3-030-40186-3_24⟩
Conference papers
hal-02894483v1
|
|
Dynamic Decentralized Functional EncryptionCRYPTO 2020 - 40th Annual International Cryptology Conference, Aug 2020, Santa Barbara / Virtual, United States. pp.747-775, ⟨10.1007/978-3-030-56784-2_25⟩
Conference papers
hal-02947359v1
|
|
Decentralized Evaluation of Quadratic Polynomials on Encrypted DataISC 2019 - International Conference on Information Security, Sep 2019, New York, United States. pp.87-106, ⟨10.1007/978-3-030-30215-3_5⟩
Conference papers
hal-02345627v1
|
Unbounded Inner-Product Functional Encryption with Succinct KeysACNS 2019 - 17th International Conference on Applied Cryptography and Network Security, Jun 2019, Bogota, Colombia. pp.426-441, ⟨10.1007/978-3-030-21568-2_21⟩
Conference papers
hal-02357165v1
|
|
Partially Encrypted Machine Learning using Functional EncryptionNeurIPS 2019 - Thirty-third Conference on Neural Information Processing Systems, Dec 2019, Vancouver, Canada
Conference papers
hal-02357181v1
|
|
|
Divisible E-Cash from Constrained Pseudo-Random FunctionsASIACRYPT 2019 - 25th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2019, Kobe, Japan. ⟨10.1007/978-3-030-34578-5_24⟩
Conference papers
hal-02357173v1
|
Decentralized Multi-Client Functional Encryption for Inner ProductASIACRYPT '18 - 24th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2018, Brisbane, Australia. ⟨10.1007/978-3-030-03329-3_24⟩
Conference papers
hal-01668020v1
|
|
On the Leakage of Corrupted Garbled CircuitsProvSec 2018 - 12th International Conference on Provable Security, Oct 2018, Jeju, South Korea. ⟨10.1007/978-3-030-01446-9_1⟩
Conference papers
hal-01903806v1
|
|
Practical Strategy-Resistant Privacy-Preserving ElectionsESORICS 2018, Sep 2018, Barcelona, Spain. ⟨10.1007/978-3-319-98989-1_17⟩
Conference papers
hal-01903777v1
|
|
Privacy-Preserving Plaintext-Equality of Low-Entropy InputsACNS 2018 - 16th International Conference on Applied Cryptography and Network Security, Jul 2018, Leuven, Belgium. ⟨10.1007/978-3-319-93387-0_14⟩
Conference papers
hal-01903746v1
|
|
Fuzzy Password-Authenticated Key ExchangeEUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic, Apr 2018, Tel Aviv, Israel. ⟨10.1007/978-3-319-78372-7_13⟩
Conference papers
hal-01903733v1
|
|
Reassessing Security of Randomizable SignaturesCT-RSA 2018 - The Cryptographers' Track at the RSA Conference 2018, Apr 2018, San Francisco, United States. ⟨10.1007/978-3-319-76953-0_17⟩
Conference papers
hal-01903717v1
|
|
|
Human Computing for Handling Strong Corruptions in Authenticated Key ExchangeCSF 2017 - 30th IEEE Computer Security Foundations Symposium, Aug 2017, Santa Barbara, CA, United States. pp.159 - 175, ⟨10.1109/CSF.2017.31⟩
Conference papers
hal-01628797v1
|
|
Homomorphic-Policy Attribute-Based Key Encapsulation Mechanisms20th International Conference on Information Security (ISC '17), Nov 2017, Ho Chi Minh, Vietnam. ⟨10.1007/978-3-319-69659-1_9⟩
Conference papers
hal-01609278v1
|
Functional Encryption with Oblivious HelperASIA CCS'17, Apr 2017, Abu Dhabi, United Arab Emirates. ⟨10.1145/3052973.3052996⟩
Conference papers
hal-01470375v1
|
|
VTBPEKE: Verifier-based Two-Basis Password Exponential Key ExchangeASIA CCS'17, Apr 2017, Abu Dhabi, United Arab Emirates. ⟨10.1145/3052973.3053026⟩
Conference papers
hal-01471737v1
|
|
Removing Erasures with Explainable Hash Proof SystemsPublic-Key Cryptography - PKC 2017 - 20th International Conference on Practice and Theory in Public-Key Cryptography, Mar 2017, Amsterdam, Netherlands. pp.151-174, ⟨10.1007/978-3-662-54365-8_7⟩
Conference papers
hal-01471896v1
|
|
Cut Down the Tree to Achieve Constant Complexity in Divisible E-CashPublic-Key Cryptography - PKC 2017 - 20th International Conference on Practice and Theory in Public-Key Cryptography, Mar 2017, Amsterdam, Netherlands. pp.61-90, ⟨10.1007/978-3-662-54365-8_4⟩
Conference papers
hal-01471876v1
|
|
Removing the Strong RSA Assumption from Arguments over the IntegersEUROCRYPT 2017 - 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Apr 2017, Paris, France. ⟨10.1007/978-3-319-56614-6_11⟩
Conference papers
hal-01471901v1
|
|
Robust Password-Protected Secret SharingESORICS 2016 - 21st European Symposium on Research in Computer Security, Sep 2016, Heraklion, Greece. pp.61-79, ⟨10.1007/978-3-319-45741-3_4⟩
Conference papers
hal-01380699v1
|
|
|
Short Randomizable SignaturesThe Cryptographers' Track at the RSA Conference 2016, Feb 2016, San Francisco, United States. pp.111 - 126, ⟨10.1007/978-3-319-29485-8_7⟩
Conference papers
hal-01377997v1
|
Encryption Switching ProtocolsCrypto 2016 - 36th Annual International Cryptology Conference, Aug 2016, Santa Barbara, United States. ⟨10.1007/978-3-662-53018-4_12⟩
Conference papers
hal-01407341v1
|
|
|
The Whole is Less Than the Sum of Its Parts: Constructing More Efficient Lattice-Based AKEsSCN 2016 - 10th International Conference Security and Cryptography for Networks, Aug 2016, Amalfi, Italy. pp.273 - 291, ⟨10.1007/978-3-319-44618-9_15⟩
Conference papers
hal-01378005v1
|
|
Legally Fair Contract Signing Without KeystonesACNS 2016 - 14th International Conference Applied Cryptography and Network Security, Jun 2016, Guildford, United Kingdom. pp.175 - 190, ⟨10.1007/978-3-319-39555-5_10⟩
Conference papers
hal-01377993v1
|
Scalable Divisible E-CashACNS 2015, Jun 2015, New York, United States. ⟨10.1007/978-3-319-28166-7_14⟩
Conference papers
hal-01247652v1
|
|
Public-Key Encryption Indistinguishable Under Plaintext-Checkable AttacksPKC 2015, Mar 2015, Maryland, United States. pp.332-352, ⟨10.1007/978-3-662-46447-2_15⟩
Conference papers
hal-01131982v1
|
|
Divisible E-Cash Made PracticalPKC 2015, Mar 2015, Maryland, United States. pp.77-100, ⟨10.1007/978-3-662-46447-2_4⟩
Conference papers
hal-01134006v1
|
|
Disjunctions for Hash Proof Systems: New Constructions and ApplicationsEUROCRYPT 2015, Apr 2015, Sofia, Bulgaria. pp.69-100, ⟨10.1007/978-3-662-46803-6_3⟩
Conference papers
hal-01131994v1
|
|
Secure Distributed Computation on Private Inputs8th International Symposium on Foundations & Practice of Security, Oct 2015, Clermont-Ferrand, France
Conference papers
hal-01243278v1
|
|
Robust Pseudo-Random Number Generators with Input Secure Against Side-Channel AttacksACNS 2015, Jun 2015, New York, United States. ⟨10.1007/978-3-319-28166-7_31⟩
Conference papers
hal-01242003v1
|
|
Implicit Zero-Knowledge Arguments and Applications to the Malicious SettingCRYPTO 2015, Aug 2015, Santa Barbara, United States. pp.23, ⟨10.1007/978-3-662-48000-7_6⟩
Conference papers
hal-01187833v1
|
|
Simple Functional Encryption Schemes for Inner ProductsPKC 2015, Mar 2015, Maryland, United States. pp.733-751, ⟨10.1007/978-3-662-46447-2_33⟩
Conference papers
hal-01131971v1
|
|
Efficient Delegation of Zero-Knowledge Proofs of Knowledge in a Pairing-Friendly SettingPKC '14, Mar 2014, Buenos Aires, Argentina. pp.167-183
Conference papers
hal-00940045v1
|
|
Forward Secure Non-Interactive Key ExchangeSCN '14, Sep 2014, Amalfi, Italy. pp.21-39, ⟨10.1007/978-3-319-10879-7_2⟩
Conference papers
hal-01089001v1
|
|
Analysis and Improvement of Lindell's UC-Secure Commitment SchemesACNS 2013 - 11th International Conference Applied Cryptography and Network Security, Jun 2013, Banff, Canada. pp.534-551, ⟨10.1007/978-3-642-38980-1_34⟩
Conference papers
hal-00865612v1
|
|
Efficient UC-Secure Authenticated Key-Exchange for Algebraic LanguagesPKC 2013 - 16th International Conference on Practice and Theory in Public-Key Cryptography, Feb 2013, Nara, Japan. pp.272-291, ⟨10.1007/978-3-642-36362-7_18⟩
Conference papers
hal-00790633v1
|
|
Tighter Reductions for Forward-Secure Signature SchemePublic-Key Cryptography (PKC 2013), Feb 2013, Nara, Japan. pp.292-311, ⟨10.1007/978-3-642-36362-7_19⟩
Conference papers
hal-00790626v1
|
|
Multi-channel broadcast encryption.ASIA CCS '13 Proceedings of the 8th ACM SIGSAC symposium on Information, computer and communications security, May 2013, Hangzhou, China. pp.277-286, ⟨10.1145/2484313.2484348⟩
Conference papers
hal-00864356v1
|
|
SPHF-Friendly Non-Interactive CommitmentsASIACRYPT 2013, Dec 2013, Bangalore, India. pp.214-234, ⟨10.1007/978-3-642-42033-7_12⟩
Conference papers
hal-00915542v1
|
|
Security Analysis of Pseudo-Random Number Generators with Input: /dev/random is not RobustACM CCS 2013 - 20th ACM Conference on Computer and Communications Security, Nov 2013, Berlin, Germany. ⟨10.1145/2508859.2516653⟩
Conference papers
hal-00864431v1
|
|
New Techniques for SPHFs and Efficient One-Round PAKE ProtocolsCRYPTO 2013 - 33rd Annual Cryptology Conference, Aug 2013, Santa Barbara, CA, United States. pp.449-475, ⟨10.1007/978-3-642-40041-4_25⟩
Conference papers
hal-00864345v1
|
|
Password-Based Authenticated Key ExchangePKC 2012 - 15th International Conference on Practice and Theory in Public Key Cryptography, May 2012, Darmstadt, Germany. pp.390-397, ⟨10.1007/978-3-642-30057-8_23⟩
Conference papers
hal-00764515v1
|
|
Contributory Password-Authenticated Group Key Exchange with Join CapabilityCT-RSA 2011, Feb 2012, San Francisco, United States. pp.142-160, ⟨10.1007/978-3-642-19074-2_11⟩
Conference papers
hal-00915828v1
|
|
Message-Based Traitor Tracing with Optimal Ciphertext RateLATINCRYPT 2012 - 2nd International Conference on Cryptology and Information Security in Latin America, Oct 2012, Santiago, Chile. pp.56-77, ⟨10.1007/978-3-642-33481-8_4⟩
Conference papers
hal-00764842v1
|
|
|
Round-Optimal Privacy-Preserving Protocols with Smooth Projective Hash FunctionsTCC 2012 - Ninth IACR Theory of Cryptography Conference, Mar 2012, Taormina, Italy. pp.94-112, ⟨10.1007/978-3-642-28914-9_6⟩
Conference papers
hal-00672939v1
|
Compact Round-Optimal Partially-Blind SignaturesSCN 2012 - 8th International Conference Security and Cryptography for Networks, Sep 2012, Amalfi, Italy. pp.95-112, ⟨10.1007/978-3-642-32928-9_6⟩
Conference papers
hal-00764863v1
|
|
Verified security of redundancy-free encryption from Rabin and RSACCS '12 - ACM conference on Computer and communications security, Oct 2012, Raleigh, NC, United States. pp.724-735, ⟨10.1145/2382196.2382272⟩
Conference papers
hal-00764871v1
|
|
Decentralized Dynamic Broadcast EncryptionSCN 2012 - 8th International Conference Security and Cryptography for Networks, Sep 2012, Amalfi, Italy. pp.166-183, ⟨10.1007/978-3-642-32928-9_10⟩
Conference papers
hal-00764847v1
|
|
Adaptive CCA Broadcast Encryption with Constant-Size Secret Keys and CiphertextsACISP 2012 - 17th Australasian Conference Information Security and Privacy, Jul 2012, Wollongong, Australia. pp.308-321, ⟨10.1007/978-3-642-31448-3_23⟩
Conference papers
hal-00764852v1
|
|
Signatures on Randomizable CiphertextsPKC 2011 - Proceedings of the 2011 International Conference on Practice and Theory in Public Key Cryptography, Mar 2011, Taormina, Italy. pp.403-422, ⟨10.1007/978-3-642-19379-8_25⟩
Conference papers
inria-00542643v1
|
|
Security Notions for Broadcast EncryptionACNS 2011 - 9th International Conference Applied Cryptography and Network Security, Jun 2011, Nerja, Spain. pp.377-394, ⟨10.1007/978-3-642-21554-4_22⟩
Conference papers
hal-01109954v1
|
|
|
Mediated Traceable Anonymous EncryptionFirst International Conference on Cryptology and Information Security (LatinCrypt '10), Aug 2010, Puebla, Mexico. pp.40--60
Conference papers
inria-00539540v1
|
|
Strong Cryptography from Weak Secrets - Building Efficient PKE and IBE from Distributed PasswordsThird African International Conference on Cryptology (AfricaCrypt '10), May 2010, Stellenbosch, South Africa. pp.297--315
Conference papers
inria-00539542v1
|
|
Flexible Group Key Exchange with On-Demand Computation of Subgroup KeysThird African International Conference on Cryptology (AfricaCrypt '10), 2010, Stellenbosch, South Africa. pp.351--368
Conference papers
inria-00539541v1
|
|
Proofs on Encrypted Values in Bilinear Groups and an Application to Anonymity of SignaturesThird International Conference on Pairing-based Cryptography (Pairing 2009), 2009, Palo Alto, California, United States. pp.132-149, ⟨10.1007/978-3-642-03298-1_10⟩
Conference papers
inria-00539544v1
|
|
Smooth Projective Hashing for Conditionally Extractable CommitmentsAdvances in Cryptology -- Proceedings of CRYPTO '09, 2009, Santa-Barbara, Californie, United States. pp.671--689
Conference papers
inria-00419145v1
|
Password-Based Group Key Exchange in a Constant Number of RoundsPublic Key Cryptography - PKC 2006, Apr 2009, New York, United States. pp.427-442, ⟨10.1007/11745853_28⟩
Conference papers
hal-02391427v1
|
|
|
Optimal Randomness Extraction from a Diffie-Hellman ElementAdvances in Cryptology -- Proceedings of EUROCRYPT '09, 2009, Cologne, Allemagne, Germany. pp.572--589
Conference papers
inria-00419148v1
|
|
Distributed Public-Key Cryptography from Weak SecretsConference on Practice and Theory in Public-Key Cryptography (PKC '09), 2009, Irvine, California, USA, United States. pp.139--159
Conference papers
inria-00419149v1
|
|
Password-Authenticated Group Key Agreement with Adaptive Security and ContributivenessSecond African International Conference on Cryptology (AfricaCrypt '09), 2009, Gammarth - Tunisie, Tunisia. pp.254--271
Conference papers
inria-00419147v1
|
|
Transferable Constant-Size Fair E-CashProceedings of the 8th International Workshop on Cryptology and Network Security (CANS '09), 2009, Kanazawa, Ishikawa, Japan. pp.226--247, ⟨10.1007/978-3-642-10433-6_15⟩
Conference papers
inria-00539543v1
|
|
Multi-Factor Authenticated Key ExchangeConference on Applied Cryptography and Network Security (ACNS '08), 2008, New-York, Etats-Unis, United States. pp.277--295
Conference papers
inria-00419155v1
|
|
Anonymous and Transparent Gateway-based Password-Authenticated Key ExchangeThe 7th International Workshop on Cryptology and Network Security (CANS '08), 2008, Hong-Kong, China. pp.133--148
Conference papers
inria-00419150v1
|
|
Anonymous Proxy SignaturesSCN '08, 2008, Amalfi, Italie, Italy. pp.201--217
Conference papers
inria-00419153v1
|
|
Dynamic Threshold Public-Key EncryptionAdvances in Cryptology -- Proceedings of CRYPTO '08, 2008, Santa-Barbara, Californie, United States. pp.317--334
Conference papers
inria-00419154v1
|
|
Efficient Two-Party Password-Based Key Exchange Protocols in the UC FrameworkThe Cryptographers' Track at RSA Conference '08 (CT-RSA '08), 2008, San Francisco, Californie, Germany. pp.335--351
Conference papers
inria-00419157v1
|
|
HMAC is a Randomness Extractor and Applications to TLSProceedings of the 3rd ACM Symposium on InformAtion, Computer and Communications Security (ASIACCS '08), 2008, Tokyo, Japon, Japan. pp.21--32
Conference papers
inria-00419158v1
|
|
New Anonymity Notions for Identity-Based EncryptionSCN '08, 2008, Amalfi, Italie, Italy. pp.375--391
Conference papers
inria-00419152v1
|
|
An Application of the Boneh and Shacham Group Signature Scheme to Biometric AuthenticationThe 3rd International Workshop on Security (IWSEC '08), 2008, Kagawa, Japon, Japan. pp.219--230
Conference papers
inria-00419151v1
|
|
A Formal Study of the Privacy Concerns in Biometric-based Remote Authentication SchemesThe 4th Information Security Practice and Experience Conference (ISPEC '08), 2008, Sydney, Australie, Australia. pp.56--70
Conference papers
inria-00419156v1
|
Provably secure password-based authentication in TLSThe 2006 ACM Symposium - ASIACCS 2006, Mar 2006, Taipei, Taiwan. pp.35, ⟨10.1145/1128817.1128827⟩
Conference papers
hal-02391374v1
|
|
A Scalable Password-Based Group Key Exchange Protocol in the Standard ModelAdvances in Cryptology - ASIACRYPT 2006, Dec 2006, Shanghai, China. pp.332-347, ⟨10.1007/11935230_22⟩
Conference papers
hal-02391361v1
|
|
|
The Twist-AUgmented technique for key exchange9th International Conference on Theory and Practice of Public Key Cryptology - PKC 2006, Apr 2006, New York, USA, pp.410-426
Conference papers
inria-00103433v1
|
A Simple Threshold Authenticated Key Exchange from Short SecretsAdvances in Cryptology - ASIACRYPT 2005, Dec 2005, Chennai, India. pp.566-584, ⟨10.1007/11593447_31⟩
Conference papers
hal-02391437v1
|
|
One-Time Verifier-Based Encrypted Key ExchangePublic Key Cryptography - PKC 2005, Jan 2005, Les Diablerets, Switzerland. pp.47-64, ⟨10.1007/978-3-540-30580-4_5⟩
Conference papers
hal-02391460v1
|
|
Simple Password-Based Encrypted Key Exchange ProtocolsTopics in Cryptology - CT-RSA 2005, Feb 2005, San Francisco, United States. pp.191-208, ⟨10.1007/978-3-540-30574-3_14⟩
Conference papers
hal-02391456v1
|
|
Password-Based Authenticated Key Exchange in the Three-Party SettingPublic Key Cryptography - PKC 2005, Jan 2005, Les Diablerets, Switzerland. pp.65-84, ⟨10.1007/978-3-540-30580-4_6⟩
Conference papers
hal-02391472v1
|
|
|
Practical multi-candidate election systemProceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing : PODC 2001, 2001, Newport, Rhode Island, United States. pp.274-283, ⟨10.1145/383962.384044⟩
Conference papers
inria-00565273v1
|
|
Threshold Cryptosystems Secure against Chosen-Ciphertext AttacksAdvances in Cryptology - ASIACRYPT 2001, 7th International Conference on the Theory and Application of Cryptology and Information Security, 2001, Gold Coast, Australia. pp.351-368, ⟨10.1007/3-540-45682-1_21⟩
Conference papers
inria-00565272v1
|
Progress in Cryptology -- AFRICACRYPT 20162016
Books
hal-02321052v1
|
|
Progress in Cryptology – AFRICACRYPT 2014David Pointcheval; Damien Vergnaud. Springer, 8469, pp.476, 2014, Lecture Notes in Computer Science, 978-3-319-06733-9. ⟨10.1007/978-3-319-06734-6⟩
Books
hal-01089517v1
|
|
Advances in Cryptology - EUROCRYPT 2012David Pointcheval and Thomas Johansson. Springer, 7237, 755 p., 2012, Lecture Notes in Computer Science, 978-3-642-29010-7. ⟨10.1007/978-3-642-29011-4⟩
Books
hal-00766147v1
|
|
Proceedings of the 13th International Conference on Practice and Theory in Public Key Cryptography (PKC '10)Nguyen, Phong Q. and Pointcheval, David. Springer, 6056, pp.519, 2010, LNCS
Books
inria-00539537v1
|
|
Proceedings of the 7th International Conference on Applied Cryptography and Network Security (ACNS '09)Abdalla, Michel and Pointcheval, David and Fouque, Pierre-Alain and Vergnaud, Damien. Springer, 5536, pp.534, 2009, LNCS, 978-3-642-01957-9. ⟨10.1007/978-3-642-01957-9⟩
Books
inria-00539538v1
|
Autotomic SignaturesDavid Naccache. Cryptography and Security: From Theory to Applications : Essays Dedicated to Jean-Jacques Quisquater on the Occasion of His 65th Birthday, 6805, Springer, pp.143-155, 2012, LNCS - Lecture Notes in Computer Science, 978-3-642-28367-3. ⟨10.1007/978-3-642-28368-0_12⟩
Book sections
hal-01110874v1
|
|
Traceable Signature with Stepping CapabilitiesDavid Naccache. Cryptography and Security: From Theory to Applications : Essays Dedicated to Jean-Jacques Quisquater on the Occasion of His 65th Birthday, 6805, Springer, pp.108-131, 2012, LNCS - Lecture Notes in Computer Science, 978-3-642-28367-3. ⟨10.1007/978-3-642-28368-0_10⟩
Book sections
hal-01110870v1
|
|
RSA Public-Key EncryptionHenk C. A. van Tilborg and Sushil Jajodia. Encyclopedia of Cryptography and Security, Springer, pp.1069-1072, 2011, 978-1-4419-5905-8. ⟨10.1007/978-1-4419-5906-5_153⟩
Book sections
hal-00763543v1
|
|
|
On Some Incompatible Properties of Voting SchemesD. Chaum, R. Rivest, M. Jakobsson, B. Schoenmakers, P. Ryan, and J. Benaloh. Towards Trustworthy Elections, 6000, springer, pp.191--199, 2010, lncs
Book sections
inria-00539539v1
|
|
Anonymous Consecutive Delegation of Signing Rights: Unifying Group and Proxy SignaturesV. Cortier and C. Kirchner and M. Okada and H. Sakurada. Formal to Practical Security, LNCS 5458, Springer-Verlag, pp.95--116, 2009, Lecture notes in computer science
Book sections
inria-00419143v1
|
|
New Anonymity Notions for Identity-Based EncryptionV. Cortier and C. Kirchner and M. Okada and H. Sakurada. Formal to Practical Security, LNCS 5458, Springer-Verlag, pp.138--157, 2009, Lecture notes in computer science
Book sections
inria-00419144v1
|
|
Differential Privacy Guarantees for Stochastic Gradient Langevin Dynamics2022
Preprints, Working Papers, ...
hal-03547726v2
|
|
ARIANN: Low-Interaction Privacy-Preserving Deep Learning via Function Secret Sharing2020
Preprints, Working Papers, ...
hal-02896127v1
|
Fuzzy Authenticated Key Exchange[Research Report] 2017/1111, IACR Cryptology ePrint Archive. 2017
Reports
hal-01668008v1
|
|
On the Tightness of Forward-Secure Signature Reductions[Research Report] Report 2017/746, IACR Cryptology ePrint Archive. 2017
Reports
hal-01667150v1
|
|
|
Homomorphic-Policy Attribute-Based Key Encapsulation Mechanisms[Research Report] Cryptology ePrint Archive: Report 2016/1089, IACR Cryptology ePrint Archive. 2016
Reports
hal-01402517v1
|
Robust Password-Protected Secret Sharing[Technical Report] Cryptology ePrint Archive: Report 2016/123, IACR. 2016
Reports
hal-01380730v1
|
|
Better Security for Functional Encryption for Inner Product Evaluations[Technical Report] Cryptology ePrint Archive: Report 2016/011, IACR. 2016
Reports
hal-01380726v1
|
|
Implicit Zero-Knowledge Arguments and Applications to the Malicious Setting[Technical Report] Cryptology ePrint Archive: Report 2015/246, IACR. 2015
Reports
hal-01139320v1
|
|
Tighter Reductions for Forward-Secure Signature Schemes[Technical Report] Cryptology ePrint Archive: Report 2015/196, IACR. 2015
Reports
hal-01132190v1
|
|
Efficient Delegation of Zero-Knowledge Proofs of Knowledge in a Pairing-Friendly Setting[Research Report] Cryptology ePrint Archive: Report 2015/278, IACR. 2015
Reports
hal-01139397v1
|
|
Secure Distributed Computation on Private Inputs[Research Report] Cryptology ePrint Archive: Report 2015/1196, IACR Cryptology ePrint Archive. 2015
Reports
hal-01245235v1
|
|
Simple Functional Encryption Schemes for Inner Products[Technical Report] Cryptology ePrint Archive: Report 2015/017, IACR. 2015
Reports
hal-01108287v1
|
|
New Techniques for SPHFs and Efficient One-Round PAKE Protocols[Research Report] Cryptology ePrint Archive: Report 2015/188, IACR. 2015
Reports
hal-01139395v1
|
|
Scalable Divisible E-cash[Research Report] Cryptology ePrint Archive: Report 2015/300, IACR. 2015
Reports
hal-01139400v1
|
|
Disjunctions for Hash Proof Systems: New Constructions and Applications[Technical Report] Cryptology ePrint Archive: Report 2014/483, IACR. 2014
Reports
hal-01068420v1
|
|
Verifier-Based Password-Authenticated Key Exchange: New Models and Constructions[Technical Report] Cryptology ePrint Archive: Report 2013/833, IACR. 2014
Reports
hal-01093876v1
|
|
Removing Erasures with Explainable Hash Proof Systems[Technical Report] Cryptology ePrint Archive: Report 2014/125, IACR. 2014
Reports
hal-01068442v1
|
|
Divisible E-Cash Made Practical[Technical Report] Cryptology ePrint Archive: Report 2014/785, IACR. 2014
Reports
hal-01088999v1
|
|
Public-Key Encryption Indistinguishable Under Plaintext-Checkable Attacks[Technical Report] Cryptology ePrint Archive: Report 2014/609, IACR. 2014
Reports
hal-01068416v1
|