Reynaldo Gil Pons

According to our database, Reynaldo Gil Pons authored at least 13 papers between 2018 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Security Protocols and Threat Models - Security and Privacy via The Applied π-Calculus

Reynaldo Gil Pons, Ross Horne, Sjouke Mauw, Felix Stutz, Semen Yurkov

Information Security and Cryptography, Springer, ISBN: 978-3-032-08248-0, 2026

Automated Symbolic Verification of Quantum Cryptographic Protocols.

Rolando Trujillo-Rasua, Jesse Laeuchli, Reynaldo Gil Pons

Proceedings of the Juggling Formal Methods and Security, 2026

2025

Towards formal verification and corrupted setup security for the SwissPost voting system.

Sevdenur Baloglu, Sergiu Bursuc, Reynaldo Gil Pons, Sjouke Mauw

IACR Cryptol. ePrint Arch., 2025

Empirical Evaluation of Memory-Erasure Protocols.

Reynaldo Gil Pons, Sjouke Mauw, Rolando Trujillo-Rasua

Proceedings of the 22nd International Conference on Security and Cryptography, 2025

2024

Finding (<i>s</i>,<i>d</i>)-hypernetworks in F-hypergraphs is NP-hard.

Reynaldo Gil Pons, Max Ward, Loïc Miller

Inf. Process. Lett., February, 2024

Software-Based Memory Erasure with relaxed isolation requirements: Extended Version.

Sergiu Bursuc, Reynaldo Gil Pons, Sjouke Mauw, Rolando Trujillo-Rasua

CoRR, 2024

Software-Based Memory Erasure with Relaxed Isolation Requirements.

Sergiu Bursuc, Reynaldo Gil Pons, Sjouke Mauw, Rolando Trujillo-Rasua

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2023

On the optimal resistance against mafia and distance fraud in distance-bounding protocols.

Reynaldo Gil Pons, Sjouke Mauw, Rolando Trujillo-Rasua

Comput. Commun., October, 2023

2022

Finding (s, d)-Hypernetworks in F-Hypergraphs is NP-Hard.

Reynaldo Gil Pons, Max Ward, Loïc Miller

CoRR, 2022

Is Eve nearby? Analysing protocols under the distant-attacker assumption.

Reynaldo Gil Pons, Ross Horne, Sjouke Mauw, Alwen Tiu, Rolando Trujillo-Rasua

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

2019

Distance-based vertex identification in graphs: The outer multiset dimension.

Reynaldo Gil Pons, Yunior Ramírez-Cruz, Rolando Trujillo-Rasua, Ismael González Yero

Appl. Math. Comput., 2019

2018

Hate Speech Detection Using Attention-based LSTM.

Gretel Liz De la Peña Sarracén, Reynaldo Gil Pons, Carlos Enrique Muñiz-Cuza, Paolo Rosso

Proceedings of the Sixth Evaluation Campaign of Natural Language Processing and Speech Tools for Italian. Final Workshop (EVALITA 2018) co-located with the Fifth Italian Conference on Computational Linguistics (CLiC-it 2018), 2018

Space Efficient Incremental Betweenness Algorithm for Directed Graphs.

Reynaldo Gil Pons

Proceedings of the Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications, 2018