Below are two chronological lists of my published/accepted papers.

conferences

  • Post-Collusion Security and Distance Bounding
    with Sjouke Mauw, Zach Smith, and Rolando Trujillo-Rasua. In 2019 ACM SIGSAC Conference on Computer and Communications Security, CCS’19, London, United Kingdom, November 11–15, 2019 (to appear).
    ( pdf) ( doi) ( complementary)

  • Automated Identification of Desynchronisation Attacks on Shared Secrets
    with Sjouke Mauw, Zach Smith, and Rolando Trujillo-Rasua. In 23rd European Symposium on Research in Computer Security, ESORICS’18, Barcelona, Spain, September 3–7, 2018. pp. 406–426.
    ( doi) (bibtex)

  • Distance-Bounding Protocols: Verification without Time and Location
    with Sjouke Mauw, Zach Smith, and Rolando Trujillo-Rasua. In 2018 IEEE Symposium on Security and Privacy, S&P’18, 21-23 May 2018, San Francisco, California, USA. pp. 549–566.
    ( pdf) ( doi) (bibtex) ( presentation) ( complementary)

  • Optimality Results on the Security of Lookup-Based Protocols
    with Sjouke Mauw, and Rolando Trujillo-Rasua. In Radio Frequency Identification and IoT Security, RFIDSec’16, Hong Kong, China, Nov. 30 - Dec. 2, 2016. pp. 137–150.
    ( pdf) ( doi) (bibtex)

  • A Class of Precomputation-Based Distance-Bounding Protocols
    with Sjouke Mauw, and Rolando Trujillo-Rasua. In 2016 IEEE European Symposium on Security and Privacy, EuroS&P’16, Saarbrüecken, Germany, March 21-24, 2016. pp. 97–111.
    ( pdf) ( doi) (bibtex)

journals

  • Multiobjective variable mesh optimization
    with Yamisleydi Salgueiro, Rafael Bello, and Rafael Falcon. In Annals of Operations Research, 258(2), 2017. pp. 869–893.
    ( pdf) ( doi) (bibtex)

  • Noise Detection and Learning Based on Current Information
    with Damaris Pascual-González, and Fernando Daniel Vázquez-Mesa. In Computación y Sistemas, 18(1), 2014.
    ( pdf (in Spanish)) (bibtex)