Research Papers

• Journal Publications

1. Michel Abdalla, Jee Hea An, Mihir Bellare, and Chanathip Namprempre,
   ``From Identification to Signatures via the Fiat-Shamir Transform: Minimizing Assumptions for Security and Forward-Security,''
   IEEE Transactions on Information Theory, to appear.

2. Michel Abdalla, Mihir Bellare, Dario Catalano, Eike Kiltz, Tadayoshi Kohno, Tanja Lange, John Malone-Lee, Gregory Neven, Pascal Paillier and Haixia Shi,
   ``Searchable Encryption Revisited: Consistency Properties, Relation to Anonymous IBE, and Extensions,''
   Journal of Cryptology, © IACR, to appear.

3. Thomas Claveirole, Marcelo Dias de Amorim, Michel Abdalla, and Yannis Viniotis,
   ``Securing Wireless Sensor Networks Against Aggregator Compromises,''
   IEEE Communications Magazine, to appear.

4. Chanathip Namprempre, Gregory Neven, and Michel Abdalla
   ``On the (Im)possibility of Blind Message Authentication Codes,''
   IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Volume E90-A, No. 1, pp. 75--82.
   

5. Michel Abdalla, Emmanuel Bresson, Olivier Chevassut, Bodo Möller, and David Pointcheval,
   ``Strong Password-Based Authentication in TLS using the Three-Party Group Diffie-Hellman Protocol,''
   International Journal of Security and Networks (IJSN), Volume 1, Nos. 1/2/3, 2007.

6. Michel Abdalla, Pierre-Alain Fouque, and David Pointcheval,
   ``Password-Based Authenticated Key Exchange in the Three-Party Setting,''
   IEE Proceedings, Volume 153, Issue 1, pp. 27--39, March 2006.

7. Michel Abdalla, Yuval Shavitt, and Avishai Wool,
   ``Key management for restricted multicast using broadcast encryption,''
   IEEE/ACM Transactions on Networking, 8(4), pp. 443--454, August 2000.

• Conference Publications

1. Michel Abdalla, Dario Catalano, Céline Chevalier, and David Pointcheval,
   ``Efficient Two-Party Password-Based Key Exchange Protocols in the UC Framework,''
   Topics in Cryptology - CT-RSA 2008,
   LNCS ????, pp. ???--???, © Springer, Tal Malkin (Ed.), April 2008.

2. Michel Abdalla, Eike Kiltz, and Gregory Neven,
   ``Generalized Key Delegation for Hierarchical Identity-Based Encryption,''
   12th European Symposium On Research In Computer Security - ESORICS 2007,
   LNCS 4734, pp. 139--154, © Springer, Joachim Biskup and Javier Lopez (Eds.), September 2007.

3. Michel Abdalla, Alex Dent, John Malone-Lee, Gregory Neven, Duong Hieu Phan, and Nigel Smart,
   ``Identity-based Traitor Tracing,''
   Public Key Cryptography - PKC 2007,
   LNCS 4450, pp. 361--376, © IACR, Tatsuaki Okamoto and Xiaoyun Wang (Eds.), April 2007.

4. Michel Abdalla, Jens-Matthias Bohli, María Isabel González Vasco, and Rainer Steinwandt,
   ``(Password) Authenticated Key Establishment: From 2-Party To Group,''
   Theory of Cryptography Conference -- TCC 2007,
   LNCS 4392, pp. 499--514, © IACR, Salil P. Vadhan (Ed.), February 2007.

5. Michel Abdalla and David Pointcheval,
   ``A Scalable Password-based Group Key Exchange Protocol in the Standard Model,''
   Advances in Cryptology -- ASIACRYPT 2006,
   LNCS 4284, pp. 332--347, © IACR, Xuejia Lai and Kefei Chen (Eds.), December 2006.

