All Stories

  1. XChainWatcher (Cross-Chain Watcher) is a framework for anomaly detection in cross-chain bridges

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

    Miguel Correia, Andre Augusto

  2. A Brief History of Blockchain Interoperability

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

    Miguel Correia

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

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

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

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

    Miguel Correia

  6. Decentralised Autonomous Organisations for Public Procurement

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

    Miguel Correia

  7. Deduplication vs Privacy Tradeoffs in Cloud Storage

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

    Miguel Correia, Luis Rodrigues

  8. FingerCI

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

    Miguel Pardal, Miguel Correia

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

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

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

    Miguel Correia, Miguel Pardal

  11. Pando

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

    Miguel Correia

  12. Securing Electronic Health Records in the Cloud

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

    Miguel Correia

  13. Rectify

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

    Miguel Pardal, Miguel Correia