Access content directly

Michel Abdalla

107
Documents

Publications

Practical dynamic group signature with efficient concurrent joins and batch verifications

Hyoseung Kim , Youngkyung Lee , Michel Abdalla , Jong Hwan Park
Journal of information security and applications, 2021, 63, pp.103003. ⟨10.1016/j.jisa.2021.103003⟩
Journal articles hal-03442068v1

On the Tightness of Forward-Secure Signature Reductions

Michel Abdalla , Fabrice Benhamouda , David Pointcheval
Journal of Cryptology, 2019, 32 (1), pp.84-150. ⟨10.1007/s00145-018-9283-2⟩
Journal articles hal-01722996v1

New technique for chosen-ciphertext security based on non-interactive zero-knowledge

Minhye Seo , Michel Abdalla , Dong Hoon Lee , Jong Hwan Park
Information Sciences, 2019, 490, pp.18-35. ⟨10.1016/j.ins.2019.03.063⟩
Journal articles hal-02135837v1

Related-Key Security for Pseudorandom Functions Beyond the Linear Barrier

Michel Abdalla , Fabrice Benhamouda , Alain Passelègue , Kenneth Paterson
Journal of Cryptology, 2018, 31 (4), pp.917-964. ⟨10.1007/s00145-017-9274-8⟩
Journal articles hal-01723012v1

Robust Encryption

Michel Abdalla , Mihir Bellare , Gregory Neven
Journal of Cryptology, 2018, 31 (2), pp.307-350. ⟨10.1007/s00145-017-9258-8⟩
Journal articles hal-01538113v1

Public-key encryption indistinguishable under plaintext-checkable attacks

Michel Abdalla , Fabrice Benhamouda , David Pointcheval
IET Information Security, 2016, 10 (6), pp.288-303. ⟨10.1049/iet-ifs.2015.0500⟩
Journal articles hal-01385178v1

Tightly Secure Signatures From Lossy Identification Schemes

Michel Abdalla , Pierre-Alain Fouque , Vadim Lyubashevsky , Mehdi Tibouchi
Journal of Cryptology, 2015, pp.35. ⟨10.1007/s00145-015-9203-7⟩
Journal articles hal-01136799v1

Verifiable Random Functions: Relations to Identity-Based Key Encapsulation and New Constructions

Michel Abdalla , Dario Catalano , Dario Fiore
Journal of Cryptology, 2014, 27 (3), pp.544-593. ⟨10.1007/s00145-013-9153-x⟩
Journal articles hal-00915548v1

Generalized Key Delegation for Wildcarded Identity-Based and Inner-Product Encryption

Michel Abdalla , Angelo de Caro , Duong Hieu Phan
IEEE Transactions on Information Forensics and Security, 2012, 7 (6), pp.1695-1706. ⟨10.1109/TIFS.2012.2213594⟩
Journal articles hal-00918522v1

Wildcarded Identity-Based Encryption

Michel Abdalla , James Birkett , Dario Catalano , Alexander W. Dent , John Malone-Lee
Journal of Cryptology, 2011, 24 (1), pp.42-82. ⟨10.1007/s00145-010-9060-3⟩
Journal articles hal-00915848v1

Generalised Key Delegation for Hierarchical Identity-Based Encryption

Michel Abdalla , Eike Kiltz , Gregory Neven
IET Information Security, 2008, 2 (3), pp.67-78. ⟨10.1049/iet-ifs:20070124⟩
Journal articles hal-00918539v1

From Identification to Signatures Via the Fiat-Shamir Transform: Necessary and Sufficient Conditions for Security and Forward-Security

Michel Abdalla , Jee Hea An , Mihir Bellare , Chanathip Namprempre
IEEE Transactions on Information Theory, 2008, 54 (8), pp.3631-3646. ⟨10.1109/TIT.2008.926303⟩
Journal articles hal-00917092v1

Securing Wireless Sensor Networks Against Aggregator Compromises

Thomas Claveirole , Marcelo Dias de Amorim , Michel Abdalla , Yannis Viniotis
IEEE Communications Magazine, 2008, 46 (4), pp.134-141. ⟨10.1109/MCOM.2008.4481352⟩
Journal articles hal-00918368v1

