About me

I’m a postdoctoral researcher in Prof. David Basin’s Information Security Group, within the Department of Computer Science at ETH Zürich. I received a PhD in Computer Science from the University of Luxembourg in May 2019. Further information on my dissertation can be found here.

My research field is information security with focus on: formal, (semi-)automated verification of security protocols, distance bounding, public key infrastructure (PKI), EMV payment protocols. I’m currently TA for Information Systems for Engineers.


The following are two chronological lists of my published/accepted papers (can be found also on dblp):


  • Post-Collusion Security and Distance Bounding
    Sjouke Mauw, Zach Smith, Jorge Toro-Pozo, and Rolando Trujillo-Rasua. In 2019 ACM SIGSAC Conference on Computer and Communications Security, CCS’19, London, United Kingdom, November 11–15, 2019. pp. 941-958.
    ( pdf) ( doi) (bibtex) ( complement)

  • Automated Identification of Desynchronisation Attacks on Shared Secrets
    Sjouke Mauw, Zach Smith, Jorge Toro-Pozo, 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
    Sjouke Mauw, Zach Smith, Jorge Toro-Pozo, 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) ( complement)

  • Optimality Results on the Security of Lookup-Based Protocols
    Sjouke Mauw, Jorge Toro-Pozo, 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
    Sjouke Mauw, Jorge Toro-Pozo, 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)


  • Multiobjective variable mesh optimization
    Yamisleydi Salgueiro, Jorge L. Toro, 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
    Damaris Pascual-González, Fernando Daniel Vázquez Mesa, and Jorge Luis Toro Pozo. In Computación y Sistemas, 18(1), 2014.
    ( pdf (in Spanish)) (bibtex)


This is the chronologically-ordered list of my professional positions, with their respective remarks:

Postdoctoral Researcher

ETH Zürich, since 6/2019. I am/have been a Teaching Assistant (TA) of:

PhD Candidate

University of Luxembourg, from 6/2015 to 5/2019. Courses assisted, as part of the Master’s in Information and Computer Science program:

  • Security Protocols (Winter Semester 2016, 2017, 2018)
  • Information Security Basics (Summer Semester 2017)


Universidad de Las Tunas, from 9/2012 to 5/2015. Courses taught, as part of the Engineering in Informatics program:

  • Operating Systems (Fall Semester 2012, 2013)
  • Data Structures (Spring Semester 2013, 2014, 2015)

Software Engineer

University of Las Tunas’ SoftDev group, from 9/2012 to 5/2015. Languages and technologies employed: Java, Python, C/C++, SQL, MySQL, PostgreSQL, Eclipse, Unix/Linux scripting.


Dr. Jorge Luis Toro Pozo
Department of Computer Science, ETH Zürich
Office CNB F100.5
Universitätstrasse 6, 8092 Zürich, Switzerland
+41 44 632 53 76‬
ETH vCard