Publications

This a two-group, chronological list of my published/accepted papers. The provided PDFs are author preprint versions. A list of already-published papers can be found on dblp.

Conference proceedings

  1. Post-Collusion Security and Distance Bounding, with S. Mauw, Z. Smith, and R. Trujillo-Rasua. In 26th ACM Conference on Computer and Communications Security, CCS’19, London, UK, November 11-15, 2019. (to appear)
  2. 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. ( Link via DOI | Bib file on dblp)
  3. 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. ( | Link via DOI | Bib file on dblp)
  4. 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. ( | Link via DOI | Bib file on dblp)
  5. 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. ( | Link via DOI | Bib file on dblp)

Journals

  1. Multiobjective variable mesh optimization, with Y. Salgueiro, R. Bello and R. Falcon. In Annals of Operations Research, 258(2), pp. 869–893, 2017. ( | Link via DOI | Bib file on dblp)
  2. 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. ( In Spanish | Bib file on dblp)