Michel Abdalla's Publications

Hyoseung Kim, Youngkyung Lee, Michel Abdalla, Jong Hwan Park. Practical dynamic group signature with efficient concurrent joins and batch verifications. Journal of information security and applications, Elsevier, 2021, 63, pp.103003. ⟨10.1016/j.jisa.2021.103003⟩. ⟨hal-03442068⟩

Minhye Seo, Michel Abdalla, Dong Hoon Lee, Jong Hwan Park. New technique for chosen-ciphertext security based on non-interactive zero-knowledge. Information Sciences, Elsevier, 2019, 490, pp.18-35. ⟨10.1016/j.ins.2019.03.063⟩. ⟨hal-02135837⟩

Michel Abdalla, Fabrice Benhamouda, David Pointcheval. On the Tightness of Forward-Secure Signature Reductions. Journal of Cryptology, Springer Verlag, 2019, 32 (1), pp.84-150. ⟨10.1007/s00145-018-9283-2⟩. ⟨hal-01722996⟩

Michel Abdalla, Fabrice Benhamouda, Alain Passelègue, Kenneth Paterson. Related-Key Security for Pseudorandom Functions Beyond the Linear Barrier. Journal of Cryptology, Springer Verlag, 2018, 31 (4), pp.917-964. ⟨10.1007/s00145-017-9274-8⟩. ⟨hal-01723012⟩

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

Michel Abdalla, Fabrice Benhamouda, David Pointcheval. Public-key encryption indistinguishable under plaintext-checkable attacks. IET Information Security, Institution of Engineering and Technology, 2016, 10 (6), pp.288-303. ⟨10.1049/iet-ifs.2015.0500⟩. ⟨hal-01385178⟩

Michel Abdalla, Pierre-Alain Fouque, Vadim Lyubashevsky, Mehdi Tibouchi. Tightly Secure Signatures From Lossy Identification Schemes. Journal of Cryptology, Springer Verlag, 2015, pp.35. ⟨10.1007/s00145-015-9203-7⟩. ⟨hal-01136799⟩

Michel Abdalla, Dario Catalano, Dario Fiore. Verifiable Random Functions: Relations to Identity-Based Key Encapsulation and New Constructions. Journal of Cryptology, Springer Verlag, 2014, 27 (3), pp.544-593. ⟨10.1007/s00145-013-9153-x⟩. ⟨hal-00915548⟩

Michel Abdalla, Angelo de Caro, Duong Hieu Phan. Generalized Key Delegation for Wildcarded Identity-Based and Inner-Product Encryption. IEEE Transactions on Information Forensics and Security, Institute of Electrical and Electronics Engineers, 2012, 7 (6), pp.1695-1706. ⟨10.1109/TIFS.2012.2213594⟩. ⟨hal-00918522⟩

Michel Abdalla, James Birkett, Dario Catalano, Alexander W. Dent, John Malone-Lee, et al.. Wildcarded Identity-Based Encryption. Journal of Cryptology, Springer Verlag, 2011, 24 (1), pp.42-82. ⟨10.1007/s00145-010-9060-3⟩. ⟨hal-00915848⟩

Michel Abdalla, Mihir Bellare, Dario Catalano, Eike Kiltz, Tadayoshi Kohno, et al.. Searchable Encryption Revisited: Consistency Properties, Relation to Anonymous IBE, and Extensions. Journal of Cryptology, Springer Verlag, 2008, 21 (3), pp.350-391. ⟨10.1007/s00145-007-9006-6⟩. ⟨hal-00918362⟩

Thomas Claveirole, Marcelo Dias de Amorim, Michel Abdalla, Yannis Viniotis. Securing Wireless Sensor Networks Against Aggregator Compromises. IEEE Communications Magazine, Institute of Electrical and Electronics Engineers, 2008, 46 (4), pp.134-141. ⟨10.1109/MCOM.2008.4481352⟩. ⟨hal-00918368⟩

Michel Abdalla, Eike Kiltz, Gregory Neven. Generalised Key Delegation for Hierarchical Identity-Based Encryption. IET Information Security, Institution of Engineering and Technology, 2008, 2 (3), pp.67-78. ⟨10.1049/iet-ifs:20070124⟩. ⟨hal-00918539⟩

