All Stories

  1. A Framework for Monitoring and Auditing the Activity of Cross-Chain Mechanisms

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

    Andre Augusto, Miguel Correia

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

  3. A Brief History of Blockchain Interoperability

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

    Miguel Correia

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

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

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

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

    Miguel Correia

  7. Decentralised Autonomous Organisations for Public Procurement

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

    Miguel Correia

  8. Deduplication vs Privacy Tradeoffs in Cloud Storage

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

    Miguel Correia, Luis Rodrigues

  9. FingerCI

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

    Miguel Pardal, Miguel Correia

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

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

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

    Miguel Correia, Miguel Pardal

  12. Pando

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

    Miguel Correia

  13. Securing Electronic Health Records in the Cloud

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

    Miguel Correia

  14. Rectify

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

    Miguel Pardal, Miguel Correia