Publications
Filter Publications: 2021 - 2023
Articles
International Journal Articles: 11
2022
- , A Survey on Blockchain Interoperability: Past, Present, and Future Trends, article in ACM Computing Surveys, to appear on 2022, ACM [bibTex]
- , Hermes: Fault-tolerant middleware for blockchain interoperability, article in Future Generation Computer Systems, to appear on 2022 [bibTex]
- , Integrating an academic management system with blockchain: A case study, article in Blockchain: Research and Applications vol. 3 (4), Dec. 2022, Elsevier [bibTex]
- , MIRES: Intrusion Recovery for Applications based on Backend-as-a-Service, article in IEEE Transactions on Cloud Computing, to appear on 2022 [bibTex] [PDF]
- , Omega: a Secure Event Ordering Service for for the Edge, article in Omega: a Secure Event Ordering Service for for the Edge. IEEE Transactions on Dependable and Secure Computing, to appear on 2022 [bibTex]
- , Sanare: Pluggable Intrusion Recovery for Web Applications, article in IEEE Transactions on Dependable and Secure Computing, to appear on 2022 [bibTex]
- , Statically Detecting Vulnerabilities by Processing Programming Languages as Natural Languages, article in IEEE Transactions on Reliability, to appear on 2022, IEEE [Article] [bibTex]
- , A Survey on Business Process View Integration: Past, Present, and Future Applications to Blockchain, article in Business Process Management Journal vol. 54 (8), Nov. 2022 [bibTex]
- , Do You Need a Distributed Ledger Technology Interoperability Solution?, article in Distributed Ledger Technologies: Research and Practice, ACM Journal pp. (accepted), Sep. 2022, ACM [DOI Article link] [bibTex] [Video]
- , SRXSecure Data Backup and Recovery for SGX Applications, article in IEEE Access (10) pp. 35901 - 35918, Mar. 2022, IEEE [DOI Article link] [bibTex]
2021
- , Secure Cloud-of-Clouds Storage with Space-Efficient Secret Sharing, article in Journal of Information Security and Applications vol. 59, Jun. 2021 [bibTex]
International Conferences: 7
2022
- , A Catalog of Security Patterns, presented at 29th Conference on Pattern Languages of Programs (PLoP22), Oct. 2022 [bibTex] [Video]
- , Anonymous Trusted Data Relocation for TEEs, presented at IFIP International Conference on ICT Systems Security and Privacy Protection, Jun. 2022 [DOI Article link] [bibTex]
- , FingerCI: Generating Specifications for Critical Infrastructures, presented at ACM/SIGAPP 37th Symposium On Applied Computing (SAC), Apr. 2022 [DOI Article link] [bibTex]
2021
- , CyberVTI: Cyber Visualization Tool for Intrusion Detection, presented at 20th IEEE International Symposium on Network Computing and Applications, Nov. 2021 [bibTex]
- , Blockchain Address Transparency with DNS, presented at 26th IEEE Symposium on Computers and Communications, Sep. 2021 [bibTex]
- , Enabling Cross- Jurisdiction Digital Asset Transfer, presented at IEEE International Conference on Services Computing (SCC), Sep. 2021 [bibTex]
- , Virtual Static Security Analyzer for Web Applications, presented at Trustcom, Aug. 2021 [bibTex]
as Editors
Other Publications: 1
2022
- , editors, ComSEC: Secure communications for baggage handling systems, International Workshop on Cyber-Physical Security for Critical Infrastructures Protection (CPS4CIP), Sep. 2022 [bibTex]
Reports
Technical Reports: 1
2022
- , Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia Learning to generate Reliable Broadcast Algorithms, INESC-ID Tec. Rep. /2022, Jul. 2022 [bibTex]