Searchable Encryption Revisited: Consistency Properties, Relation to Anonymous IBE, and Extensions

Michel Abdalla , Mihir Bellare , Dario Catalano , Eike Kiltz , Tadayoshi Kohno
Journal of Cryptology, 2008, 21 (3), pp.350-391. ⟨10.1007/s00145-007-9006-6⟩
Journal articles hal-00918362v1

Strong Password-Based Authentication in TLS using the Three-Party Group Diffie-Hellman Protocol

Michel Abdalla , Emmanuel Bresson , Olivier Chevassut , Bodo Möller , David Pointcheval
International Journal of Security and Networks, 2007, 2 (3/4), pp.284-296. ⟨10.1504/IJSN.2007.013181⟩
Journal articles hal-00918396v1

A Study of Blind Message Authentication Codes

Chanathip Namprempre , Gregory Neven , Michel Abdalla
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2007, E90-A (1), pp.75-82. ⟨10.1093/ietfec/e90-a.1.75⟩
Journal articles hal-00918388v1

Password-Based Authenticated Key Exchange in the Three-Party Setting

Michel Abdalla , Pierre-Alain Fouque , David Pointcheval
IEE Proceedings - Information Security, 2006, 153 (1), pp.27-39. ⟨10.1049/ip-ifs:20055073⟩
Journal articles hal-00918401v1

Key management for restricted multicast using broadcast encryption

Michel Abdalla , Yuval Shavitt , Avishai Wool
IEEE/ACM Transactions on Networking, 2000, 8 (4), pp.443-454. ⟨10.1109/90.865073⟩
Journal articles hal-00918504v1

Security Analysis of CPace

Michel Abdalla , Björn Haase , Julia Hesse
ASIACRYPT 2021 - 27th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2021, Singapour, Singapore. pp.711-741, ⟨10.1007/978-3-030-92068-5_24⟩
Conference papers hal-03517563v1

Algebraic Adversaries in the Universal Composability Framework

Michel Abdalla , Manuel Barbosa , Jonathan Katz , Julian Loss , Jiayu Xu
ASIACRYPT 2021 - 27th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2021, Singapour, Singapore. pp.311-341, ⟨10.1007/978-3-030-92078-4_11⟩
Conference papers hal-03517558v1
Image document

Functional Encryption for Attribute-Weighted Sums from k-Lin

Michel Abdalla , Junqing Gong , Hoeteck Wee
CRYPTO 2020 - 40th Annual International Cryptology Conference, Aug 2020, Santa Barbara / Virtual, United States. pp.685-716, ⟨10.1007/978-3-030-56784-2_23⟩
Conference papers hal-02948674v1
Image document

Inner-Product Functional Encryption with Fine-Grained Access Control

Michel Abdalla , Dario Catalano , Romain Gay , Bogdan Ursu
Asiacrypt 2020 - 26th Annual International Conference on the Theory and Application of Cryptology and Information Security - 26th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2020, Virtual, South Korea. pp.467-497, ⟨10.1007/978-3-030-64840-4_16⟩
Conference papers hal-03043537v1
Image document

Universally Composable Relaxed Password Authenticated Key Exchange

Michel Abdalla , Manuel Barbosa , Tatiana Bradley , Stanisław Jarecki , Jonathan Katz
CRYPTO 2020 - 40th Annual International Cryptology Conference, Aug 2020, Santa Barbara / Virtual, United States. pp.278-307, ⟨10.1007/978-3-030-56784-2_10⟩
Conference papers hal-02948678v1
Image document

Multi-Client Inner-Product Functional Encryption in the Random-Oracle Model

Michel Abdalla , Florian Bourse , Hugo Marival , David Pointcheval , Azam Soleimanian
SCN 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
Image document

From Single-Input to Multi-client Inner-Product Functional Encryption

Michel Abdalla , Fabrice Benhamouda , Romain Gay
ASIACRYPT 2019 - 25th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2019, Kobe, Japan. pp.552-582, ⟨10.1007/978-3-030-34618-8_19⟩
Conference papers hal-02375577v1

Decentralizing Inner-Product Functional Encryption

