Automated Symbolic Verification of Quantum Cryptographic Protocols.
Rolando Trujillo{-}Rasua and
Jesse Laeuchli and
Reynaldo Gil Pons.
In Juggling Formal Methods and Security - Essays Dedicated to Sjouke
Mauw on the Occasion of His 65th Birthday,
2026.
[ Link ]
A Systematic Security Analysis for Path-based Traceability Systems
in RFID-Enabled Supply Chains.
Fokke Heikamp and
Lei Pan and
Robin Doss and
Rolando Trujillo{-}Rasua and
Sushmita Ruj.
CoRR,
2026. Volume abs/2601.09407
[ Link ]
2025:
Empirical Evaluation of Memory-Erasure Protocols.
Reynaldo Gil Pons and
Sjouke Mauw and
Rolando Trujillo{-}Rasua.
In Proceedings of the 22nd International Conference on Security and Cryptography,
{SECRYPT} 2025, Bilbao, Spain, June 11-13, 2025,
2025.
[ Link ]
Decentralizing Photo Forensics for Public and Verifiable Trust.
Mauro Clavijo{-}Herrera and
Rolando Trujillo{-}Rasua and
Carles Angles{-}Tafalla.
In 24th {IEEE} International Conference on Trust, Security and Privacy
in Computing and Communications, TrustCom 2025, Guiyang, China, November
14-17, 2025,
2025.
[ Link ]
Approaches to Quantum Remote Memory Attestation.
Jesse Laeuchli and
Rolando Trujillo{-}Rasua.
CoRR,
2025. Volume abs/2503.04311
[ Link ]
On the (k,{\(\mathscr{l}\)})-multiset anonymity measure for social
graphs.
Alejandro Estrada{-}Moreno and
Elena Fern{\'{a}}ndez and
Dorota Kuziak and
Manuel Mu{\~{n}}oz{-}M{\'{a}}rquez and
Rolando Trujillo{-}Rasua and
Ismael G. Yero.
CoRR,
2025. Volume abs/2507.08433
[ Link ]
Empirical Evaluation of Memory-Erasure Protocols.
Reynaldo Gil Pons and
Sjouke Mauw and
Rolando Trujillo{-}Rasua.
CoRR,
2025. Volume abs/2509.10224
[ Link ]
Approaches to Quantum Remote Memory Attestation.
Jesse Laeuchli and
Rolando Trujillo{-}Rasua.
{IET} Quantum Commun.,
2025. Volume 6
[ Link ]
From Panoptic to Secure and Privacy-Preserving Lateral Surveillance
in Vehicle Restricted Areas.
Carles Angles{-}Tafalla and
Alexandre Viejo and
Rolando Trujillo{-}Rasua and
Jordi Castell{\`{a}}{-}Roca.
{IEEE} Trans. Intell. Transp. Syst.,
2025. Volume 26, 15883--15902
[ Link ]
2024:
Software-Based Memory Erasure with Relaxed Isolation Requirements.
Sergiu Bursuc and
Reynaldo Gil Pons and
Sjouke Mauw and
Rolando Trujillo{-}Rasua.
In 37th {IEEE} Computer Security Foundations Symposium, {CSF} 2024, Enschede,
Netherlands, July 8-12, 2024,
2024.
[ Link ]
Software-Based Memory Erasure with relaxed isolation requirements:
Extended Version.
Sergiu Bursuc and
Reynaldo Gil Pons and
Sjouke Mauw and
Rolando Trujillo{-}Rasua.
CoRR,
2024. Volume abs/2401.06626
[ Link ]
Software-based remote memory attestation using quantum entanglement.
Jesse Laeuchli and
Rolando Trujillo{-}Rasua.
Quantum Inf. Process.,
2024. Volume 23, 208
[ Link ]
2023:
ForTrac: a Secure NFT-based Forward Traceability System for Providing
Data Accuracy and Completeness.
Fokke Heikamp and
Lei Pan and
Robin Doss and
Rolando Trujillo{-}Rasua and
Sushmita Ruj.
In Proceedings of the 5th {ACM} International Symposium on Blockchain
and Secure Critical Infrastructure, {BSCI} 2023, Melbourne, VIC, Australia,
July 10-14, 2023,
2023.
[ Link ]
On the optimal resistance against mafia and distance fraud in distance-bounding
protocols.
Reynaldo Gil Pons and
Sjouke Mauw and
Rolando Trujillo{-}Rasua.
Comput. Commun.,
2023. Volume 210, 69--78
[ Link ]
Automated generation of attack trees with optimal shape and labelling.
Olga Gadyatskaya and
Sjouke Mauw and
Rolando Trujillo{-}Rasua and
Tim A. C. Willemse.
CoRR,
2023. Volume abs/2311.13331
[ Link ]
2022:
Is Eve nearby? Analysing protocols under the distant-attacker assumption.
Reynaldo Gil Pons and
Ross Horne and
Sjouke Mauw and
Alwen Tiu and
Rolando Trujillo{-}Rasua.
In 35th {IEEE} Computer Security Foundations Symposium, {CSF} 2022, Haifa,
Israel, August 7-10, 2022,
2022.
[ Link ]
Forward Traceability for Product Authenticity Using Ethereum Smart
Contracts.
Fokke Heikamp and
Lei Pan and
Rolando Trujillo{-}Rasua and
Sushmita Ruj and
Robin Doss.
In Network and System Security - 16th International Conference, {NSS}
2022, Denarau Island, Fiji, December 9-12, 2022, Proceedings,
2022.
[ Link ]
Analysis of centrality measures under differential privacy models.
Jesse Laeuchli and
Yunior Ram{\'{\i}}rez{-}Cruz and
Rolando Trujillo{-}Rasua.
Appl. Math. Comput.,
2022. Volume 412, 126546
[ Link ]
Traceability in supply chains: {A} Cyber security analysis.
Naeem Firdous Syed and
Syed W. Shah and
Rolando Trujillo{-}Rasua and
Robin Doss.
Comput. Secur.,
2022. Volume 112, 102536
[ Link ]
{APT} attacks on industrial control systems: {A} tale of three incidents.
Rajesh Kumar and
Rohan Kela and
Siddhant Singh and
Rolando Trujillo{-}Rasua.
Int. J. Crit. Infrastructure Prot.,
2022. Volume 37, 100521
[ Link ]
Preventing active re-identification attacks on social graphs via sybil
subgraph obfuscation.
Sjouke Mauw and
Yunior Ram{\'{\i}}rez{-}Cruz and
Rolando Trujillo{-}Rasua.
Knowl. Inf. Syst.,
2022. Volume 64, 1077--1100
[ Link ]
2021:
Analysis of centrality measures under differential privacy models.
Jesse Laeuchli and
Yunior Ram{\'{\i}}rez{-}Cruz and
Rolando Trujillo{-}Rasua.
CoRR,
2021. Volume abs/2103.03556
[ Link ]
Secure memory erasure in the presence of man-in-the-middle attackers.
Rolando Trujillo{-}Rasua.
J. Inf. Secur. Appl.,
2021. Volume 57, 102730
[ Link ]
2020:
Applications of Distributed Ledger Technologies to the Internet of
Things: {A} Survey.
Qingyi Zhu and
Seng W. Loke and
Rolando Trujillo{-}Rasua and
Frank Jiang and
Yong Xiang.
{ACM} Comput. Surv.,
2020. Volume 52, 120:1--120:34
[ Link ]
Preventing active re-identification attacks on social graphs via sybil
subgraph obfuscation.
Sjouke Mauw and
Yunior Ram{\'{\i}}rez{-}Cruz and
Rolando Trujillo{-}Rasua.
CoRR,
2020. Volume abs/2007.05312
[ Link ]
Secure attribute-based search in RFID-based inventory control systems.
Robin Doss and
Rolando Trujillo{-}Rasua and
Selwyn Piramuthu.
Decis. Support Syst.,
2020. Volume 132, 113270
[ Link ]
2019:
Security of Distance-Bounding: {A} Survey.
Gildas Avoine and
Muhammed Ali Bing{\"{o}}l and
Ioana Boureanu and
Srdjan Capkun and
Gerhard P. Hancke and
S{\"{u}}leyman Kardas and
Chong Hee Kim and
C{\'{e}}dric Lauradoux and
Benjamin Martin and
Jorge Munilla and
Alberto Peinado and
Kasper Bonne Rasmussen and
Dave Singel{\'{e}}e and
Aslan Tchamkerten and
Rolando Trujillo{-}Rasua and
Serge Vaudenay.
{ACM} Comput. Surv.,
2019. Volume 51, 94:1--94:33
[ Link ]
Post-Collusion Security and Distance Bounding.
Sjouke Mauw and
Zach Smith and
Jorge Toro{-}Pozo and
Rolando Trujillo{-}Rasua.
In Proceedings of the 2019 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2019, London, UK, November 11-15, 2019,
2019.
[ Link ]
Hybrid Routing for Man-in-the-Middle {(MITM)} Attack Detection in
IoT Networks.
James Jin Kang and
Kiran Fahd and
Sitalakshmi Venkatraman and
Rolando Trujillo{-}Rasua and
Paul S. Haskell{-}Dowland.
In 29th International Telecommunication Networks and Applications Conference,
{ITNAC} 2019, Auckland, New Zealand, November 27-29, 2019,
2019.
[ Link ]
Secure Memory Erasure in the Presence of Man-in-the-Middle Attackers.
Rolando Trujillo{-}Rasua.
CoRR,
2019. Volume abs/1905.13474
[ Link ]
Chunked Lectures: {A} new model for conducting online lectures within
Information Technology higher education.
Nicholas Charles Patterson and
Rolando Trujillo{-}Rasua and
Michael Hobbs and
Guy Wood{-}Bradley and
Judy Currey and
Elicia Lanham.
CoRR,
2019. Volume abs/1909.03041
[ Link ]
Conditional adjacency anonymity in social graphs under active attacks.
Sjouke Mauw and
Yunior Ram{\'{\i}}rez{-}Cruz and
Rolando Trujillo{-}Rasua.
Knowl. Inf. Syst.,
2019. Volume 61, 485--511
[ Link ]
Distance-based vertex identification in graphs: The outer multiset
dimension.
Reynaldo Gil Pons and
Yunior Ram{\'{\i}}rez{-}Cruz and
Rolando Trujillo{-}Rasua and
Ismael Gonz{\'{a}}lez Yero.
Appl. Math. Comput.,
2019. Volume 363
[ Link ]
2018:
Attribute Evaluation on Attack Trees with Incomplete Information.
Ahto Buldas and
Olga Gadyatskaya and
Aleksandr Lenin and
Sjouke Mauw and
Rolando Trujillo{-}Rasua.
CoRR,
2018. Volume abs/1812.10754
[ Link ]
Graphical Models for Security - 4th International Workshop, GraMSec
2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers.
.
[ Link ]
Computer Security - 23rd European Symposium on Research in Computer
Security, {ESORICS} 2018, Barcelona, Spain, September 3-7, 2018, Proceedings,
Part {I}.
.
[ Link ]
Automated Identification of Desynchronisation Attacks on Shared Secrets.
Sjouke Mauw and
Zach Smith and
Jorge Toro{-}Pozo and
Rolando Trujillo{-}Rasua.
In Computer Security - 23rd European Symposium on Research in Computer
Security, {ESORICS} 2018, Barcelona, Spain, September 3-7, 2018, Proceedings,
Part {I},
2018.
[ Link ]
2018 {IEEE} Symposium on Security and Privacy, {SP} 2018, Proceedings,
21-23 May 2018, San Francisco, California, {USA}.
.
[ Link ]
Distance-Bounding Protocols: Verification without Time and Location.
Sjouke Mauw and
Zach Smith and
Jorge Toro{-}Pozo and
Rolando Trujillo{-}Rasua.
In 2018 {IEEE} Symposium on Security and Privacy, {SP} 2018, Proceedings,
21-23 May 2018, San Francisco, California, {USA},
2018.
[ Link ]
Robust active attacks on social graphs.
Sjouke Mauw and
Yunior Ram{\'{\i}}rez{-}Cruz and
Rolando Trujillo{-}Rasua.
CoRR,
2018. Volume abs/1811.10915
[ Link ]
Anonymising social graphs in the presence of active attackers.
Sjouke Mauw and
Yunior Ram{\'{\i}}rez{-}Cruz and
Rolando Trujillo{-}Rasua.
Trans. Data Priv.,
2018. Volume 11, 169--198
[ Link ]
2017:
New Directions in Attack Tree Research: Catching up with Industrial
Needs.
Olga Gadyatskaya and
Rolando Trujillo{-}Rasua.
In Graphical Models for Security - 4th International Workshop, GraMSec
2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers,
2017.
[ Link ]
Radio Frequency Identification and IoT Security - 12th International
Workshop, RFIDSec 2016, Hong Kong, China, November 30 - December 2,
2016, Revised Selected Papers.
.
[ Link ]
Security Protocols {XXIV} - 24th International Workshop, Brno, Czech
Republic, April 7-8, 2016, Revised Selected Papers.
.
[ Link ]
Security and Trust Management - 13th International Workshop, {STM}
2017, Oslo, Norway, September 14-15, 2017, Proceedings.
.
[ Link ]
Refinement-Aware Generation of Attack Trees.
Olga Gadyatskaya and
Ravi Jhawar and
Sjouke Mauw and
Rolando Trujillo{-}Rasua and
Tim A. C. Willemse.
In Security and Trust Management - 13th International Workshop, {STM}
2017, Oslo, Norway, September 14-15, 2017, Proceedings,
2017.
[ Link ]
Rethinking (k, {\unicode{120001}})-anonymity in social graphs: (k,
{\unicode{120001}})-adjacency anonymity and (k, {\unicode{120001}})-(adjacency)
anonymous transformations.
Sjouke Mauw and
Yunior Ram{\'{\i}}rez{-}Cruz and
Rolando Trujillo{-}Rasua.
CoRR,
2017. Volume abs/1704.07078
[ Link ]
Similarities and Differences Between the Vertex Cover Number and the
Weakly Connected Domination Number of a Graph.
Magdalena Lemanska and
Juan Alberto Rodr{\'{\i}}guez{-}Vel{\'{a}}zquez and
Rolando Trujillo{-}Rasua.
Fundam. Informaticae,
2017. Volume 152, 273--287
[ Link ]
2016:
Data and Applications Security and Privacy {XXX} - 30th Annual {IFIP}
{WG} 11.3 Conference, DBSec 2016, Trento, Italy, July 18-20, 2016.
Proceedings.
.
[ Link ]
Counteracting Active Attacks in Social Network Graphs.
Sjouke Mauw and
Rolando Trujillo{-}Rasua and
Bochuan Xuan.
In Data and Applications Security and Privacy {XXX} - 30th Annual {IFIP}
{WG} 11.3 Conference, DBSec 2016, Trento, Italy, July 18-20, 2016.
Proceedings,
2016.
[ Link ]
The Fr{\'{e}}chet/Manhattan Distance and the Trajectory Anonymisation
Problem.
Christof Ferreira Torres and
Rolando Trujillo{-}Rasua.
In Data and Applications Security and Privacy {XXX} - 30th Annual {IFIP}
{WG} 11.3 Conference, DBSec 2016, Trento, Italy, July 18-20, 2016.
Proceedings,
2016.
[ Link ]
{IEEE} European Symposium on Security and Privacy, EuroS{\&}P 2016,
Saarbr{\"{u}}cken, Germany, March 21-24, 2016.
.
[ Link ]
A Class of Precomputation-Based Distance-Bounding Protocols.
Sjouke Mauw and
Jorge Toro{-}Pozo and
Rolando Trujillo{-}Rasua.
In {IEEE} European Symposium on Security and Privacy, EuroS{\&}P 2016,
Saarbr{\"{u}}cken, Germany, March 21-24, 2016,
2016.
[ Link ]
The Practice of Enterprise Modeling - 9th {IFIP} {WG} 8.1. Working
Conference, PoEM 2016, Sk{\"{o}}vde, Sweden, November 8-10, 2016,
Proceedings.
.
[ Link ]
Using Attack-Defense Trees to Analyze Threats and Countermeasures
in an {ATM:} {A} Case Study.
Marlon Fraile and
Margaret Ford and
Olga Gadyatskaya and
Rajesh Kumar and
Mari{\"{e}}lle Stoelinga and
Rolando Trujillo{-}Rasua.
In The Practice of Enterprise Modeling - 9th {IFIP} {WG} 8.1. Working
Conference, PoEM 2016, Sk{\"{o}}vde, Sweden, November 8-10, 2016,
Proceedings,
2016.
[ Link ]
Quantitative Evaluation of Systems - 13th International Conference,
{QEST} 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings.
.
[ Link ]
Attack Trees for Practical Security Assessment: Ranking of Attack
Scenarios with ADTool 2.0.
Olga Gadyatskaya and
Ravi Jhawar and
Piotr Kordy and
Karim Lounis and
Sjouke Mauw and
Rolando Trujillo{-}Rasua.
In Quantitative Evaluation of Systems - 13th International Conference,
{QEST} 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings,
2016.
[ Link ]
Optimality Results on the Security of Lookup-Based Protocols.
Sjouke Mauw and
Jorge Toro{-}Pozo and
Rolando Trujillo{-}Rasua.
In Radio Frequency Identification and IoT Security - 12th International
Workshop, RFIDSec 2016, Hong Kong, China, November 30 - December 2,
2016, Revised Selected Papers,
2016.
[ Link ]
Man-in-the-Middle Attacks Evolved... but Our Security Models Didn't.
Hugo L. Jonker and
Sjouke Mauw and
Rolando Trujillo{-}Rasua.
In Security Protocols {XXIV} - 24th International Workshop, Brno, Czech
Republic, April 7-8, 2016, Revised Selected Papers,
2016.
[ Link ]
Characterizing 1-Metric Antidimensional Trees and Unicyclic Graphs.
Rolando Trujillo{-}Rasua and
Ismael Gonz{\'{a}}lez Yero.
Comput. J.,
2016. Volume 59, 1264--1273
[ Link ]
2015:
{ICT} Systems Security and Privacy Protection - 30th {IFIP} {TC} 11
International Conference, {SEC} 2015, Hamburg, Germany, May 26-28,
2015, Proceedings.
.
[ Link ]
Attack Trees with Sequential Conjunction.
Ravi Jhawar and
Barbara Kordy and
Sjouke Mauw and
Sasa Radomirovic and
Rolando Trujillo{-}Rasua.
CoRR,
2015. Volume abs/1503.02261
[ Link ]
Comparing Distance Bounding Protocols: a Critical Mission Supported
by Decision Theory.
Gildas Avoine and
Sjouke Mauw and
Rolando Trujillo{-}Rasua.
CoRR,
2015. Volume abs/1503.04593
[ Link ]
Privacy in Spatio-Temporal Databases: {A} Microaggregation-Based Approach.
Rolando Trujillo{-}Rasua and
Josep Domingo{-}Ferrer.
In Advanced Research in Data Privacy,
2015.
[ Link ]
2014:
Mobile and Ubiquitous Systems: Computing, Networking, and Services
- 10th International Conference, {MOBIQUITOUS} 2013, Tokyo, Japan,
December 2-4, 2013, Revised Selected Papers.
.
[ Link ]
Distance-bounding facing both mafia and distance frauds: Technical
report.
Rolando Trujillo{-}Rasua and
Benjamin Martin and
Gildas Avoine.
CoRR,
2014. Volume abs/1405.5704
[ Link ]
k-Metric Antidimension: a Privacy Measure for Social Graphs.
Rolando Trujillo{-}Rasua and
Ismael Gonz{\'{a}}lez Yero.
CoRR,
2014. Volume abs/1408.2154
[ Link ]
Distance Bounding Facing Both Mafia and Distance Frauds.
Rolando Trujillo{-}Rasua and
Benjamin Martin and
Gildas Avoine.
{IEEE} Trans. Wirel. Commun.,
2014. Volume 13, 5690--5698
[ Link ]
2013:
Complexity of Distance Fraud Attacks in Graph-Based Distance Bounding.
Rolando Trujillo{-}Rasua.
In Mobile and Ubiquitous Systems: Computing, Networking, and Services
- 10th International Conference, {MOBIQUITOUS} 2013, Tokyo, Japan,
December 2-4, 2013, Revised Selected Papers,
2013.
[ Link ]
Privacy in {RFID} and mobile objects.
Rolando Trujillo{-}Rasua.
CoRR,
2013. Volume abs/1310.5476
[ Link ]
On the privacy offered by (k, {\(\delta\)})-anonymity.
Rolando Trujillo{-}Rasua and
Josep Domingo{-}Ferrer.
Inf. Syst.,
2013. Volume 38, 491--494
[ Link ]
2012:
{RFID.} Security and Privacy - 7th International Workshop, RFIDSec
2011, Amherst, USA, June 26-28, 2011, Revised Selected Papers.
.
[ Link ]
Predictive protocol for the scalable identification of {RFID} tags
through collaborative readers.
Rolando Trujillo{-}Rasua and
Agusti Solanas and
Pablo A. P{\'{e}}rez{-}Mart{\'{\i}}nez and
Josep Domingo{-}Ferrer.
Comput. Ind.,
2012. Volume 63, 557--573
[ Link ]
Microaggregation- and permutation-based anonymization of movement
data.
Josep Domingo{-}Ferrer and
Rolando Trujillo{-}Rasua.
Inf. Sci.,
2012. Volume 208, 55--80
[ Link ]
Privacy in rfid and mobile objects.
Rolando Trujillo{-}Rasua.
[ Link ]
2011:
A Scalable {RFID} Authentication Protocol Supporting Ownership Transfer
and Controlled Delegation.
Albert Fern{\`{a}}ndez{-}Mir and
Rolando Trujillo{-}Rasua and
Jordi Castell{\`{a}}{-}Roca and
Josep Domingo{-}Ferrer.
In {RFID.} Security and Privacy - 7th International Workshop, RFIDSec
2011, Amherst, USA, June 26-28, 2011, Revised Selected Papers,
2011.
[ Link ]
2011 {IEEE} International Conference on RFID-Technologies and Applications,
{RFID-TA} 2011, Sitges, Spain, September 15-16, 2011.
.
[ Link ]
Scalable trajectory-based protocol for {RFID} tags identification.
Rolando Trujillo{-}Rasua and
Agusti Solanas.
In 2011 {IEEE} International Conference on RFID-Technologies and Applications,
{RFID-TA} 2011, Sitges, Spain, September 15-16, 2011,
2011.
[ Link ]
Efficient probabilistic communication protocol for the private identification
of {RFID} tags by means of collaborative readers.
Rolando Trujillo{-}Rasua and
Agusti Solanas.
Comput. Networks,
2011. Volume 55, 3211--3223
[ Link ]
2010:
Proceedings of the 3rd {ACM} {SIGSPATIAL} International Workshop on
Security and Privacy in {GIS} and LBS, {SPRINGL} 2010, November 2,
2010, San Jose, California, USA, Proceedings.
.
Privacy-preserving publication of trajectories using microaggregation.
Josep Domingo{-}Ferrer and
Michal Sramka and
Rolando Trujillo{-}Rasua.
In Proceedings of the 3rd {ACM} {SIGSPATIAL} International Workshop on
Security and Privacy in {GIS} and LBS, {SPRINGL} 2010, November 2,
2010, San Jose, California, USA, Proceedings,
2010.
[ Link ]
Radio Frequency Identification: Security and Privacy Issues - 6th
International Workshop, RFIDSec 2010, Istanbul, Turkey, June 8-9,
2010, Revised Selected Papers.
.
[ Link ]
The Poulidor Distance-Bounding Protocol.
Rolando Trujillo{-}Rasua and
Benjamin Martin and
Gildas Avoine.
In Radio Frequency Identification: Security and Privacy Issues - 6th
International Workshop, RFIDSec 2010, Istanbul, Turkey, June 8-9,
2010, Revised Selected Papers,
2010.
[ Link ]
2008:
Regional Traffic Assignment by {ACO}.
Vittorio Maniezzo and
Matteo Roffilli and
Roberto Gabrielli and
Alessandra Guidazzi and
Manuel Otero and
Rolando Trujillo{-}Rasua.
In Ant Colony Optimization and Swarm Intelligence, 6th International
Conference, {ANTS} 2008, Brussels, Belgium, September 22-24, 2008.
Proceedings,
2008.
[ Link ]