All Stories

  1. A Brief History of Blockchain Interoperability

    Article • Communications of the ACM, September 2024, ACM (Association for Computing Machinery)

    Miguel Correia

  2. 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

  3. 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

  4. Poster: In-Network ML Feature Computation for Malicious Traffic Detection

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

    Miguel Correia

  5. Decentralised Autonomous Organisations for Public Procurement

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

    Miguel Correia

  6. Deduplication vs Privacy Tradeoffs in Cloud Storage

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

    Miguel Correia, Luis Rodrigues

  7. FingerCI

    Article • April 2022, ACM (Association for Computing Machinery)

    Miguel Pardal, Miguel Correia

  8. A Survey on Blockchain Interoperability: Past, Present, and Future Trends

    Article • ACM Computing Surveys, October 2021, ACM (Association for Computing Machinery)

    Sérgio Guerreiro, Miguel Correia

  9. Recovering Mobile Applications based on Backend-as-a-Service from Cyber Attacks

    Article • December 2020, ACM (Association for Computing Machinery)

    Miguel Correia, Miguel Pardal

  10. Pando

    Article • December 2019, ACM (Association for Computing Machinery)

    Miguel Correia

  11. Securing Electronic Health Records in the Cloud

    Article • April 2018, ACM (Association for Computing Machinery)

    Miguel Correia

  12. Rectify

    Article • December 2017, ACM (Association for Computing Machinery)

    Miguel Pardal, Miguel Correia