Michel Abdalla , Fabrice Benhamouda , Markulf Kohlweiss , Hendrik Waldner
Public-Key Cryptography – PKC 2019, Apr 2019, Beijing, China. pp.128-157, ⟨10.1007/978-3-030-17259-6_5⟩
Conference papers hal-02135871v1
Image document

Algebraic XOR-RKA-Secure Pseudorandom Functions from Post-Zeroizing Multilinear Maps

Michel Abdalla , Fabrice Benhamouda , Alain Passelègue
ASIACRYPT 2019 - 25th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2019, Kobe, Japan. pp.386-412, ⟨10.1007/978-3-030-34621-8_14⟩
Conference papers hal-02375594v1

Multi-Input Functional Encryption for Inner Products: Function-Hiding Realizations and Constructions without Pairings

Michel Abdalla , Dario Catalano , Dario Fiore , Romain Gay , Bogdan Ursu
Advances in Cryptology – CRYPTO 2018, Aug 2018, Santa Barbara, United States. ⟨10.1007/978-3-319-96884-1_20⟩
Conference papers hal-01900273v1

Removing Erasures with Explainable Hash Proof Systems

Michel Abdalla , Fabrice Benhamouda , David Pointcheval
Public-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

Multi-Input Inner-Product Functional Encryption from Pairings

Michel Abdalla , Romain Gay , Mariana Raykova , Hoeteck Wee
EUROCRYPT 2017 - Advances in Cryptology, Apr 2017, Paris, France. pp.601-626, ⟨10.1007/978-3-319-56620-7_21⟩
Conference papers hal-01524105v1

Robust Password-Protected Secret Sharing

Michel Abdalla , Mario Cornejo , Anca Nitulescu , David Pointcheval
ESORICS 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

Disjunctions for Hash Proof Systems: New Constructions and Applications

Michel Abdalla , Fabrice Benhamouda , David Pointcheval
EUROCRYPT 2015, Apr 2015, Sofia, Bulgaria. pp.69-100, ⟨10.1007/978-3-662-46803-6_3⟩
Conference papers hal-01131994v1

Multilinear and Aggregate Pseudorandom Functions: New Constructions and Improved Security

Michel Abdalla , Fabrice Benhamouda , Alain Passelègue
ASIACRYPT 2015, Nov 2015, Auckland, New Zealand. pp.103-120, ⟨10.1007/978-3-662-48797-6_5⟩
Conference papers hal-01233740v1

Public-Key Encryption Indistinguishable Under Plaintext-Checkable Attacks

Michel Abdalla , Fabrice Benhamouda , David Pointcheval
PKC 2015, Mar 2015, Maryland, United States. pp.332-352, ⟨10.1007/978-3-662-46447-2_15⟩
Conference papers hal-01131982v1

An Algebraic Framework for Pseudorandom Functions and Applications to Related-Key Security

Michel Abdalla , Fabrice Benhamouda , Alain Passelègue
CRYPTO 2015, Aug 2015, Santa Barbara, United States. pp.388-409, ⟨10.1007/978-3-662-47989-6_19⟩
Conference papers hal-01175786v1

Simple Functional Encryption Schemes for Inner Products

Michel Abdalla , Florian Bourse , Angelo de Caro , David Pointcheval
PKC 2015, Mar 2015, Maryland, United States. pp.733-751, ⟨10.1007/978-3-662-46447-2_33⟩
Conference papers hal-01131971v1

Security of the J-PAKE Password-Authenticated Key Exchange Protocol

Michel Abdalla , Fabrice Benhamouda , Philip Mackenzie
2015 IEEE Symposium on Security and Privacy, May 2015, San Jose, United States. pp.571-587, ⟨10.1109/SP.2015.41⟩
Conference papers hal-01175785v1

Robust Pseudo-Random Number Generators with Input Secure Against Side-Channel Attacks

Michel Abdalla , Sonia Belaïd , David Pointcheval , Sylvain Ruhault , Damien Vergnaud
ACNS 2015, Jun 2015, New York, United States. ⟨10.1007/978-3-319-28166-7_31⟩
Conference papers hal-01242003v1

Password-Based Authenticated Key Exchange: An Overview

Michel Abdalla
PROVSEC 2014, Oct 2014, Hong Kong, China. pp.1-9, ⟨10.1007/978-3-319-12475-9_1⟩
Conference papers hal-01071313v1

