15 citations · 15 across the 4 of their papers we have counts for
4 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…
Finding -Hypernetworks in F-Hypergraphs is NP-Hard
Reynaldo Gil-Pons, Max Ward, Loïc Miller
We consider the problem of computing an -hypernetwork in an acyclic F-hypergraph. This is a fundamental computational problem arising in directed hypergraphs, and is a found…
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…