XChainWatcher: Monitoring and Identifying Attacks in Cross-Chain Bridges. - André Augusto; Rafael Belchior; Jonas Pfannschmidt; André Vasconcelos 001; Miguel Correia 001 (CoRR, 2024)

BUNGEE: Dependable Blockchain Views for Interoperability. - Rafael Belchior; Limaris Torres; Jonas Pfannschmidt; André Vasconcelos 001; Miguel Correia 001 (Distributed Ledger Technol. Res. Pract., 2024)

Hephaestus: Modeling, Analysis, and Performance Evaluation of Cross-Chain Transactions. - Rafael Belchior; Peter Somogyvari; Jonas Pfannschmidt; André Vasconcelos 001; Miguel Correia 001 (IEEE Trans. Reliab., 2024)

Looking for Anomalies in Cross-Chain Bridges. - André Augusto; Rafael Belchior; Jonas Pfannschmidt; André Vasconcelos 001; Miguel Correia 001 (DSN-S, 2025)