Reynaldo Gil Pons

activity

20192025

collaborators

3 papers

cs.CR2025

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…

cs.DM2022

Finding $(s, d)$ -Hypernetworks in F-Hypergraphs is NP-Hard

Reynaldo Gil-Pons, Max Ward, Loïc Miller

We consider the problem of computing an $(s, d)$ -hypernetwork in an acyclic F-hypergraph. This is a fundamental computational problem arising in directed hypergraphs, and is a found…

math.CO2019

Distance-based vertex identification in graphs: the outer multiset dimension

Reynaldo Gil-Pons, Yunior Ramírez-Cruz, Rolando Trujillo-Rasua +1

Given a graph $G$ and a subset of vertices $S = {w_{1}, \dots, w_{t}} \subseteq V (G)$ , the multiset representation of a vertex $u \in V (G)$ with respect to $S$ is the multiset $m(u|S…

Empirical Evaluation of Memory-Erasure Protocols

Finding (s,d)-Hypernetworks in F-Hypergraphs is NP-Hard

Distance-based vertex identification in graphs: the outer multiset dimension

Finding $(s, d)$ -Hypernetworks in F-Hypergraphs is NP-Hard