Publications

This a two-group, chronological list of my published/accepted papers.

Conferences

  • Automated Identification of Desynchronisation Attacks on Shared Secrets, with S. Mauw, Z. Smith, and R. Trujillo-Rasua. In 23rd European Symposium on Research in Computer Security, ESORICS’18, Barcelona, Spain, Sept. 3–7, 2018. pp. 406–426.
    [ Springer via DOI | dblp ]

  • Distance-Bounding Protocols: Verification without Time and Location, with S. Mauw, Z. Smith, and R. Trujillo-Rasua. In 39th IEEE Symposium on Security and Privacy, S&P’18, San Francisco, California, May 21–23, 2018, USA. pp. 549–566.
    [ PDF(preprint) | IEEE Xplore via DOI | dblp ]

  • Optimality Results on the Security of Lookup-Based Protocols, with S. Mauw, and R. Trujillo-Rasua. In Radio Frequency Identification and IoT Security, RFIDSec’16, Hong Kong, China, Nov. 30 - Dec. 2, 2016. pp. 137–150.
    [ PDF(preprint) | Springer via DOI | dblp ]

  • A Class of Precomputation-Based Distance-Bounding Protocols, with S. Mauw, and R. Trujillo-Rasua. In 1st IEEE European Symposium on Security and Privacy, EuroS&P’16, Saarbrüecken, Germany, March 21-24, 2016. pp. 97–111.
    [ PDF(preprint) | IEEE Xplore via DOI | dblp ]

Journals

  • Multiobjective variable mesh optimization, with Y. Salgueiro, R. Bello and R. Falcon. In Annals of Operations Research, 258(2), pp. 869–893, 2017.
    [ PDF(preprint) | Springer via DOI | dblp ]

  • Noise Detection and Learning Based on Current Information, with D. Pascual González, and F. D. Vázquez Mesa. In Computación y Sistemas, 18(1), 2014.
    [ Comp. y Sist. | dblp ]