Improving Thomlinson-Walker's Software Patching Scheme Using Standard Cryptographic and Statistical Tools

Michel Abdalla , Hervé Chabanne , Houda Ferradi , Julien Jainski , David Naccache
ISPEC 2014, May 2014, Fuzhou, China. pp.8-14, ⟨10.1007/978-3-319-06320-1_2⟩
Conference papers hal-01071319v1

Related-Key Security for Pseudorandom Functions Beyond the Linear Barrier

Michel Abdalla , Fabrice Benhamouda , Alain Passelègue , Kenneth G. Paterson
CRYPTO 2014, Aug 2014, Santa Barbara, United States. pp.77-94, ⟨10.1007/978-3-662-44371-2_5⟩
Conference papers hal-01068388v1

Tighter Reductions for Forward-Secure Signature Scheme

Michel Abdalla , Fabrice Benhamouda , David Pointcheval
Public-Key Cryptography (PKC 2013), Feb 2013, Nara, Japan. pp.292-311, ⟨10.1007/978-3-642-36362-7_19⟩
Conference papers hal-00790626v1

Leakage-Resilient Symmetric Encryption via Re-keying

Michel Abdalla , Sonia Belaïd , Pierre-Alain Fouque
Cryptographic Hardware and Embedded Systems - CHES 2013, Aug 2013, Santa Barbara, United States. pp.471-488, ⟨10.1007/978-3-642-40349-1_27⟩
Conference papers hal-00870955v1

SPHF-Friendly Non-Interactive Commitments

Michel Abdalla , Fabrice Benhamouda , Olivier Blazy , Céline Chevalier , David Pointcheval
ASIACRYPT 2013, Dec 2013, Bangalore, India. pp.214-234, ⟨10.1007/978-3-642-42033-7_12⟩
Conference papers hal-00915542v1
Image document

Leakage-Resilient Symmetric Encryption via Re-keying

Michel Abdalla , Sonia Belaïd , Pierre-Alain Fouque
Cryptographic Hardware and Embedded Systems - {CHES} 2013, Aug 2013, Santa Barbara, United States. pp.18, ⟨10.1007/978-3-642-40349-1_27⟩
Conference papers hal-01094306v1

From Selective to Full Security: Semi-Generic Transformations in the Standard Model

Michel Abdalla , Dario Fiore , Vadim Lyubashevsky
PKC 2012, May 2012, Darmstadt, Germany. pp.316-333, ⟨10.1007/978-3-642-30057-8_19⟩
Conference papers hal-00915817v1

Contributory Password-Authenticated Group Key Exchange with Join Capability

Michel Abdalla , Céline Chevalier , Louis Granboulan , David Pointcheval
CT-RSA 2011, Feb 2012, San Francisco, United States. pp.142-160, ⟨10.1007/978-3-642-19074-2_11⟩
Conference papers hal-00915828v1
Image document

Tightly-Secure Signatures from Lossy Identification Schemes

Michel Abdalla , Pierre-Alain Fouque , Vadim Lyubashevsky , Mehdi Tibouchi
Advances in Cryptology - {EUROCRYPT} 2012, Apr 2012, Cambridge, United Kingdom. pp.19, ⟨10.1007/978-3-642-29011-4_34⟩
Conference papers hal-01094318v1

Leakage-Resilient Spatial Encryption

Michel Abdalla , Jill-Jênn Vie
LATINCRYPT 2012, Oct 2012, Santiago, Chile. pp.78-99, ⟨10.1007/978-3-642-33481-8_5⟩
Conference papers hal-00915816v1

Lattice-Based Hierarchical Inner Product Encryption

Michel Abdalla , Angelo de Caro , Karina Mochetti
LATINCRYPT 2012, Oct 2012, Santiago, Chile. pp.121-138, ⟨10.1007/978-3-642-33481-8_7⟩
Conference papers hal-00915812v1
Image document

Flexible Group Key Exchange with On-Demand Computation of Subgroup Keys

