20 citations · 84 across the 15 of their papers we have counts for
17 papers
Empirical Evaluation of Memory-Erasure Protocols
Reynaldo Gil-Pons, Sjouke Mauw, Rolando Trujillo-Rasua
Software-based memory-erasure protocols are two-party communication protocols where a verifier instructs a computational device to erase its memory and send a proof of erasure. The…
Software-Based Memory Erasure with relaxed isolation requirements: Extended Version
Sergiu Bursuc, Reynaldo Gil-Pons, Sjouke Mauw +1
A Proof of Secure Erasure (PoSE) is a communication protocol where a verifier seeks evidence that a prover has erased its memory within the time frame of the protocol execution. De…
Automated generation of attack trees with optimal shape and labelling
Olga Gadyatskaya, Sjouke Mauw, Rolando Trujillo-Rasuac +1
This article addresses the problem of automatically generating attack trees that soundly and clearly describe the ways the system can be attacked. Soundness means that the attacks…
Analysis of centrality measures under differential privacy models
Jesse Laeuchli, Yunior Ramírez-Cruz, Rolando Trujillo-Rasua
This paper provides the first analysis of the differentially private computation of three centrality measures, namely eigenvector, Laplacian and closeness centralities, on arbitrar…
Preventing active re-identification attacks on social graphs via sybil subgraph obfuscation
Sjouke Mauw, Yunior Ramírez-Cruz, Rolando Trujillo-Rasua
This paper addresses active re-identification attacks in the context of privacy-preserving social graph publication. Active attacks are those where the adversary can leverage fake…
Chunked Lectures: A new model for conducting online lectures within Information Technology higher education
Nick Patterson, Rolando Trujillo Rasua, Michael Hobbs +3
The primary aim of this study in this paper aside from presenting student preference survey data and analytics data with relation to learning videos, is to address the attention sp…
Secure Memory Erasure in the Presence of Man-in-the-Middle Attackers
Rolando Trujillo-Rasua
Memory erasure protocols serve to clean up a device's memory before the installation of new software. Although this task can be accomplished by direct hardware manipulation, remote…
Distance-based vertex identification in graphs: the outer multiset dimension
Reynaldo Gil-Pons, Yunior Ramírez-Cruz, Rolando Trujillo-Rasua +1
Given a graph and a subset of vertices , the multiset representation of a vertex with respect to is the multiset $m(u|S…
Attribute Evaluation on Attack Trees with Incomplete Information
Ahto Buldas, Olga Gadyatskaya, Aleksandr Lenin +2
Attack trees are considered a useful tool for security modelling because they support qualitative as well as quantitative analysis. The quantitative approach is based on values ass…
Robust active attacks on social graphs
Sjouke Mauw, Yunior Ramírez-Cruz, Rolando Trujillo-Rasua
In order to prevent the disclosure of privacy-sensitive data, such as names and relations between users, social network graphs have to be anonymised before publication. Naive anony…
Rethinking -anonymity in social graphs: -adjacency anonymity and -(adjacency) anonymous transformations
Sjouke Mauw, Yunior Ramírez-Cruz, Rolando Trujillo-Rasua
This paper treats the privacy-preserving publication of social graphs in the presence of active adversaries, that is, adversaries with the ability to introduce sybil nodes in the g…
Comparing Distance Bounding Protocols: a Critical Mission Supported by Decision Theory
Gildas Avoine, Sjouke Mauw, Rolando Trujillo-Rasua
Distance bounding protocols are security countermeasures designed to thwart relay attacks. Such attacks consist in relaying messages exchanged between two parties, making them beli…
Attack Trees with Sequential Conjunction
Ravi Jhawar, Barbara Kordy, Sjouke Mauw +2
We provide the first formal foundation of SAND attack trees which are a popular extension of the well-known attack trees. The SAND attack tree formalism increases the expressivity…
Complexity of distance fraud attacks in graph-based distance bounding
Rolando Trujillo-Rasua
Distance bounding (DB) emerged as a countermeasure to the so-called \emph{relay attack}, which affects several technologies such as RFID, NFC, Bluetooth, and Ad-hoc networks. A pro…
k-Metric Antidimension: a Privacy Measure for Social Graphs
Rolando Trujillo-Rasua, Ismael G. Yero
Let be a simple connected graph and an ordered subset of vertices. The metric representation of a vertex with respect t…
Distance-bounding facing both mafia and distance frauds: Technical report*
Rolando Trujillo-Rasua, Benjamin Martin, Gildas Avoine
Contactless technologies such as RFID, NFC, and sensor networks are vulnerable to mafia and distance frauds. Both frauds aim at passing an authentication protocol by cheating on th…
Privacy in RFID and mobile objects
Rolando Trujillo-Rasua
Radio Frequency Identification (RFID) is a technology aimed at eficiently identifying and tracking goods and assets. Such identification may be performed without requiring line-of-…