6. Michel Abdalla, Dario Catalano, Alex Dent, John Malone-Lee, Gregory Neven, and Nigel Smart
   ``Identity-Based Encryption Gone Wild,''
   Automata, Languages and Programming, 33rd International Colloquium -- ICALP 2006,
   LNCS 4052, pp. 300--311, © Springer-Verlag, Bart Preneel (Ed.), July 2006.

7. Michel Abdalla, Emmanuel Bresson, Olivier Chevassut, and David Pointcheval,
   ``Password-based Group Key Exchange in a Constant Number of Rounds,''
   Public Key Cryptography - PKC 2006,
   LNCS 3958, pp. 427--442, © IACR, Moti Yung, Yevgeniy Dodis, Aggelos Kiayias, and Tal Malkin (Eds.), April 2006.

8. Michel Abdalla, Emmanuel Bresson, Olivier Chevassut, Bodo Möller, and David Pointcheval,
   ``Provably Secure Password-Based Authentication in TLS,''
   1st ACM Symposium on InformAtion, Computer and Communications Security -- ASIACCS 2006,
   © ACM Press, March 2006.

9. Michel Abdalla, Chanathip Namprempre, and Gregory Neven,
   ``On the (Im)possibility of Blind Message Authentication Codes,''
   Topics in Cryptology - CT-RSA 06,
   LNCS 3860, pp. 262--279, © Springer-Verlag, David Pointcheval (Ed.), 2006.

10. Michel Abdalla, Olivier Chevassut, Pierre-Alain Fouque, and David Pointcheval,
    ``A Simple Threshold Authenticated Key Exchange from Short Secrets,''
    Advances in Cryptology -- ASIACRYPT 2005,
    LNCS 3788, pp. 566--584, © IACR, Bimal Roy (Ed.), December 2005.

11. Michel Abdalla, Mihir Bellare, Dario Catalano, Eike Kiltz, Tadayoshi Kohno, Tanja Lange, John Malone-Lee, Gregory Neven, Pascal Paillier and Haixia Shi,
    ``Searchable Encryption Revisited: Consistency Properties, Relation to Anonymous IBE, and Extensions,''
    Advances in Cryptology -- CRYPTO 2005,
    LNCS 3621, pp. 205--222, © IACR, Victor Shoup (Ed.), August 2005.

12. Michel Abdalla and David Pointcheval,
    ``Simple Password-Based Encrypted Key Exchange Protocols,''
    Topics in Cryptology - CT-RSA 05,
    LNCS 3376, pp. 191--208, © Springer-Verlag, Alfred J. Menezes (Ed.), 2005.

13. Michel Abdalla, Pierre-Alain Fouque, and David Pointcheval,
    ``Password-Based Authenticated Key Exchange in the Three-Party Setting,''
    Public Key Cryptography - PKC 2005,
    LNCS 3386, pp. 65--84, © IACR, Serge Vaudenay (Ed.), January 2005.

14. Michel Abdalla, Olivier Chevassut, and David Pointcheval,
    ``One-time Verifier-based Encrypted Key Exchange,''
    Public Key Cryptography - PKC 2005,
    LNCS 3386, pp. 47--64, © IACR, Serge Vaudenay (Ed.), January 2005.

15. Michel Abdalla and David Pointcheval,
    ``Interactive Diffie-Hellman Assumptions with Applications to Password-Based Authentication,''
    Financial Cryptography and Data Security - FC 2005,
    LNCS 3570, pp. 341--356, © Springer-Verlag, Andrew Patrick and Moti Yung (Eds.), February/March 2005.

16. Michel Abdalla and Bogdan Warinschi,
    ``On the Minimal Assumptions of Group Signature Scheme,''
    International Conference on Information and Communications Security -- ICICS 2004,
    LNCS 3269, pp. 1--13, © Springer-Verlag, Javier Lopez, Sihan Qing, and Eiji Okamoto (Eds.), 2004.

