• 2017, “Attribute-Based Encryption in the Generic Group Model: Automated Proofs and New Constructions”.
    Miguel Ambrona, Gilles Barthe, Romain Gay and Hoeteck Wee. ACM CCS 2017. (eprint, Tool)

  • 2017, “Generic Transformations of Predicate Encodings: Constructions and Applications”.
    Miguel Ambrona, Gilles Barthe, Benedikt Schmidt. Crypto 2017. (eprint, Source code)

  • 2016, “Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model”.
    Miguel Ambrona, Gilles Barthe, Benedikt Schmidt. EuroCrypt 2016. (eprint, Tool)

  • 2014, “El Problema de Rutas Ecológico con Múltiples Tecnologías y Recargas Parciales”.
    Miguel Ambrona Castellanos. Master’s final project. (eprint)

  • 2013, “Secure color. Advanced color techniques for analysis and security”.
    Luis Borruel, Miguel Ambrona. Fábrica Nacional de Moneda y Timbre. (PDF)