photo

Fabrice Benhamouda

fr - en
45 rue d'Ulm
fabrice.ben.hamouda (at) ens.fr
75005 Paris
France

I am doing a PhD thesis on the lossiness in Cryptography, in the Cryptography Team, at the ENS, under the supervision of David Pointcheval and Michel Abdalla.

Publications

  • Conference papers

    • Randomness Complexity of Private Circuits for Multiplication.
      Sonia Belaïd, Fabrice Benhamouda, Alain Passelègue, Emmanuel Prouff, Adrian Thillard, and Damien Vergnaud.
      In Eurocrypt'2016. [BibTeX] [DOI] [URL]
      BibTeX:
      @inproceedings{EC:BBPPTV16,
        author = {Sonia Belaïd and Fabrice Benhamouda and Alain Passelègue and Emmanuel Prouff and Adrian Thillard and Damien Vergnaud},
        title = {Randomness Complexity of Private Circuits for Multiplication},
        booktitle = {Eurocrypt},
        publisher = {Springer},
        year = {2016},
        url = {https://eprint.iacr.org/2016/211},
        doi = {http://doi.org/10.1007/978-3-662-49896-5_22}
      }
      
    • Easing Coppersmith Methods Using Analytic Combinatorics: Applications to Public-Key Cryptography with Weak Pseudorandomness.
      Fabrice Benhamouda, Céline Chevalier, Adrian Thillard, and Damien Vergnaud.
      In PKC'2016. [BibTeX] [DOI] [URL]
      BibTeX:
      @inproceedings{PKC:BCTV16,
        author = {Fabrice Benhamouda and Céline Chevalier and Adrian Thillard and Damien Vergnaud},
        title = {Easing Coppersmith Methods Using Analytic Combinatorics: Applications to Public-Key Cryptography with Weak Pseudorandomness},
        booktitle = {PKC},
        publisher = {Springer},
        year = {2016},
        volume = {9615},
        pages = {36--66},
        url = {https://eprint.iacr.org/2016/007},
        doi = {http://doi.org/10.1007/978-3-662-49387-8_3}
      }
      
    • Multilinear and Aggregate Pseudorandom Functions: New Constructions and Improved Security.
      Michel Abdalla, Fabrice Benhamouda, and Alain Passelègue.
      In Asiacrypt'2015. [BibTeX] [DOI] [URL]
      BibTeX:
      @inproceedings{AC:AbdBenPas15,
        author = {Michel Abdalla and Fabrice Benhamouda and Alain Passelègue},
        title = {Multilinear and Aggregate Pseudorandom Functions: New Constructions and Improved Security},
        booktitle = {Asiacrypt},
        publisher = {Springer},
        year = {2015},
        url = {http://eprint.iacr.org/2015/867},
        doi = {http://doi.org/10.1007/978-3-662-48797-6_5}
      }
      
    • Implicit Zero-Knowledge Arguments and Applications to the Malicious Setting.
      Fabrice Benhamouda, Geoffroy Couteau, David Pointcheval, and Hoeteck Wee.
      In Crypto'2015. [BibTeX] [DOI] [URL]
      BibTeX:
      @inproceedings{C:BCPW15,
        author = {Fabrice Benhamouda and Geoffroy Couteau and David Pointcheval and Hoeteck Wee},
        title = {Implicit Zero-Knowledge Arguments and Applications to the Malicious Setting},
        booktitle = {Crypto},
        publisher = {Springer},
        year = {2015},
        volume = {9216},
        pages = {107--129},
        url = {http://eprint.iacr.org/2015/246},
        doi = {http://doi.org/10.1007/978-3-662-48000-7_6}
      }
      
    • An Algebraic Framework for Pseudorandom Functions and Applications to Related-Key Security.
      Michel Abdalla, Fabrice Benhamouda, and Alain Passelègue.
      In Crypto'2015. [BibTeX] [DOI] [URL]
      BibTeX:
      @inproceedings{C:AbdBenPas15,
        author = {Michel Abdalla and Fabrice Benhamouda and Alain Passelègue},
        title = {An Algebraic Framework for Pseudorandom Functions and Applications to Related-Key Security},
        booktitle = {Crypto},
        publisher = {Springer},
        year = {2015},
        volume = {9215},
        pages = {388--409},
        url = {http://eprint.iacr.org/2015/554},
        doi = {http://doi.org/10.1007/978-3-662-47989-6_19}
      }
      
    • Security of the J-PAKE Password-Authenticated Key Exchange Protocol.
      Michel Abdalla, Fabrice Benhamouda, and Philip MacKenzie.
      In SP'2015. [BibTeX] [DOI] [PDF]
      BibTeX:
      @inproceedings{SP:AbdBenMac15,
        author = {Michel Abdalla and Fabrice Benhamouda and Philip MacKenzie},
        title = {Security of the J-PAKE Password-Authenticated Key Exchange Protocol},
        booktitle = {SP},
        publisher = {IEEE},
        year = {2015},
        pages = {571--587},
        doi = {http://doi.org/10.1109/SP.2015.41}
      }
      
    • Disjunctions for Hash Proof Systems: New Constructions and Applications.
      Michel Abdalla, Fabrice Benhamouda, and David Pointcheval.
      In Eurocrypt'2015. [BibTeX] [DOI] [URL]
      BibTeX:
      @inproceedings{EC:AbdBenPoi15,
        author = {Michel Abdalla and Fabrice Benhamouda and David Pointcheval},
        title = {Disjunctions for Hash Proof Systems: New Constructions and Applications},
        booktitle = {Eurocrypt},
        publisher = {Springer},
        year = {2015},
        volume = {9057},
        pages = {69--100},
        url = {https://eprint.iacr.org/2014/483},
        doi = {http://doi.org/10.1007/978-3-662-46803-6_3}
      }
      
    • Public-Key Encryption Indistinguishable Under Plaintext-Checkable Attacks.
      Michel Abdalla, Fabrice Benhamouda, and David Pointcheval.
      In PKC'2015. [BibTeX] [DOI] [URL]
      BibTeX:
      @inproceedings{PKC:AbdBenPoi15,
        author = {Michel Abdalla and Fabrice Benhamouda and David Pointcheval},
        title = {Public-Key Encryption Indistinguishable Under Plaintext-Checkable Attacks},
        booktitle = {PKC},
        publisher = {Springer},
        year = {2015},
        volume = {9020},
        url = {https://eprint.iacr.org/2014/609},
        doi = {http://doi.org/10.1007/978-3-662-46447-2_15}
      }
      
    • Better Zero-Knowledge Proofs for Lattice Encryption and Their Application to Group Signatures.
      Fabrice Benhamouda, Jan Camenisch, Stephan Krenn, Vadim Lyubashevsky, and Gregory Neven.
      In Asiacrypt'2014. [BibTeX] [DOI]
      BibTeX:
      @inproceedings{AC:BCKLN14,
        author = {Fabrice Benhamouda and Jan Camenisch and Stephan Krenn and Vadim Lyubashevsky and Gregory Neven},
        title = {Better Zero-Knowledge Proofs for Lattice Encryption and Their Application to Group Signatures},
        booktitle = {Asiacrypt},
        publisher = {Springer},
        year = {2014},
        volume = {8873},
        pages = {551--572},
        doi = {http://doi.org/10.1007/978-3-662-44371-2_5}
      }
      
    • Related-Key Security for Pseudorandom Functions Beyond the Linear Barrier.
      Michel Abdalla, Fabrice Benhamouda, Alain Passelègue, and Kenneth G. Paterson.
      In Crypto'2014. [BibTeX] [DOI] [URL]
      BibTeX:
      @inproceedings{C:ABPP14,
        author = {Michel Abdalla and Fabrice Benhamouda and Alain Passelègue and Kenneth G. Paterson},
        title = {Related-Key Security for Pseudorandom Functions Beyond the Linear Barrier},
        booktitle = {Crypto},
        publisher = {Springer},
        year = {2014},
        volume = {8616},
        pages = {77--94},
        url = {https://eprint.iacr.org/2014/488},
        doi = {http://doi.org/10.1007/978-3-662-44371-2_5}
      }
      
    • SPHF-Friendly Non-Interactive Commitments.
      Michel Abdalla, Fabrice Benhamouda, Olivier Blazy, Céline Chevalier, and David Pointcheval.
      In Asiacrypt'2013. [BibTeX] [DOI] [URL]
      BibTeX:
      @inproceedings{AC:ABBCP13,
        author = {Michel Abdalla and Fabrice Benhamouda and Olivier Blazy and Céline Chevalier and David Pointcheval},
        title = {SPHF-Friendly Non-Interactive Commitments},
        booktitle = {Asiacrypt},
        publisher = {Springer},
        year = {2013},
        volume = {8269},
        pages = {214--234},
        url = {https://eprint.iacr.org/2013/588},
        doi = {http://doi.org/10.1007/978-3-642-42033-7}
      }
      
    • New Techniques for SPHFs and Efficient One-Round PAKE Protocols.
      Fabrice Benhamouda, Olivier Blazy, Céline Chevalier, David Pointcheval, and Damien Vergnaud.
      In Crypto'2013. [BibTeX] [DOI] [URL] [PDF]
      BibTeX:
      @inproceedings{C:BBCPV13,
        author = {Fabrice Benhamouda and Olivier Blazy and Céline Chevalier and David Pointcheval and Damien Vergnaud},
        title = {New Techniques for SPHFs and Efficient One-Round PAKE Protocols},
        booktitle = {Crypto},
        publisher = {Springer},
        year = {2013},
        volume = {8042},
        pages = {449--475},
        note = {Full versions in IACR Eprint 2013/034 and 2013/341},
        url = {https://eprint.iacr.org/2015/188},
        doi = {http://doi.org/10.1007/978-3-642-40041-4}
      }
      
    • Tighter Reductions for Forward-Secure Signature Schemes.
      Michel Abdalla, Fabrice Ben Hamouda, and David Pointcheval.
      In PKC'2013. [BibTeX] [DOI] [URL] [PDF]
      BibTeX:
      @inproceedings{PKC:AbdBenPoi13,
        author = {Michel Abdalla and Ben Hamouda, Fabrice and David Pointcheval},
        title = {Tighter Reductions for Forward-Secure Signature Schemes},
        booktitle = {PKC},
        publisher = {Springer},
        year = {2013},
        volume = {7778},
        pages = {292--311},
        note = {Full version available from the web page of the authors},
        url = {https://eprint.iacr.org/2015/196},
        doi = {http://doi.org/10.1007/978-3-642-36362-7_19}
      }
      
    • Efficient UC-Secure Authenticated Key-Exchange for Algebraic Languages.
      Fabrice Ben Hamouda, Olivier Blazy, Céline Chevalier, David Pointcheval, and Damien Vergnaud.
      In PKC'2013. [BibTeX] [DOI] [URL] [PDF]
      BibTeX:
      @inproceedings{PKC:BBCPV13,
        author = {Ben Hamouda, Fabrice and Olivier Blazy and Céline Chevalier and David Pointcheval and Damien Vergnaud},
        title = {Efficient UC-Secure Authenticated Key-Exchange for Algebraic Languages},
        booktitle = {PKC},
        publisher = {Springer},
        year = {2013},
        volume = {7778},
        pages = {272--291},
        note = {Full version available from the web page of the authors or from https://eprint.iacr.org/2012/284},
        url = {https://eprint.iacr.org/2012/284},
        doi = {http://doi.org/10.1007/978-3-642-36362-7_18}
      }
      
  • Journal papers

    • Efficient Cryptosystems From $2^k$-th Power Residue Symbols.
      Fabrice Benhamouda, Javier Herranz, Marc Joye, and Benoît Libert.
      [BibTeX] [DOI] [URL]
      BibTeX:
      @article{JC:BHJL16,
        author = {Fabrice Benhamouda and Javier Herranz and Marc Joye and Benoît Libert},
        title = {Efficient Cryptosystems From $2^k$-th Power Residue Symbols},
        journal = {Journal of Cryptology},
        publisher = {Springer},
        year = {2016},
        url = {https://eprint.iacr.org/2013/435},
        doi = {http://doi.org/10.1007/s00145-016-9229-5}
      }
      
    • A New Framework for Privacy-Preserving Aggregation of Time-Series Data.
      Fabrice Benhamouda, Marc Joye, and Benoît Libert.
      [BibTeX] [DOI] [URL]
      BibTeX:
      @article{TISSEC:BenJoyLib16,
        author = {Fabrice Benhamouda and Marc Joye and Benoît Libert},
        title = {A New Framework for Privacy-Preserving Aggregation of Time-Series Data},
        journal = {ACM TISSEC},
        publisher = {ACM},
        year = {2016},
        volume = {18},
        number = {3},
        pages = {10:1--10:21},
        url = {https://hal.inria.fr/hal-01181321},
        doi = {http://doi.org/10.1145/2873069}
      }
      
    • Public-Key Encryption Indistinguishable Under Plaintext-Checkable Attacks.
      Michel Abdalla, Fabrice Benhamouda, and David Pointcheval.
      [BibTeX]
      BibTeX:
      @article{IETITS:AbdBenPoi,
        author = {Michel Abdalla and Fabrice Benhamouda and David Pointcheval},
        title = {Public-Key Encryption Indistinguishable Under Plaintext-Checkable Attacks},
        journal = {IET Information Security},
        year = {To appear},
        note = {To appear. Full version of~tePKC:AbdBenPoi15}
      }
      
  • Others

    • Removing Erasures with Explainable Hash Proof Systems.
      Michel Abdalla, Fabrice Benhamouda, and David Pointcheval.
      Cryptology ePrint Archive, Report 2014/125. [BibTeX] [URL]
      BibTeX:
      @misc{EPRINT:AbdBenPoi14a,
        author = {Michel Abdalla and Fabrice Benhamouda and David Pointcheval},
        title = {Removing Erasures with Explainable Hash Proof Systems},
        year = {2014},
        note = {https://eprint.iacr.org/},
        url = {https://eprint.iacr.org/2014/125}
      }
      
    • Verifier-Based Password-Authenticated Key Exchange: New Models and Constructions.
      Fabrice Benhamouda, and David Pointcheval.
      Cryptology ePrint Archive, Report 2013/833. [BibTeX] [URL]
      BibTeX:
      @misc{EPRINT:BenPoi13b,
        author = {Fabrice Benhamouda and David Pointcheval},
        title = {Verifier-Based Password-Authenticated Key Exchange: New Models and Constructions},
        year = {2013},
        note = {https://eprint.iacr.org/},
        url = {https://eprint.iacr.org/2013/833}
      }
      
    • Trapdoor Smooth Projective Hash Functions.
      Fabrice Benhamouda, and David Pointcheval.
      Cryptology ePrint Archive, Report 2013/341. [BibTeX] [URL]
      BibTeX:
      @misc{EPRINT:BenPoi13a,
        author = {Fabrice Benhamouda and David Pointcheval},
        title = {Trapdoor Smooth Projective Hash Functions},
        year = {2013},
        note = {https://eprint.iacr.org/},
        url = {https://eprint.iacr.org/2013/341}
      }
      
    • New Smooth Projective Hash Functions and One-Round Authenticated Key Exchange.
      Fabrice Benhamouda, Olivier Blazy, Céline Chevalier, David Pointcheval, and Damien Vergnaud.
      Cryptology ePrint Archive, Report 2013/034. [BibTeX] [URL]
      BibTeX:
      @misc{EPRINT:BBCPV13,
        author = {Benhamouda, Fabrice and Olivier Blazy and Céline Chevalier and David Pointcheval and Damien Vergnaud},
        title = {New Smooth Projective Hash Functions and One-Round Authenticated Key Exchange},
        year = {2013},
        note = {https://eprint.iacr.org/},
        url = {https://eprint.iacr.org/2013/034}
      }
      
    • Physical aggregated objects and dependability.
      Fabien Allard, Michel Banâtre, Fabrice Ben Hamouda, Paul Couderc, and Jean-François Verdonck.
      [Abstract] [BibTeX] [URL] [PDF]
      Abstract: This documents deals with dependability issues of aggregated objects and RFID-based systems. It analyses the different categories of issues raised by these objects and proposes some measures to face them. It also provides a state of the art of actual implementations of those solutions with multiple comparisons.
      BibTeX:
      @techreport{Tech:ABBCV11,
        author = {Fabien Allard and Michel Banâtre and Ben Hamouda, Fabrice and Paul Couderc and Jean-François Verdonck},
        title = {Physical aggregated objects and dependability},
        school = {INRIA},
        year = {2011},
        number = {RR-7512},
        pages = {33},
        url = {http://hal.inria.fr/inria-00556951/en/}
      }
      
^

Projects and Internships

  • CryptoBib

    BibTeX database containing papers related to Cryptography
    Maintained with Michel Abdalla. Created by Michel Abdalla.
  • Non-interactive secure multiparty computation and multilinear maps

    Fall 2015 - 3 months
    Visit to IBM's Thomas J. Watson Research, Cryptography Research Group
  • Privacy-preserving data aggregation

    Spring 2012 - 1 month
    Internship at Technicolor, Rennes
    Supervisors: Marc Joye and Benoît Libert
  • Exact security of forward-secure signature schemes

    Summer 2012 - 4.5 months
    Internship in the Crypto Team at the ENS
  • Exploration of efficiency and side-channel security of different implementations of RSA

    Summer 2011 - 5 months
    Internship in the Cryptography group of the University of Bristol
    Supervisors: Elisabeth Oswald and Dan Page
    The Residue Number System (RNS) is a non-classical way to implement multi-precision arithmetic for RSA. Hardware implementations of RSA using RNS have already been proposed, but software implementations seem to have had far less attention. We analyse the time and space efficiency of RNS implementations of RSA on microprocessors and compare it with classical implementations. In addition, we propose an instruction set extension (ISE) designed to accelerate RNS on RISC-style processors. We also investigate two countermeasures, against some side-channel attacks, for RNS implementations of RSA, and we partially extend them to classical implementations.
  • Nooda

    Autumn 2011 - course project (ENS)
    Communication plateform
    Project realised with Ludovic Patey. Original idea: Ludovic Patey.
  • Physical aggregated objects and dependability

    Summer 2011 - 3 months
    Internship in ACES team in INRIA Rennes
    report - slides (fr)
    Physical aggregated objects and dependability.
    Fabien Allard, Michel Banâtre, Fabrice Ben Hamouda, Paul Couderc, and Jean-François Verdonck.
    [Abstract] [BibTeX] [URL] [PDF]
    Abstract: This documents deals with dependability issues of aggregated objects and RFID-based systems. It analyses the different categories of issues raised by these objects and proposes some measures to face them. It also provides a state of the art of actual implementations of those solutions with multiple comparisons.
    BibTeX:
    @techreport{Tech:ABBCV11,
      author = {Fabien Allard and Michel Banâtre and Ben Hamouda, Fabrice and Paul Couderc and Jean-François Verdonck},
      title = {Physical aggregated objects and dependability},
      school = {INRIA},
      year = {2011},
      number = {RR-7512},
      pages = {33},
      url = {http://hal.inria.fr/inria-00556951/en/}
    }
    
  • Sqwarea

    Spring 2010 - course project (ENS)
    Online multiplayer game on Windows Azure
  • Small microprocessor

    Spring 2010 - course project (ENS)
    And netlists simulator
^

Misc

  • P = NP with real numbers ?

    Fall 2009 - course presentation (ENS)
    Blum–Shub–Smale machines
    report (fr) - slides (fr)
    Presentation of the article:
    Lower Bounds Are Not Easier over the Reals: Inside PH.
    H. Fournier, and P. Koiran.
    In Proceedings of the 27th International Colloquium on Automata, Languages and Programming'2000. [BibTeX] [URL]
    BibTeX:
    @inproceedings{fournier2000lower,
      author = {Fournier, H. and Koiran, P.},
      title = {Lower Bounds Are Not Easier over the Reals: Inside PH},
      booktitle = {Proceedings of the 27th International Colloquium on Automata, Languages and Programming},
      year = {2000},
      pages = {832--843},
      url = {http://perso.ens-lyon.fr/pascal.koiran/Publis/lip.99-21.ps}
    }
    
  • A not so simple everyday flow

    2005-2006
    French Olympiads in Physics
    website (fr) - report (fr) - slides (fr)
^