2 citations · 2 across the 5 of their papers we have counts for
12 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…