All Stories

  1. PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems

    Article • Formal Aspects of Computing, August 2024, ACM (Association for Computing Machinery)

    Claudio Correia, Miguel Correia, Luis Rodrigues

  2. A System for Authenticating Users While Ensuring Anonymity During and After Their Interactions

    Article • November 2023, ACM (Association for Computing Machinery)

    Luis Rodrigues, Miguel Correia, Claudio Correia