
Michel Abdalla
107
Documents
Publications
Publications
|
Algebraic Adversaries in the Universal Composability FrameworkASIACRYPT 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⟩
Communication dans un congrès
hal-03517558
v1
|
Security Analysis of CPaceASIACRYPT 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⟩
Communication dans un congrès
hal-03517563
v1
|
|
|
Inner-Product Functional Encryption with Fine-Grained Access ControlAsiacrypt 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⟩
Communication dans un congrès
hal-03043537
v1
|
|
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⟩
Communication dans un congrès
hal-02948657
v1
|
|
Functional Encryption for Attribute-Weighted Sums from k-LinCRYPTO 2020 - 40th Annual International Cryptology Conference, Aug 2020, Santa Barbara / Virtual, United States. pp.685-716, ⟨10.1007/978-3-030-56784-2_23⟩
Communication dans un congrès
hal-02948674
v1
|
|
Universally Composable Relaxed Password Authenticated Key ExchangeCRYPTO 2020 - 40th Annual International Cryptology Conference, Aug 2020, Santa Barbara / Virtual, United States. pp.278-307, ⟨10.1007/978-3-030-56784-2_10⟩
Communication dans un congrès
hal-02948678
v1
|
|
From Single-Input to Multi-client Inner-Product Functional EncryptionASIACRYPT 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⟩
Communication dans un congrès
hal-02375577
v1
|
|
Decentralizing Inner-Product Functional EncryptionPublic-Key Cryptography – PKC 2019, Apr 2019, Beijing, China. pp.128-157, ⟨10.1007/978-3-030-17259-6_5⟩
Communication dans un congrès
hal-02135871
v1
|
|
Algebraic XOR-RKA-Secure Pseudorandom Functions from Post-Zeroizing Multilinear MapsASIACRYPT 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⟩
Communication dans un congrès
hal-02375594
v1
|
|
Multi-Input Functional Encryption for Inner Products: Function-Hiding Realizations and Constructions without PairingsAdvances in Cryptology – CRYPTO 2018, Aug 2018, Santa Barbara, United States. ⟨10.1007/978-3-319-96884-1_20⟩
Communication dans un congrès
hal-01900273
v1
|
Multi-Input Inner-Product Functional Encryption from PairingsEUROCRYPT 2017 - Advances in Cryptology, Apr 2017, Paris, France. pp.601-626, ⟨10.1007/978-3-319-56620-7_21⟩
Communication dans un congrès
hal-01524105
v1
|
|
|
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⟩
Communication dans un congrès
hal-01471896
v1
|
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⟩
Communication dans un congrès
hal-01380699
v1
|
|
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⟩
Communication dans un congrès
hal-01131982
v1
|
|
Simple Functional Encryption Schemes for Inner ProductsPKC 2015, Mar 2015, Maryland, United States. pp.733-751, ⟨10.1007/978-3-662-46447-2_33⟩
Communication dans un congrès
hal-01131971
v1
|
|
|
An Algebraic Framework for Pseudorandom Functions and Applications to Related-Key SecurityCRYPTO 2015, Aug 2015, Santa Barbara, United States. pp.388-409, ⟨10.1007/978-3-662-47989-6_19⟩
Communication dans un congrès
hal-01175786
v1
|
|
Security of the J-PAKE Password-Authenticated Key Exchange Protocol2015 IEEE Symposium on Security and Privacy, May 2015, San Jose, United States. pp.571-587, ⟨10.1109/SP.2015.41⟩
Communication dans un congrès
hal-01175785
v1
|
|
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⟩
Communication dans un congrès
hal-01242003
v1
|
|
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⟩
Communication dans un congrès
hal-01131994
v1
|
|
Multilinear and Aggregate Pseudorandom Functions: New Constructions and Improved SecurityASIACRYPT 2015, Nov 2015, Auckland, New Zealand. pp.103-120, ⟨10.1007/978-3-662-48797-6_5⟩
Communication dans un congrès
hal-01233740
v1
|
|
Related-Key Security for Pseudorandom Functions Beyond the Linear BarrierCRYPTO 2014, Aug 2014, Santa Barbara, United States. pp.77-94, ⟨10.1007/978-3-662-44371-2_5⟩
Communication dans un congrès
hal-01068388
v1
|
Password-Based Authenticated Key Exchange: An OverviewPROVSEC 2014, Oct 2014, Hong Kong, China. pp.1-9, ⟨10.1007/978-3-319-12475-9_1⟩
Communication dans un congrès
hal-01071313
v1
|
|
Improving Thomlinson-Walker's Software Patching Scheme Using Standard Cryptographic and Statistical ToolsISPEC 2014, May 2014, Fuzhou, China. pp.8-14, ⟨10.1007/978-3-319-06320-1_2⟩
Communication dans un congrès
hal-01071319
v1
|
|
Leakage-Resilient Symmetric Encryption via Re-keyingCryptographic Hardware and Embedded Systems - CHES 2013, Aug 2013, Santa Barbara, United States. pp.471-488, ⟨10.1007/978-3-642-40349-1_27⟩
Communication dans un congrès
istex
hal-00870955
v1
|
|
|
SPHF-Friendly Non-Interactive CommitmentsASIACRYPT 2013, Dec 2013, Bangalore, India. pp.214-234, ⟨10.1007/978-3-642-42033-7_12⟩
Communication dans un congrès
hal-00915542
v1
|
|
Leakage-Resilient Symmetric Encryption via Re-keyingCryptographic Hardware and Embedded Systems - {CHES} 2013, Aug 2013, Santa Barbara, United States. pp.18, ⟨10.1007/978-3-642-40349-1_27⟩
Communication dans un congrès
istex
hal-01094306
v1
|
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⟩
Communication dans un congrès
istex
hal-00790626
v1
|
|
Leakage-Resilient Spatial EncryptionLATINCRYPT 2012, Oct 2012, Santiago, Chile. pp.78-99, ⟨10.1007/978-3-642-33481-8_5⟩
Communication dans un congrès
hal-00915816
v1
|
|
|
From Selective to Full Security: Semi-Generic Transformations in the Standard ModelPKC 2012, May 2012, Darmstadt, Germany. pp.316-333, ⟨10.1007/978-3-642-30057-8_19⟩
Communication dans un congrès
hal-00915817
v1
|
|
Tightly-Secure Signatures from Lossy Identification SchemesAdvances in Cryptology - {EUROCRYPT} 2012, Apr 2012, Cambridge, United Kingdom. pp.19, ⟨10.1007/978-3-642-29011-4_34⟩
Communication dans un congrès
hal-01094318
v1
|
Lattice-Based Hierarchical Inner Product EncryptionLATINCRYPT 2012, Oct 2012, Santiago, Chile. pp.121-138, ⟨10.1007/978-3-642-33481-8_7⟩
Communication dans un congrès
hal-00915812
v1
|
|
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⟩
Communication dans un congrès
istex
hal-00915828
v1
|
|
|
Robust EncryptionTCC 2010, Feb 2010, Zurich, Switzerland. pp.480-497, ⟨10.1007/978-3-642-11799-2_28⟩
Communication dans un congrès
hal-00915836
v1
|
|
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
Communication dans un congrès
inria-00539541
v1
|
|
Password-Authenticated Group Key Agreement with Adaptive Security and ContributivenessSecond African International Conference on Cryptology (AfricaCrypt '09), 2009, Gammarth - Tunisie, Tunisia. pp.254--271
Communication dans un congrès
inria-00419147
v1
|
|
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
Communication dans un congrès
inria-00419149
v1
|
|
Smooth Projective Hashing for Conditionally Extractable CommitmentsAdvances in Cryptology -- Proceedings of CRYPTO '09, 2009, Santa-Barbara, Californie, United States. pp.671--689
Communication dans un congrès
inria-00419145
v1
|
|
Verifiable Random Functions from Identity based Key EncapsulationEUROCRYPT 2009, Apr 2009, Cologne, Germany. pp.554-571, ⟨10.1007/978-3-642-01001-9_32⟩
Communication dans un congrès
hal-00915859
v1
|
|
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
Communication dans un congrès
inria-00419150
v1
|
|
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
Communication dans un congrès
inria-00419157
v1
|
|
Identity-based Traitor TracingPKC 2007, Apr 2007, Beijing, China. pp.361-376, ⟨10.1007/978-3-540-71677-8_24⟩
Communication dans un congrès
hal-00918560
v1
|
|
Generalized Key Delegation for Hierarchical Identity-Based EncryptionESORICS 2007, Sep 2007, Dresden, Germany. pp.139-154, ⟨10.1007/978-3-540-74835-9_10⟩
Communication dans un congrès
hal-00918551
v1
|
|
Résistance contre les attaques par capture dans les réseaux de capteursHuitièmes Journées Doctorales en Informatique et Réseaux (JDIR'07), Jan 2007, Marne-la-Vallée, France. pp.19-28
Communication dans un congrès
hal-01091860
v1
|
|
On the (Im)possibility of Blind Message Authentication CodesTopics in Cryptology - CT-RSA 2006, Feb 2006, San Jose, United States. pp.262-279, ⟨10.1007/11605805_17⟩
Communication dans un congrès
hal-02391396
v1
|
Resisting Against Aggregator Compromises in Sensor NetworksCoNext'06 Student Workshop, Dec 2006, Lisboa, Portugal. pp.24:1--24:2, ⟨10.1145/1368436.1368468⟩
Communication dans un congrès
hal-01351676
v1
|
|
|
Identity-Based Encryption Gone WildICALP 2006, Jul 2006, Venice, Italy. pp.300-311, ⟨10.1007/11787006_26⟩
Communication dans un congrès
hal-02391407
v1
|
|
Provably secure password-based authentication in TLSThe 2006 ACM Symposium - ASIACCS 2006, Mar 2006, Taipei, Taiwan. pp.35, ⟨10.1145/1128817.1128827⟩
Communication dans un congrès
hal-02391374
v1
|
|
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⟩
Communication dans un congrès
hal-02391361
v1
|
|
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⟩
Communication dans un congrès
hal-02391427
v1
|
|
A Simple Threshold Authenticated Key Exchange from Short SecretsAdvances in Cryptology - ASIACRYPT 2005, Dec 2005, Chennai, India. pp.566-584, ⟨10.1007/11593447_31⟩
Communication dans un congrès
hal-02391437
v1
|
|
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⟩
Communication dans un congrès
hal-02391472
v1
|
|
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⟩
Communication dans un congrès
hal-02391460
v1
|
|
Searchable Encryption Revisited: Consistency Properties, Relation to Anonymous IBE, and ExtensionsAdvances in Cryptology - CRYPTO 2005, Aug 2005, Santa Barbara, United States. pp.205-222, ⟨10.1007/11535218_13⟩
Communication dans un congrès
hal-02391445
v1
|
|
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⟩
Communication dans un congrès
hal-02391456
v1
|
|
On the Minimal Assumptions of Group Signature SchemesICICS 2004, Oct 2004, Malaga, Spain. pp.1-13, ⟨10.1007/978-3-540-30191-2_1⟩
Communication dans un congrès
hal-02391505
v1
|
|
From Identification to Signatures via the Fiat-Shamir Transform: Minimizing Assumptions for Security and Forward-SecurityAdvances in Cryptology - EUROCRYPT 2002, Apr 2002, Amsterdam, Netherlands. pp.418-433, ⟨10.1007/3-540-46035-7_28⟩
Communication dans un congrès
hal-02391526
v1
|
Forward-Secure Threshold Signature SchemesTopics in Cryptology - {CT-RSA} 2001, Apr 2001, San Francisco, United States. pp.441-456, ⟨10.1007/3-540-45353-9_32⟩
Communication dans un congrès
istex
hal-02391547
v1
|
|
The Oracle Diffie-Hellman Assumptions and an Analysis of DHIESTopics in Cryptology - CT-RSA 2001, Apr 2001, San Francisco, United States. pp.143-158, ⟨10.1007/3-540-45353-9_12⟩
Communication dans un congrès
istex
hal-02391537
v1
|
|
|
Increasing the Lifetime of a Key: A Comparative Analysis of the Security of Re-keying TechniquesAdvances in Cryptology - ASIACRYPT 2000, Dec 2000, Kyoto, Japan. pp.546-559, ⟨10.1007/3-540-44448-3_42⟩
Communication dans un congrès
hal-02391570
v1
|
|
A New Forward-Secure Digital Signature SchemeAdvances in Cryptology - ASIACRYPT 2000, Dec 2000, Kyoto, Japan. pp.116-129, ⟨10.1007/3-540-44448-3_10⟩
Communication dans un congrès
hal-02391557
v1
|
Towards Making Broadcast Encryption PracticalFinancial Cryptography - FC 1999, Feb 1999, Anguilla, Anguilla. pp.140-157, ⟨10.1007/3-540-48390-X_11⟩
Communication dans un congrès
istex
hal-02391603
v1
|
Pairing-Based Cryptography - PAIRING 2012Michel 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⟩
Ouvrages
hal-00915796
v1
|
|
CANS 2013Michel 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⟩
Ouvrages
hal-00915711
v1
|
|
Progress in Cryptology - LATINCRYPT 2010Michel 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⟩
Ouvrages
hal-00915803
v1
|
|
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⟩
Ouvrages
inria-00539538
v1
|
|
Algebraic Adversaries in the Universal Composability Framework[Research Report] IACR Cryptology ePrint Archive. 2021
Rapport
(rapport de recherche)
hal-03442093
v1
|
|
Security Analysis of CPace[Research Report] Report 2021/114, IACR Cryptology ePrint Archive. 2021
Rapport
(rapport de recherche)
hal-03442101
v1
|
|
Practical Dynamic Group Signatures Without Knowledge Extractors[Research Report] Report 2021/351, IACR Cryptology ePrint Archive. 2021
Rapport
(rapport de recherche)
hal-03442108
v1
|
|
Inner-Product Functional Encryption with Fine-Grained Access Control[Research Report] Report 2020/577, IACR Cryptology ePrint Archive. 2020
Rapport
(rapport de recherche)
hal-03003721
v1
|
|
Security Analysis of Olvid's SAS-based Trust Establishment Protocol[Research Report] Report 2020/808, IACR Cryptology ePrint Archive. 2020
Rapport
(rapport de recherche)
hal-03003687
v1
|
Decentralizing Inner-Product Functional Encryption[Research Report] Report 2019/020, IACR Cryptology ePrint Archive. 2019
Rapport
(rapport de recherche)
hal-02317011
v1
|
|
|
Perfect Forward Security of SPAKE2[Research Report] Report 2019/1194, IACR Cryptology ePrint Archive. 2019
Rapport
(rapport de recherche)
hal-02317002
v1
|
From Single-Input to Multi-Client Inner-Product Functional Encryption[Research Report] Report 2019/487, IACR Cryptology ePrint Archive. 2019
Rapport
(rapport de recherche)
hal-02135963
v1
|
|
On the Tightness of Forward-Secure Signature Reductions[Research Report] Report 2017/746, IACR Cryptology ePrint Archive. 2017
Rapport
(rapport de recherche)
hal-01667150
v1
|
|
Algebraic XOR-RKA-Secure Pseudorandom Functions from Post-Zeroizing Multilinear Maps[Technical Report] Report 2017/500, IACR Cryptology ePrint Archive. 2017
Rapport
(rapport technique)
hal-01667132
v1
|
|
Multi-Input Functional Encryption for Inner Products: Function-Hiding Realizations and Constructions without Pairings[Research Report] Report 2017/972, IACR Cryptology ePrint Archive. 2017
Rapport
(rapport de recherche)
hal-01667169
v1
|
|
Better Security for Functional Encryption for Inner Product Evaluations[Technical Report] Cryptology ePrint Archive: Report 2016/011, IACR. 2016
Rapport
(rapport technique)
hal-01380726
v1
|
|
Multi-Input Inner-Product Functional Encryption from Pairings[Technical Report] Cryptology ePrint Archive: Report 2016/425, IACR. 2016
Rapport
(rapport technique)
hal-01380735
v1
|
|
Robust Password-Protected Secret Sharing[Technical Report] Cryptology ePrint Archive: Report 2016/123, IACR. 2016
Rapport
(rapport technique)
hal-01380730
v1
|
|
Multilinear and Aggregate Pseudorandom Functions: New Constructions and Improved Security[Technical Report] Cryptology ePrint Archive: Report 2015/867, IACR. 2015
Rapport
(rapport technique)
hal-01233749
v1
|
|
An Algebraic Framework for Pseudorandom Functions and Applications to Related-Key Security[Technical Report] Cryptology ePrint Archive: Report 2015/554, IACR. 2015
Rapport
(rapport technique)
hal-01175788
v1
|
|
Simple Functional Encryption Schemes for Inner Products[Technical Report] Cryptology ePrint Archive: Report 2015/017, IACR. 2015
Rapport
(rapport technique)
hal-01108287
v1
|
|
Leakage-Resilient Symmetric Encryption via Re-keying[Technical Report] Cryptology ePrint Archive: Report 2015/204, IACR. 2015
Rapport
(rapport technique)
hal-01132195
v1
|
|
Tighter Reductions for Forward-Secure Signature Schemes[Technical Report] Cryptology ePrint Archive: Report 2015/196, IACR. 2015
Rapport
(rapport technique)
hal-01132190
v1
|
|
Related-Key Security for Pseudorandom Functions Beyond the Linear Barrier[Technical Report] Cryptology ePrint Archive: Report 2014/488, IACR. 2014
Rapport
(rapport technique)
hal-01068465
v1
|
|
Public-Key Encryption Indistinguishable Under Plaintext-Checkable Attacks[Technical Report] Cryptology ePrint Archive: Report 2014/609, IACR. 2014
Rapport
(rapport technique)
hal-01068416
v1
|
|
Removing Erasures with Explainable Hash Proof Systems[Technical Report] Cryptology ePrint Archive: Report 2014/125, IACR. 2014
Rapport
(rapport technique)
hal-01068442
v1
|
|
Disjunctions for Hash Proof Systems: New Constructions and Applications[Technical Report] Cryptology ePrint Archive: Report 2014/483, IACR. 2014
Rapport
(rapport technique)
hal-01068420
v1
|
|
Reducing The Need For Trusted Parties In CryptographyCryptography and Security [cs.CR]. Ecole Normale Supérieure de Paris - ENS Paris, 2011
HDR
tel-00917187
v1
|
Chargement...
Chargement...