3 papers
cs.LG2020
Spectral Evolution with Approximated Eigenvalue Trajectories for Link Prediction
Miguel Romero, Jorge Finke, Camilo Rocha +1
The spectral evolution model aims to characterize the growth of large networks (i.e., how they evolve as new edges are established) in terms of the eigenvalue decomposition of the…
cs.LO2020
Verification of the IBOS Browser Security Properties in Reachability Logic
Stephen Skeirik, José Meseguer, Camilo Rocha
This paper presents a rewriting logic specification of the Illinois Browser Operating System (IBOS) and defines several security properties, including the same-origin policy (SOP)…
cs.DC2019
A Random Network Model for the Analysis of Blockchain Designs with Communication Delay
Carlos Pinzón, Camilo Rocha, Jorge Finke
This paper proposes a random network model for blockchains, a distributed hierarchical data structure of blocks that has found several applications in various industries. The model…