Reynaldo Gil Pons

14 papers A 2C 2Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2026 — conf
Automated Symbolic Verification of Quantum Cryptographic Protocols.
Juggling Formal Methods and Security
Rolando Trujillo-Rasua, Jesse Laeuchli, Reynaldo Gil Pons
2026 — book
Security Protocols and Threat Models - Security and Privacy via The Applied π-Calculus
Reynaldo Gil Pons, Ross Horne, Sjouke Mauw, Felix Stutz, Semen Yurkov
2025 C conf
Empirical Evaluation of Memory-Erasure Protocols.
SECRYPT
Reynaldo Gil Pons, Sjouke Mauw, Rolando Trujillo-Rasua
2025 J jnl
Empirical Evaluation of Memory-Erasure Protocols.
CoRR
Reynaldo Gil Pons, Sjouke Mauw, Rolando Trujillo-Rasua
2025 J jnl
Towards formal verification and corrupted setup security for the SwissPost voting system.
IACR Cryptol. ePrint Arch.
Sevdenur Baloglu, Sergiu Bursuc, Reynaldo Gil Pons, Sjouke Mauw
2024 J jnl
Finding (
Inf. Process. Lett.
Reynaldo Gil Pons, Max Ward, Loïc Miller
2024 A conf
Software-Based Memory Erasure with Relaxed Isolation Requirements.
CSF
Sergiu Bursuc, Reynaldo Gil Pons, Sjouke Mauw, Rolando Trujillo-Rasua
2024 J jnl
Software-Based Memory Erasure with relaxed isolation requirements: Extended Version.
CoRR
Sergiu Bursuc, Reynaldo Gil Pons, Sjouke Mauw, Rolando Trujillo-Rasua
2023 J jnl
On the optimal resistance against mafia and distance fraud in distance-bounding protocols.
Comput. Commun.
Reynaldo Gil Pons, Sjouke Mauw, Rolando Trujillo-Rasua
2022 J jnl
Finding (s, d)-Hypernetworks in F-Hypergraphs is NP-Hard.
CoRR
Reynaldo Gil Pons, Max Ward, Loïc Miller
2022 A conf
Is Eve nearby? Analysing protocols under the distant-attacker assumption.
CSF
Reynaldo Gil Pons, Ross Horne, Sjouke Mauw, Alwen Tiu, Rolando Trujillo-Rasua
2019 J jnl
Distance-based vertex identification in graphs: The outer multiset dimension.
Appl. Math. Comput.
Reynaldo Gil Pons, Yunior Ramírez-Cruz, Rolando Trujillo-Rasua, Ismael González Yero
2018 — conf
Hate Speech Detection Using Attention-based LSTM.
EVALITA@CLiC-it
Gretel Liz De la Peña Sarracén, Reynaldo Gil Pons, Carlos Enrique Muñiz-Cuza, Paolo Rosso
2018 C conf
Space Efficient Incremental Betweenness Algorithm for Directed Graphs.
CIARP
Reynaldo Gil Pons