Michel Abdalla, Jee Hea An, Mihir Bellare, Chanathip Namprempre. From Identification to Signatures Via the Fiat-Shamir Transform: Necessary and Sufficient Conditions for Security and Forward-Security. IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2008, 54 (8), pp.3631-3646. ⟨10.1109/TIT.2008.926303⟩. ⟨hal-00917092⟩

Chanathip Namprempre, Gregory Neven, Michel Abdalla. A Study of Blind Message Authentication Codes. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Institute of Electronics, Information and Communication Engineers, 2007, E90-A (1), pp.75-82. ⟨10.1093/ietfec/e90-a.1.75⟩. ⟨hal-00918388⟩

Michel Abdalla, Emmanuel Bresson, Olivier Chevassut, Bodo Möller, David Pointcheval. Strong Password-Based Authentication in TLS using the Three-Party Group Diffie-Hellman Protocol. International Journal of Security and Networks, Inderscience, 2007, 2 (3/4), pp.284-296. ⟨10.1504/IJSN.2007.013181⟩. ⟨hal-00918396⟩

Michel Abdalla, Pierre-Alain Fouque, David Pointcheval. Password-Based Authenticated Key Exchange in the Three-Party Setting. IEE Proceedings - Information Security, Institution of Electrical Engineers (IEE), 2006, 153 (1), pp.27-39. ⟨10.1049/ip-ifs:20055073⟩. ⟨hal-00918401⟩

Michel Abdalla, Yuval Shavitt, Avishai Wool. Key management for restricted multicast using broadcast encryption. IEEE/ACM Transactions on Networking, IEEE/ACM, 2000, 8 (4), pp.443-454. ⟨10.1109/90.865073⟩. ⟨hal-00918504⟩

Michel Abdalla, Florian Bourse, Hugo Marival, David Pointcheval, Azam Soleimanian, et al.. Multi-Client Inner-Product Functional Encryption in the Random-Oracle Model. 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⟩. ⟨hal-02948657⟩

Michel Abdalla, Manuel Barbosa, Tatiana Bradley, Stanisław Jarecki, Jonathan Katz, et al.. Universally Composable Relaxed Password Authenticated Key Exchange. 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⟩. ⟨hal-02948678⟩

Michel Abdalla, Junqing Gong, Hoeteck Wee. Functional Encryption for Attribute-Weighted Sums from k-Lin. 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⟩. ⟨hal-02948674⟩

Michel Abdalla, Dario Catalano, Romain Gay, Bogdan Ursu. Inner-Product Functional Encryption with Fine-Grained Access Control. 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⟩. ⟨hal-03043537⟩

Michel Abdalla, Fabrice Benhamouda, Romain Gay. From Single-Input to Multi-client Inner-Product Functional Encryption. 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⟩. ⟨hal-02375577⟩

Michel Abdalla, Fabrice Benhamouda, Alain Passelègue. Algebraic XOR-RKA-Secure Pseudorandom Functions from Post-Zeroizing Multilinear Maps. 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⟩. ⟨hal-02375594⟩

Michel Abdalla, Fabrice Benhamouda, Markulf Kohlweiss, Hendrik Waldner. Decentralizing Inner-Product Functional Encryption. Public-Key Cryptography – PKC 2019, Apr 2019, Beijing, China. pp.128-157, ⟨10.1007/978-3-030-17259-6_5⟩. ⟨hal-02135871⟩

Michel Abdalla, Dario Catalano, Dario Fiore, Romain Gay, Bogdan Ursu. Multi-Input Functional Encryption for Inner Products: Function-Hiding Realizations and Constructions without Pairings. Advances in Cryptology – CRYPTO 2018, Aug 2018, Santa Barbara, United States. ⟨10.1007/978-3-319-96884-1_20⟩. ⟨hal-01900273⟩