Michel Abdalla , Céline Chevalier , Mark Manulis , David Pointcheval
Third African International Conference on Cryptology (AfricaCrypt '10), 2010, Stellenbosch, South Africa. pp.351--368
Conference papers inria-00539541v1

Robust Encryption

Michel Abdalla , Mihir Bellare , Gregory Neven
TCC 2010, Feb 2010, Zurich, Switzerland. pp.480-497, ⟨10.1007/978-3-642-11799-2_28⟩
Conference papers hal-00915836v1

Password-Based Group Key Exchange in a Constant Number of Rounds

Michel Abdalla , Emmanuel Bresson , Olivier Chevassut , David Pointcheval
Public Key Cryptography - PKC 2006, Apr 2009, New York, United States. pp.427-442, ⟨10.1007/11745853_28⟩
Conference papers hal-02391427v1
Image document

Distributed Public-Key Cryptography from Weak Secrets

Michel Abdalla , Xavier Boyen , Céline Chevalier , David Pointcheval
Conference on Practice and Theory in Public-Key Cryptography (PKC '09), 2009, Irvine, California, USA, United States. pp.139--159
Conference papers inria-00419149v1
Image document

Password-Authenticated Group Key Agreement with Adaptive Security and Contributiveness

Michel Abdalla , Dario Catalano , Céline Chevalier , David Pointcheval
Second African International Conference on Cryptology (AfricaCrypt '09), 2009, Gammarth - Tunisie, Tunisia. pp.254--271
Conference papers inria-00419147v1
Image document

Smooth Projective Hashing for Conditionally Extractable Commitments

Michel Abdalla , Céline Chevalier , David Pointcheval
Advances in Cryptology -- Proceedings of CRYPTO '09, 2009, Santa-Barbara, Californie, United States. pp.671--689
Conference papers inria-00419145v1

Verifiable Random Functions from Identity based Key Encapsulation

Michel Abdalla , Dario Catalano , Dario Fiore
EUROCRYPT 2009, Apr 2009, Cologne, Germany. pp.554-571, ⟨10.1007/978-3-642-01001-9_32⟩
Conference papers hal-00915859v1
Image document

Anonymous and Transparent Gateway-based Password-Authenticated Key Exchange

Michel Abdalla , Malika Izabachène , David Pointcheval
The 7th International Workshop on Cryptology and Network Security (CANS '08), 2008, Hong-Kong, China. pp.133--148
Conference papers inria-00419150v1
Image document

Efficient Two-Party Password-Based Key Exchange Protocols in the UC Framework

Michel Abdalla , Dario Catalano , Céline Chevalier , David Pointcheval
The Cryptographers' Track at RSA Conference '08 (CT-RSA '08), 2008, San Francisco, Californie, Germany. pp.335--351
Conference papers inria-00419157v1

Generalized Key Delegation for Hierarchical Identity-Based Encryption

Michel Abdalla , Eike Kiltz , Gregory Neven
ESORICS 2007, Sep 2007, Dresden, Germany. pp.139-154, ⟨10.1007/978-3-540-74835-9_10⟩
Conference papers hal-00918551v1
Image document

Résistance contre les attaques par capture dans les réseaux de capteurs

Thomas Claveirole , Marcelo Dias de Amorim , Michel Abdalla , Yannis Viniotis
Huitièmes Journées Doctorales en Informatique et Réseaux (JDIR'07), Jan 2007, Marne-la-Vallée, France. pp.19-28
Conference papers hal-01091860v1

Identity-based Traitor Tracing

Michel Abdalla , Alex Dent , John Malone-Lee , Gregory Neven , Duong Hieu Phan
PKC 2007, Apr 2007, Beijing, China. pp.361-376, ⟨10.1007/978-3-540-71677-8_24⟩
Conference papers hal-00918560v1

A Scalable Password-Based Group Key Exchange Protocol in the Standard Model

Michel Abdalla , David Pointcheval
Advances in Cryptology - ASIACRYPT 2006, Dec 2006, Shanghai, China. pp.332-347, ⟨10.1007/11935230_22⟩
Conference papers hal-02391361v1

Identity-Based Encryption Gone Wild

Michel Abdalla , Dario Catalano , Alexander Dent , John Malone-Lee , Gregory Neven
ICALP 2006, Jul 2006, Venice, Italy. pp.300-311, ⟨10.1007/11787006_26⟩
Conference papers hal-02391407v1

Resisting Against Aggregator Compromises in Sensor Networks

Thomas Claveirole , Marcelo Dias de Amorim , Michel Abdalla , Yannis Viniotis
CoNext'06 Student Workshop, Dec 2006, Lisboa, Portugal. pp.24:1--24:2, ⟨10.1145/1368436.1368468⟩
Conference papers hal-01351676v1

On the (Im)possibility of Blind Message Authentication Codes

Michel Abdalla , Chanathip Namprempre , Gregory Neven
Topics in Cryptology - CT-RSA 2006, Feb 2006, San Jose, United States. pp.262-279, ⟨10.1007/11605805_17⟩
Conference papers hal-02391396v1

Provably secure password-based authentication in TLS

Michel Abdalla , Emmanuel Bresson , Olivier Chevassut , Bodo Möller , David Pointcheval
The 2006 ACM Symposium - ASIACCS 2006, Mar 2006, Taipei, Taiwan. pp.35, ⟨10.1145/1128817.1128827⟩
Conference papers hal-02391374v1

One-Time Verifier-Based Encrypted Key Exchange

Michel Abdalla , Olivier Chevassut , David Pointcheval
Public Key Cryptography - PKC 2005, Jan 2005, Les Diablerets, Switzerland. pp.47-64, ⟨10.1007/978-3-540-30580-4_5⟩
Conference papers hal-02391460v1

Searchable Encryption Revisited: Consistency Properties, Relation to Anonymous IBE, and Extensions

Michel Abdalla , Mihir Bellare , Dario Catalano , Eike Kiltz , Tadayoshi Kohno
Advances in Cryptology - CRYPTO 2005, Aug 2005, Santa Barbara, United States. pp.205-222, ⟨10.1007/11535218_13⟩
Conference papers hal-02391445v1

Simple Password-Based Encrypted Key Exchange Protocols

Michel Abdalla , David Pointcheval
Topics 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 Setting

Michel Abdalla , Pierre-Alain Fouque , David Pointcheval
Public Key Cryptography - PKC 2005, Jan 2005, Les Diablerets, Switzerland. pp.65-84, ⟨10.1007/978-3-540-30580-4_6⟩
Conference papers hal-02391472v1

A Simple Threshold Authenticated Key Exchange from Short Secrets

Michel Abdalla , Olivier Chevassut , Pierre-Alain Fouque , David Pointcheval
Advances in Cryptology - ASIACRYPT 2005, Dec 2005, Chennai, India. pp.566-584, ⟨10.1007/11593447_31⟩
Conference papers hal-02391437v1

On the Minimal Assumptions of Group Signature Schemes

Michel Abdalla , Bogdan Warinschi
ICICS 2004, Oct 2004, Malaga, Spain. pp.1-13, ⟨10.1007/978-3-540-30191-2_1⟩
Conference papers hal-02391505v1

From Identification to Signatures via the Fiat-Shamir Transform: Minimizing Assumptions for Security and Forward-Security

Michel Abdalla , Jee Hea An , Mihir Bellare , Chanathip Namprempre
Advances in Cryptology - EUROCRYPT 2002, Apr 2002, Amsterdam, Netherlands. pp.418-433, ⟨10.1007/3-540-46035-7_28⟩
Conference papers hal-02391526v1

Forward-Secure Threshold Signature Schemes

Michel Abdalla , Sara Miner , Chanathip Namprempre
Topics in Cryptology - {CT-RSA} 2001, Apr 2001, San Francisco, United States. pp.441-456, ⟨10.1007/3-540-45353-9_32⟩
Conference papers hal-02391547v1

The Oracle Diffie-Hellman Assumptions and an Analysis of DHIES

Michel Abdalla , Mihir Bellare , Phillip Rogaway
Topics in Cryptology - CT-RSA 2001, Apr 2001, San Francisco, United States. pp.143-158, ⟨10.1007/3-540-45353-9_12⟩
Conference papers hal-02391537v1

A New Forward-Secure Digital Signature Scheme

Michel Abdalla , Leonid Reyzin
Advances in Cryptology - ASIACRYPT 2000, Dec 2000, Kyoto, Japan. pp.116-129, ⟨10.1007/3-540-44448-3_10⟩
Conference papers hal-02391557v1

Increasing the Lifetime of a Key: A Comparative Analysis of the Security of Re-keying Techniques

Michel Abdalla , Mihir Bellare
Advances in Cryptology - ASIACRYPT 2000, Dec 2000, Kyoto, Japan. pp.546-559, ⟨10.1007/3-540-44448-3_42⟩
Conference papers hal-02391570v1

Towards Making Broadcast Encryption Practical

Michel Abdalla , Yuval Shavitt , Avishai Wool
Financial Cryptography - FC 1999, Feb 1999, Anguilla, Anguilla. pp.140-157, ⟨10.1007/3-540-48390-X_11⟩
Conference papers hal-02391603v1

Pairing-Based Cryptography - PAIRING 2012

Michel Abdalla , Tanja Lange
Michel Abdalla and Tanja Lange. Springer, 7708, pp.333, 2013, Lecture Notes in Computer Science, 978-3-642-36334-4. ⟨10.1007/978-3-642-36334-4⟩
Books hal-00915796v1

CANS 2013

Michel Abdalla , Cristina Nita-Rotaru , Ricardo Dahab
Michel Abdalla and Cristina Nita-Rotaru and Ricardo Dahab. Springer, 8257, pp.349, 2013, Lecture Notes in Computer Science, 978-3-319-02936-8. ⟨10.1007/978-3-319-02937-5⟩
Books hal-00915711v1

Progress in Cryptology - LATINCRYPT 2010

Michel Abdalla , Paulo S. L. M. Barreto
Michel Abdalla and Paulo Barreto. Springer, 6212, pp.323, 2010, Lecture Notes in Computer Science, 978-3-642-14711-1. ⟨10.1007/978-3-642-14712-8⟩
Books hal-00915803v1

Proceedings of the 7th International Conference on Applied Cryptography and Network Security (ACNS '09)

Michel Abdalla , David Pointcheval , Pierre-Alain Fouque , Damien Vergnaud
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
Image document

Security Analysis of CPace

Michel Abdalla , Björn Haase , Julia Hesse
[Research Report] Report 2021/114, IACR Cryptology ePrint Archive. 2021
Reports hal-03442101v1
Image document

Algebraic Adversaries in the Universal Composability Framework

Michel Abdalla , Manuel Barbosa , Jonathan Katz , Julian Loss , Jiayu Xu
[Research Report] IACR Cryptology ePrint Archive. 2021
Reports hal-03442093v1
Image document

Practical Dynamic Group Signatures Without Knowledge Extractors

Hyoseung Kim , Olivier Sanders , Michel Abdalla , Jong Hwan Park
[Research Report] Report 2021/351, IACR Cryptology ePrint Archive. 2021
Reports hal-03442108v1
Image document

Security Analysis of Olvid's SAS-based Trust Establishment Protocol

Michel Abdalla
[Research Report] Report 2020/808, IACR Cryptology ePrint Archive. 2020
Reports hal-03003687v1
Image document

Inner-Product Functional Encryption with Fine-Grained Access Control

Michel Abdalla , Dario Catalano , Romain Gay , Bogdan Ursu
[Research Report] Report 2020/577, IACR Cryptology ePrint Archive. 2020
Reports hal-03003721v1

From Single-Input to Multi-Client Inner-Product Functional Encryption

Michel Abdalla , Fabrice Benhamouda , Romain Gay
[Research Report] Report 2019/487, IACR Cryptology ePrint Archive. 2019
Reports hal-02135963v1
Image document

Perfect Forward Security of SPAKE2

Michel Abdalla , Manuel Barbosa
[Research Report] Report 2019/1194, IACR Cryptology ePrint Archive. 2019
Reports hal-02317002v1

Decentralizing Inner-Product Functional Encryption

Michel Abdalla , Fabrice Benhamouda , Markulf Kohlweiss , Hendrik Waldner
[Research Report] Report 2019/020, IACR Cryptology ePrint Archive. 2019
Reports hal-02317011v1

On the Tightness of Forward-Secure Signature Reductions

Michel Abdalla , Fabrice Benhamouda , David Pointcheval
[Research Report] Report 2017/746, IACR Cryptology ePrint Archive. 2017
Reports hal-01667150v1

Multi-Input Functional Encryption for Inner Products: Function-Hiding Realizations and Constructions without Pairings

Michel Abdalla , Dario Catalano , Dario Fiore , Romain Gay , Bogdan Ursu
[Research Report] Report 2017/972, IACR Cryptology ePrint Archive. 2017
Reports hal-01667169v1

Algebraic XOR-RKA-Secure Pseudorandom Functions from Post-Zeroizing Multilinear Maps

Michel Abdalla , Fabrice Benhamouda , Alain Passelègue
[Technical Report] Report 2017/500, IACR Cryptology ePrint Archive. 2017
Reports hal-01667132v1

Multi-Input Inner-Product Functional Encryption from Pairings

Michel Abdalla , Romain Gay , Mariana Raykova , Hoeteck Wee
[Technical Report] Cryptology ePrint Archive: Report 2016/425, IACR. 2016
Reports hal-01380735v1

Robust Password-Protected Secret Sharing

Michel Abdalla , Mario Cornejo , Anca Nitulescu , David Pointcheval
[Technical Report] Cryptology ePrint Archive: Report 2016/123, IACR. 2016
Reports hal-01380730v1

Better Security for Functional Encryption for Inner Product Evaluations

Michel Abdalla , Florian Bourse , Angelo de Caro , David Pointcheval
[Technical Report] Cryptology ePrint Archive: Report 2016/011, IACR. 2016
Reports hal-01380726v1

Multilinear and Aggregate Pseudorandom Functions: New Constructions and Improved Security

Michel Abdalla , Fabrice Benhamouda , Alain Passelègue
[Technical Report] Cryptology ePrint Archive: Report 2015/867, IACR. 2015
Reports hal-01233749v1

An Algebraic Framework for Pseudorandom Functions and Applications to Related-Key Security

Michel Abdalla , Fabrice Benhamouda , Alain Passelègue
[Technical Report] Cryptology ePrint Archive: Report 2015/554, IACR. 2015
Reports hal-01175788v1

Leakage-Resilient Symmetric Encryption via Re-keying

Michel Abdalla , Sonia Belaïd , Pierre-Alain Fouque
[Technical Report] Cryptology ePrint Archive: Report 2015/204, IACR. 2015
Reports hal-01132195v1

Tighter Reductions for Forward-Secure Signature Schemes

Michel Abdalla , Fabrice Benhamouda , David Pointcheval
[Technical Report] Cryptology ePrint Archive: Report 2015/196, IACR. 2015
Reports hal-01132190v1

Simple Functional Encryption Schemes for Inner Products

Michel Abdalla , Florian Bourse , Angelo de Caro , David Pointcheval
[Technical Report] Cryptology ePrint Archive: Report 2015/017, IACR. 2015
Reports hal-01108287v1

Public-Key Encryption Indistinguishable Under Plaintext-Checkable Attacks

Michel Abdalla , Fabrice Benhamouda , David Pointcheval
[Technical Report] Cryptology ePrint Archive: Report 2014/609, IACR. 2014
Reports hal-01068416v1

Removing Erasures with Explainable Hash Proof Systems

Michel Abdalla , Fabrice Benhamouda , David Pointcheval
[Technical Report] Cryptology ePrint Archive: Report 2014/125, IACR. 2014
Reports hal-01068442v1

Related-Key Security for Pseudorandom Functions Beyond the Linear Barrier

Michel Abdalla , Fabrice Benhamouda , Alain Passelègue , Kenneth G. Paterson
[Technical Report] Cryptology ePrint Archive: Report 2014/488, IACR. 2014
Reports hal-01068465v1

Disjunctions for Hash Proof Systems: New Constructions and Applications

Michel Abdalla , Fabrice Benhamouda , David Pointcheval
[Technical Report] Cryptology ePrint Archive: Report 2014/483, IACR. 2014
Reports hal-01068420v1
Image document

Reducing The Need For Trusted Parties In Cryptography

Michel Abdalla
Cryptography and Security [cs.CR]. Ecole Normale Supérieure de Paris - ENS Paris, 2011
Habilitation à diriger des recherches tel-00917187v1