17. Michel Abdalla, Jee Hea An, Mihir Bellare, and Chanathip Namprempre,
    ``From Identification to Signatures via the Fiat-Shamir Transform: Minimizing Assumptions for Security and Forward-Security,''
    Advances in Cryptology -- EUROCRYPT 2002,
    LNCS 2332, © Springer-Verlag, Lars R. Knudsen (Ed.), 2002.

18. Michel Abdalla, Mihir Bellare, and Phillip Rogaway,
    ``DHIES: An encryption scheme based on the Diffie-Hellman Problem.''
    Extended abstract, entitled ``The Oracle Diffie-Hellman Assumptions and an Analysis of DHIES'', was in Topics in Cryptology - CT-RSA 2001, LNCS 2020, pp. 143--158, © Springer-Verlag, David Naccache (Ed.), 2001.
    Earlier version was submitted to P1363.

19. Michel Abdalla, Sara Miner, and Chanathip Namprempre,
    ``Forward Security in Threshold Signature Schemes,''
    Topics in Cryptology - CT-RSA 2001,
    LNCS 2020, pp. 441--456, © Springer-Verlag, David Naccache (Ed.), 2001.

20. Michel Abdalla and Mihir Bellare,
    ``Increasing the lifetime of a key: a comparative analysis of the security of re-keying techniques,''
    Advances in Cryptology -- ASIACRYPT 2000,
    LNCS 1976, pp. 546--559, Tatsuaki Okamoto (Ed.), © Springer-Verlag, 2000.

21. Michel Abdalla and Leonid Reyzin,
    ``A new forward-secure digital signature scheme,''
    Advances in Cryptology -- ASIACRYPT 2000,
    LNCS 1976, pp. 116--129, Tatsuaki Okamoto (Ed.), © Springer-Verlag, 2000.

22. Michel Abdalla, Yuval Shavitt, and Avishai Wool,
    ``Towards Making Broadcast Encryption Practical,''
    Financial Cryptography'99, Anguilla, BWI, February 1999,
    LNCS 1648, pp. 140-157, Matthew K. Franklin (Ed.), © Springer-Verlag, 1999.
    Earlier version of the above.

23. Michel Abdalla and Otto Duarte,
    ``Analysis of CAC Mechanisms for ATM Networks,''
    in Proc. of the 15th Brazilian Telecommunications Symposium,
    Recife, PE, September 1997, Portuguese.

24. Michel Abdalla, Walfredo Cirne, Leslie Franklin, and Abdallah Tabbara,
    ``Security Issues in Agent Based Computing,''
    in Proc. of the 15th Brazilian Symposium on Computer Networks,
    Campinas, SP, May 1997.

• Theses

1. Ph.D. thesis,
   ``Design and Analysis of Secure Encryption Schemes,''
   Universidade of California at San Diego, September 2001.
   Advisor: Mihir Bellare.
2. M.Sc. Thesis,
   ``Analysis of Connection Admission Control Mechanisms for ATM Networks''
   COPPE/PEE/UFRJ, September 1996 (in Portuguese).
   Advisor: Otto C. M. B. Duarte.

• Technical Reports

• Michel Abdalla and Otto Duarte,
  ``Characterization and Modeling of Agregate Traffic in ATM Networks,''
  Technical Report GTA-94-17, September 1994, A4 size, 22 p., Portuguese.

• Manuscripts

1. Michel Abdalla and Mihir Bellare,
   ``Rekeyed Digital Signature Schemes: Damage-containment in the face of key exposure,''
   Manuscript, July 2001.

2. Michel Abdalla and Matthew Franklin,
   ``Secure Group Communication over Partially Connected Networks,''
   Manuscript, October 2000.

3. Michel Abdalla, Walfredo Cirne, Leslie Franklin, Anthony Sterrett, and Keith Marzullo,
   ``Chimichanga: A Fault-tolerant Asynchronous Communication Infrastructure for Mobile Agents,''
   Manuscript, March 1998.