Michel Abdalla, Romain Gay, Mariana Raykova, Hoeteck Wee. Multi-Input Inner-Product Functional Encryption from Pairings. EUROCRYPT 2017 - Advances in Cryptology, Apr 2017, Paris, France. pp.601-626, ⟨10.1007/978-3-319-56620-7_21⟩. ⟨hal-01524105⟩

Michel Abdalla, Fabrice Benhamouda, David Pointcheval. Removing Erasures with Explainable Hash Proof Systems. 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⟩. ⟨hal-01471896⟩

Michel Abdalla, Mario Cornejo, Anca Nitulescu, David Pointcheval. Robust Password-Protected Secret Sharing. 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⟩. ⟨hal-01380699⟩

Michel Abdalla, Fabrice Benhamouda, David Pointcheval. Public-Key Encryption Indistinguishable Under Plaintext-Checkable Attacks. PKC 2015, Mar 2015, Maryland, United States. pp.332-352, ⟨10.1007/978-3-662-46447-2_15⟩. ⟨hal-01131982⟩

Michel Abdalla, Sonia Belaïd, David Pointcheval, Sylvain Ruhault, Damien Vergnaud. Robust Pseudo-Random Number Generators with Input Secure Against Side-Channel Attacks. ACNS 2015, Jun 2015, New York, United States. ⟨10.1007/978-3-319-28166-7_31⟩. ⟨hal-01242003⟩

Michel Abdalla, Fabrice Benhamouda, David Pointcheval. Disjunctions for Hash Proof Systems: New Constructions and Applications. EUROCRYPT 2015, Apr 2015, Sofia, Bulgaria. pp.69-100, ⟨10.1007/978-3-662-46803-6_3⟩. ⟨hal-01131994⟩

Michel Abdalla, Fabrice Benhamouda, Alain Passelègue. Multilinear and Aggregate Pseudorandom Functions: New Constructions and Improved Security. ASIACRYPT 2015, Nov 2015, Auckland, New Zealand. pp.103-120, ⟨10.1007/978-3-662-48797-6_5⟩. ⟨hal-01233740⟩

Michel Abdalla, Fabrice Benhamouda, Philip Mackenzie. Security of the J-PAKE Password-Authenticated Key Exchange Protocol. 2015 IEEE Symposium on Security and Privacy, May 2015, San Jose, United States. pp.571-587, ⟨10.1109/SP.2015.41⟩. ⟨hal-01175785⟩

Michel Abdalla, Fabrice Benhamouda, Alain Passelègue. An Algebraic Framework for Pseudorandom Functions and Applications to Related-Key Security. CRYPTO 2015, Aug 2015, Santa Barbara, United States. pp.388-409, ⟨10.1007/978-3-662-47989-6_19⟩. ⟨hal-01175786⟩

Michel Abdalla, Florian Bourse, Angelo de Caro, David Pointcheval. Simple Functional Encryption Schemes for Inner Products. PKC 2015, Mar 2015, Maryland, United States. pp.733-751, ⟨10.1007/978-3-662-46447-2_33⟩. ⟨hal-01131971⟩

Michel Abdalla, Fabrice Benhamouda, Alain Passelègue, Kenneth G. Paterson. Related-Key Security for Pseudorandom Functions Beyond the Linear Barrier. CRYPTO 2014, Aug 2014, Santa Barbara, United States. pp.77-94, ⟨10.1007/978-3-662-44371-2_5⟩. ⟨hal-01068388⟩

Michel Abdalla. Password-Based Authenticated Key Exchange: An Overview. PROVSEC 2014, Oct 2014, Hong Kong, China. pp.1-9, ⟨10.1007/978-3-319-12475-9_1⟩. ⟨hal-01071313⟩

Michel Abdalla, Hervé Chabanne, Houda Ferradi, Julien Jainski, David Naccache. Improving Thomlinson-Walker's Software Patching Scheme Using Standard Cryptographic and Statistical Tools. ISPEC 2014, May 2014, Fuzhou, China. pp.8-14, ⟨10.1007/978-3-319-06320-1_2⟩. ⟨hal-01071319⟩

