Publications

Articles

International Journal Articles: 3

2022

- Diogo Lopes Vaz and David Rogério Póvoa de Matos and Miguel Pardal and Miguel Correia, MIRES: Intrusion Recovery for Applications based on Backend-as-a-Service, article in , to appear on 2022, IEEE [bibTex]

2021

- David Rogério Póvoa de Matos and Miguel Pardal and Miguel Correia, Sanare: Pluggable Intrusion Recovery for Web Applications, article in IEEE Transactions on Dependable and Secure Computing, Dec. 2021, IEEE [DOI Article link] [bibTex] [PDF]

International Conferences: 2

2022

- João Maria Marques Tiago and Samih Eisa and Miguel Pardal, SureSpace: orchestrating beacons and witnesses to certify device location, presented at The 37th ACM/SIGAPP Symposium On Applied Computing, Apr. 2022 [bibTex]

2021

- Miguel Francisco and Samih Eisa and Miguel Pardal, Secure protocol buffers for Bluetooth Low-Energy communication with wearable devices, presented at 2021 IEEE 20th International Symposium on Network Computing and Applications (NCA), Nov. 2021 [DOI Article link] [bibTex]

National Conferences: 4

2021

- Pedro Teixeira and Samih Eisa and Miguel Pardal, Denial-of-service test-bed for distributed location proof system, presented at INForum - Simpósio de Informática, Sep. 2021 [bibTex]
- Pedro Carvalho and Leonardo Sampaio Rocha and Samih Eisa and Miguel Pardal, Location Certificate Transparency for third-party-verifiable location proofs, presented at INForum - Simpósio de Informática, Sep. 2021 [bibTex]
- José Ferrão and Samih Eisa and Miguel Pardal, Offensive security assessment of a REST API for a location proof system, presented at INForum - Simpósio de Informática, Sep. 2021 [bibTex]
- Miguel Francisco and Samih Eisa and Miguel Pardal, POSE: Protocol Buffer-based Security Enhancement for Location Proof System on Constrained Devices, presented at INForum - Simpósio de Informática, Sep. 2021 [bibTex]

as Editors

Other Publications: 1

2021