Michel Abdalla, Sonia Belaïd, Pierre-Alain Fouque. Leakage-Resilient Symmetric Encryption via Re-keying. Cryptographic Hardware and Embedded Systems - CHES 2013, Aug 2013, Santa Barbara, United States. pp.471-488, ⟨10.1007/978-3-642-40349-1_27⟩. ⟨hal-00870955⟩

Michel Abdalla, Fabrice Benhamouda, Olivier Blazy, Céline Chevalier, David Pointcheval. SPHF-Friendly Non-Interactive Commitments. ASIACRYPT 2013, Dec 2013, Bangalore, India. pp.214-234, ⟨10.1007/978-3-642-42033-7_12⟩. ⟨hal-00915542⟩

Michel Abdalla, Sonia Belaïd, Pierre-Alain Fouque. Leakage-Resilient Symmetric Encryption via Re-keying. Cryptographic Hardware and Embedded Systems - 2013, Aug 2013, Santa Barbara, United States. pp.18, ⟨10.1007/978-3-642-40349-1_27⟩. ⟨hal-01094306⟩

Michel Abdalla, Fabrice Benhamouda, David Pointcheval. Tighter Reductions for Forward-Secure Signature Scheme. Public-Key Cryptography (PKC 2013), Feb 2013, Nara, Japan. pp.292-311, ⟨10.1007/978-3-642-36362-7_19⟩. ⟨hal-00790626⟩

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

Michel Abdalla, Angelo de Caro, Karina Mochetti. Lattice-Based Hierarchical Inner Product Encryption. LATINCRYPT 2012, Oct 2012, Santiago, Chile. pp.121-138, ⟨10.1007/978-3-642-33481-8_7⟩. ⟨hal-00915812⟩

Michel Abdalla, Céline Chevalier, Louis Granboulan, David Pointcheval. Contributory Password-Authenticated Group Key Exchange with Join Capability. CT-RSA 2011, Feb 2012, San Francisco, United States. pp.142-160, ⟨10.1007/978-3-642-19074-2_11⟩. ⟨hal-00915828⟩

Michel Abdalla, Dario Fiore, Vadim Lyubashevsky. From Selective to Full Security: Semi-Generic Transformations in the Standard Model. PKC 2012, May 2012, Darmstadt, Germany. pp.316-333, ⟨10.1007/978-3-642-30057-8_19⟩. ⟨hal-00915817⟩

Michel Abdalla, Pierre-Alain Fouque, Vadim Lyubashevsky, Mehdi Tibouchi. Tightly-Secure Signatures from Lossy Identification Schemes. Advances in Cryptology - 2012, Apr 2012, Cambridge, United Kingdom. pp.19, ⟨10.1007/978-3-642-29011-4_34⟩. ⟨hal-01094318⟩

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

Michel Abdalla, Céline Chevalier, Mark Manulis, David Pointcheval. Flexible Group Key Exchange with On-Demand Computation of Subgroup Keys. Third African International Conference on Cryptology (AfricaCrypt '10), 2010, Stellenbosch, South Africa. pp.351--368. ⟨inria-00539541⟩

Michel Abdalla, Dario Catalano, Dario Fiore. Verifiable Random Functions from Identity based Key Encapsulation. EUROCRYPT 2009, Apr 2009, Cologne, Germany. pp.554-571, ⟨10.1007/978-3-642-01001-9_32⟩. ⟨hal-00915859⟩

Michel Abdalla, Céline Chevalier, David Pointcheval. Smooth Projective Hashing for Conditionally Extractable Commitments. Advances in Cryptology -- Proceedings of CRYPTO '09, 2009, Santa-Barbara, Californie, United States. pp.671--689. ⟨inria-00419145⟩

Michel Abdalla, Dario Catalano, Céline Chevalier, David Pointcheval. Password-Authenticated Group Key Agreement with Adaptive Security and Contributiveness. Second African International Conference on Cryptology (AfricaCrypt '09), 2009, Gammarth - Tunisie, Tunisia. pp.254--271. ⟨inria-00419147⟩

Michel Abdalla, Xavier Boyen, Céline Chevalier, David Pointcheval. Distributed Public-Key Cryptography from Weak Secrets. Conference on Practice and Theory in Public-Key Cryptography (PKC '09), 2009, Irvine, California, USA, United States. pp.139--159. ⟨inria-00419149⟩

Michel Abdalla, Emmanuel Bresson, Olivier Chevassut, David Pointcheval. Password-Based Group Key Exchange in a Constant Number of Rounds. Public Key Cryptography - PKC 2006, Apr 2009, New York, United States. pp.427-442, ⟨10.1007/11745853_28⟩. ⟨hal-02391427⟩

Michel Abdalla, Malika Izabachène, David Pointcheval. Anonymous and Transparent Gateway-based Password-Authenticated Key Exchange. The 7th International Workshop on Cryptology and Network Security (CANS '08), 2008, Hong-Kong, China. pp.133--148. ⟨inria-00419150⟩

Michel Abdalla, Dario Catalano, Céline Chevalier, David Pointcheval. Efficient Two-Party Password-Based Key Exchange Protocols in the UC Framework. The Cryptographers' Track at RSA Conference '08 (CT-RSA '08), 2008, San Francisco, Californie, Germany. pp.335--351. ⟨inria-00419157⟩

Michel Abdalla, Eike Kiltz, Gregory Neven. Generalized Key Delegation for Hierarchical Identity-Based Encryption. ESORICS 2007, Sep 2007, Dresden, Germany. pp.139-154, ⟨10.1007/978-3-540-74835-9_10⟩. ⟨hal-00918551⟩

Thomas Claveirole, Marcelo Dias de Amorim, Michel Abdalla, Yannis Viniotis. Résistance contre les attaques par capture dans les réseaux de capteurs. Huitièmes Journées Doctorales en Informatique et Réseaux (JDIR'07), Jan 2007, Marne-la-Vallée, France. pp.19-28. ⟨hal-01091860⟩

Michel Abdalla, Alex Dent, John Malone-Lee, Gregory Neven, Duong Hieu Phan, et al.. Identity-based Traitor Tracing. PKC 2007, Apr 2007, Beijing, China. pp.361-376, ⟨10.1007/978-3-540-71677-8_24⟩. ⟨hal-00918560⟩

Michel Abdalla, Dario Catalano, Alexander Dent, John Malone-Lee, Gregory Neven, et al.. Identity-Based Encryption Gone Wild. ICALP 2006, Jul 2006, Venice, Italy. pp.300-311, ⟨10.1007/11787006_26⟩. ⟨hal-02391407⟩

Michel Abdalla, Emmanuel Bresson, Olivier Chevassut, Bodo Möller, David Pointcheval. Provably secure password-based authentication in TLS. The 2006 ACM Symposium - ASIACCS 2006, Mar 2006, Taipei, Taiwan. pp.35, ⟨10.1145/1128817.1128827⟩. ⟨hal-02391374⟩

Michel Abdalla, Chanathip Namprempre, Gregory Neven. On the (Im)possibility of Blind Message Authentication Codes. Topics in Cryptology - CT-RSA 2006, Feb 2006, San Jose, United States. pp.262-279, ⟨10.1007/11605805_17⟩. ⟨hal-02391396⟩

Thomas Claveirole, Marcelo Dias de Amorim, Michel Abdalla, Yannis Viniotis. Resisting Against Aggregator Compromises in Sensor Networks. CoNext'06 Student Workshop, Dec 2006, Lisboa, Portugal. pp.24:1--24:2, ⟨10.1145/1368436.1368468⟩. ⟨hal-01351676⟩

Michel Abdalla, David Pointcheval. A Scalable Password-Based Group Key Exchange Protocol in the Standard Model. Advances in Cryptology - ASIACRYPT 2006, Dec 2006, Shanghai, China. pp.332-347, ⟨10.1007/11935230_22⟩. ⟨hal-02391361⟩

Michel Abdalla, Olivier Chevassut, Pierre-Alain Fouque, David Pointcheval. A Simple Threshold Authenticated Key Exchange from Short Secrets. Advances in Cryptology - ASIACRYPT 2005, Dec 2005, Chennai, India. pp.566-584, ⟨10.1007/11593447_31⟩. ⟨hal-02391437⟩

Michel Abdalla, Olivier Chevassut, David Pointcheval. One-Time Verifier-Based Encrypted Key Exchange. Public Key Cryptography - PKC 2005, Jan 2005, Les Diablerets, Switzerland. pp.47-64, ⟨10.1007/978-3-540-30580-4_5⟩. ⟨hal-02391460⟩

Michel Abdalla, Mihir Bellare, Dario Catalano, Eike Kiltz, Tadayoshi Kohno, et al.. Searchable Encryption Revisited: Consistency Properties, Relation to Anonymous IBE, and Extensions. Advances in Cryptology - CRYPTO 2005, Aug 2005, Santa Barbara, United States. pp.205-222, ⟨10.1007/11535218_13⟩. ⟨hal-02391445⟩

Michel Abdalla, Pierre-Alain Fouque, David Pointcheval. Password-Based Authenticated Key Exchange in the Three-Party Setting. Public Key Cryptography - PKC 2005, Jan 2005, Les Diablerets, Switzerland. pp.65-84, ⟨10.1007/978-3-540-30580-4_6⟩. ⟨hal-02391472⟩

Michel Abdalla, David Pointcheval. Simple Password-Based Encrypted Key Exchange Protocols. Topics in Cryptology - CT-RSA 2005, Feb 2005, San Francisco, United States. pp.191-208, ⟨10.1007/978-3-540-30574-3_14⟩. ⟨hal-02391456⟩

Michel Abdalla, Bogdan Warinschi. On the Minimal Assumptions of Group Signature Schemes. ICICS 2004, Oct 2004, Malaga, Spain. pp.1-13, ⟨10.1007/978-3-540-30191-2_1⟩. ⟨hal-02391505⟩

Michel Abdalla, Jee Hea An, Mihir Bellare, Chanathip Namprempre. From Identification to Signatures via the Fiat-Shamir Transform: Minimizing Assumptions for Security and Forward-Security. Advances in Cryptology - EUROCRYPT 2002, Apr 2002, Amsterdam, Netherlands. pp.418-433, ⟨10.1007/3-540-46035-7_28⟩. ⟨hal-02391526⟩

Michel Abdalla, Mihir Bellare, Phillip Rogaway. The Oracle Diffie-Hellman Assumptions and an Analysis of DHIES. Topics in Cryptology - CT-RSA 2001, Apr 2001, San Francisco, United States. pp.143-158, ⟨10.1007/3-540-45353-9_12⟩. ⟨hal-02391537⟩

Michel Abdalla, Sara Miner, Chanathip Namprempre. Forward-Secure Threshold Signature Schemes. Topics in Cryptology - 2001, Apr 2001, San Francisco, United States. pp.441-456, ⟨10.1007/3-540-45353-9_32⟩. ⟨hal-02391547⟩

Michel Abdalla, Mihir Bellare. Increasing the Lifetime of a Key: A Comparative Analysis of the Security of Re-keying Techniques. Advances in Cryptology - ASIACRYPT 2000, Dec 2000, Kyoto, Japan. pp.546-559, ⟨10.1007/3-540-44448-3_42⟩. ⟨hal-02391570⟩

Michel Abdalla, Leonid Reyzin. A New Forward-Secure Digital Signature Scheme. Advances in Cryptology - ASIACRYPT 2000, Dec 2000, Kyoto, Japan. pp.116-129, ⟨10.1007/3-540-44448-3_10⟩. ⟨hal-02391557⟩

Michel Abdalla, Yuval Shavitt, Avishai Wool. Towards Making Broadcast Encryption Practical. Financial Cryptography - FC 1999, Feb 1999, Anguilla, Anguilla. pp.140-157, ⟨10.1007/3-540-48390-X_11⟩. ⟨hal-02391603⟩

Michel Abdalla, Manuel Barbosa, Jonathan Katz, Julian Loss, Jiayu Xu. Algebraic Adversaries in the Universal Composability Framework. Mehdi Tibouchi; Huaxiong Wang. Advances in Cryptology – ASIACRYPT 2021, 13092, Springer International Publishing, pp.311-341, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-92078-4_11⟩. ⟨hal-03517558⟩

Michel Abdalla, Björn Haase, Julia Hesse. Security Analysis of CPace. Mehdi Tibouchi; Huaxiong Wang. Advances in Cryptology – ASIACRYPT 2021, 13093, Springer International Publishing, pp.711-741, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-92068-5_24⟩. ⟨hal-03517563⟩

Michel Abdalla, Ricardo Dahab. Public-Key Cryptography – PKC 2018: 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Proceedings, Part I. Michel Abdalla; Ricardo Dahab. Public-Key Cryptography – PKC 2018, Mar 2018, Rio de Janeiro, Brazil. Springer, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-76578-5⟩. ⟨hal-02293208⟩

Michel Abdalla, Ricardo Dahab. Public-Key Cryptography – PKC 2018: 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Proceedings, Part II. Michel Abdalla; Ricardo Dahab. Public-Key Cryptography – PKC 2018, Mar 2018, Rio de Janeiro, Brazil. 10770, Springer, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-76581-5⟩. ⟨hal-02293219⟩

Michel Abdalla, Roberto de Prisco. Security and Cryptography for Networks - SCN 2014. Michel Abdalla; Roberto De Prisco. Security and Cryptography for Networks - SCN 2014, Sep 2014, Amalfi, Italy. 8642, Springer, pp.609, 2014, Lecture Notes in Computer Science, 978-3-319-10878-0. ⟨10.1007/978-3-319-10879-7⟩. ⟨hal-01068374⟩

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

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

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

Michel Abdalla, David Pointcheval, Pierre-Alain Fouque, Damien Vergnaud. 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. 5536, Springer, pp.534, 2009, LNCS, 978-3-642-01957-9. ⟨10.1007/978-3-642-01957-9⟩. ⟨inria-00539538⟩

Hyoseung Kim, Olivier Sanders, Michel Abdalla, Jong Hwan Park. Practical Dynamic Group Signatures Without Knowledge Extractors. [Research Report] Report 2021/351, IACR Cryptology ePrint Archive. 2021. ⟨hal-03442108⟩

Michel Abdalla, Manuel Barbosa, Jonathan Katz, Julian Loss, Jiayu Xu. Algebraic Adversaries in the Universal Composability Framework. [Research Report] IACR Cryptology ePrint Archive. 2021. ⟨hal-03442093⟩

Michel Abdalla, Björn Haase, Julia Hesse. Security Analysis of CPace. [Research Report] Report 2021/114, IACR Cryptology ePrint Archive. 2021. ⟨hal-03442101⟩

Michel Abdalla, Dario Catalano, Romain Gay, Bogdan Ursu. Inner-Product Functional Encryption with Fine-Grained Access Control. [Research Report] Report 2020/577, IACR Cryptology ePrint Archive. 2020. ⟨hal-03003721⟩

Michel Abdalla. Security Analysis of Olvid's SAS-based Trust Establishment Protocol. [Research Report] Report 2020/808, IACR Cryptology ePrint Archive. 2020. ⟨hal-03003687⟩

Michel Abdalla, Manuel Barbosa. Perfect Forward Security of SPAKE2. [Research Report] Report 2019/1194, IACR Cryptology ePrint Archive. 2019. ⟨hal-02317002⟩

Michel Abdalla, Fabrice Benhamouda, Romain Gay. From Single-Input to Multi-Client Inner-Product Functional Encryption. [Research Report] Report 2019/487, IACR Cryptology ePrint Archive. 2019. ⟨hal-02135963⟩

Michel Abdalla, Fabrice Benhamouda, Markulf Kohlweiss, Hendrik Waldner. Decentralizing Inner-Product Functional Encryption. [Research Report] Report 2019/020, IACR Cryptology ePrint Archive. 2019. ⟨hal-02317011⟩

Michel Abdalla, Fabrice Benhamouda, Alain Passelègue. Algebraic XOR-RKA-Secure Pseudorandom Functions from Post-Zeroizing Multilinear Maps. [Technical Report] Report 2017/500, IACR Cryptology ePrint Archive. 2017. ⟨hal-01667132⟩

Michel Abdalla, Dario Catalano, Dario Fiore, Romain Gay, Bogdan Ursu. Multi-Input Functional Encryption for Inner Products: Function-Hiding Realizations and Constructions without Pairings. [Research Report] Report 2017/972, IACR Cryptology ePrint Archive. 2017. ⟨hal-01667169⟩

Michel Abdalla, Fabrice Benhamouda, David Pointcheval. On the Tightness of Forward-Secure Signature Reductions. [Research Report] Report 2017/746, IACR Cryptology ePrint Archive. 2017. ⟨hal-01667150⟩

Michel Abdalla, Romain Gay, Mariana Raykova, Hoeteck Wee. Multi-Input Inner-Product Functional Encryption from Pairings. [Technical Report] Cryptology ePrint Archive: Report 2016/425, IACR. 2016. ⟨hal-01380735⟩

Michel Abdalla, Florian Bourse, Angelo de Caro, David Pointcheval. Better Security for Functional Encryption for Inner Product Evaluations. [Technical Report] Cryptology ePrint Archive: Report 2016/011, IACR. 2016. ⟨hal-01380726⟩

Michel Abdalla, Mario Cornejo, Anca Nitulescu, David Pointcheval. Robust Password-Protected Secret Sharing. [Technical Report] Cryptology ePrint Archive: Report 2016/123, IACR. 2016. ⟨hal-01380730⟩

Michel Abdalla, Fabrice Benhamouda, Alain Passelègue. Multilinear and Aggregate Pseudorandom Functions: New Constructions and Improved Security. [Technical Report] Cryptology ePrint Archive: Report 2015/867, IACR. 2015. ⟨hal-01233749⟩

Michel Abdalla, Florian Bourse, Angelo de Caro, David Pointcheval. Simple Functional Encryption Schemes for Inner Products. [Technical Report] Cryptology ePrint Archive: Report 2015/017, IACR. 2015. ⟨hal-01108287⟩

Michel Abdalla, Sonia Belaïd, Pierre-Alain Fouque. Leakage-Resilient Symmetric Encryption via Re-keying. [Technical Report] Cryptology ePrint Archive: Report 2015/204, IACR. 2015. ⟨hal-01132195⟩

Michel Abdalla, Fabrice Benhamouda, David Pointcheval. Tighter Reductions for Forward-Secure Signature Schemes. [Technical Report] Cryptology ePrint Archive: Report 2015/196, IACR. 2015. ⟨hal-01132190⟩

Michel Abdalla, Fabrice Benhamouda, Alain Passelègue. An Algebraic Framework for Pseudorandom Functions and Applications to Related-Key Security. [Technical Report] Cryptology ePrint Archive: Report 2015/554, IACR. 2015. ⟨hal-01175788⟩

Michel Abdalla, Fabrice Benhamouda, Alain Passelègue, Kenneth G. Paterson. Related-Key Security for Pseudorandom Functions Beyond the Linear Barrier. [Technical Report] Cryptology ePrint Archive: Report 2014/488, IACR. 2014. ⟨hal-01068465⟩

Michel Abdalla, Fabrice Benhamouda, David Pointcheval. Disjunctions for Hash Proof Systems: New Constructions and Applications. [Technical Report] Cryptology ePrint Archive: Report 2014/483, IACR. 2014. ⟨hal-01068420⟩

Michel Abdalla, Fabrice Benhamouda, David Pointcheval. Public-Key Encryption Indistinguishable Under Plaintext-Checkable Attacks. [Technical Report] Cryptology ePrint Archive: Report 2014/609, IACR. 2014. ⟨hal-01068416⟩

Michel Abdalla, Fabrice Benhamouda, David Pointcheval. Removing Erasures with Explainable Hash Proof Systems. [Technical Report] Cryptology ePrint Archive: Report 2014/125, IACR. 2014. ⟨hal-01068442⟩

Michel Abdalla. Reducing The Need For Trusted Parties In Cryptography. Cryptography and Security [cs.CR]. Ecole Normale Supérieure de Paris - ENS Paris, 2011. ⟨tel-00917187⟩