Publications

Books

Book Chapters: 1

2020

- Gil Mouta and Miguel Pardal and João Bota and Miguel Correia, SPATIO: end-uSer Protection Against ioT IntrusiOns, chapter of Advances in Security, Privacy and Trust for Internet-of-Things (IoT) and Cyber-Physical Systems (CPS), Jan. 2020, CRC Press [bibTex]

Articles

International Conferences: 8

2020

- Diogo Lopes Vaz and David Rogério Póvoa de Matos and Miguel Pardal and Miguel Correia, MIRES: Recovering Mobile Applications based on Backend-as-a-Service from Cyber Attacks, presented at MobiQuitous 2020, Nov. 2020 [bibTex]
- Filipe Miguel Fernandes Martins and David Rogério Póvoa de Matos and Miguel Pardal and Miguel Correia, Recoverable Token: Recovering from Intrusions against Digital Assets in Ethereum, presented at 19th IEEE International Symposium on Network Computing and Applications (NCA), Nov. 2020 [bibTex]
- Filipe Miguel Fernandes Martins and David Rogério Póvoa de Matos and Miguel Pardal and Miguel Correia, Recoverable Token: Recovering from Intrusions against Digital Assets in the Ethereum Blockchain, presented at 19th IEEE International Symposium on Network Computing and Applications (NCA), Nov. 2020 [bibTex]
- Gabriel Antunes Maia and Rui Claro and Miguel Pardal, CROSS City: Wi-Fi Location Proofs for Smart Tourism, presented at 19th International Conference on Ad Hoc Networks and Wireless (AdHoc-Now), Oct. 2020 [bibTex]
- Henrique Figueiredo dos Santos and Rui Claro and Leonardo S. Rocha and Miguel Pardal, STOP: a location spoofing resistant vehicle inspection system, presented at 19th International Conference on Ad Hoc Networks and Wireless (AdHoc-Now), Oct. 2020 [bibTex]
- Miguel Matos and Miguel Pardal and Miguel Antão Pereira Amaral and Hugues Mercier, FaultSee: Reproducible Fault Injection in Distributed Systems, presented at European Dependable Computing Conference , Sep. 2020 [bibTex]
- Ricardo Moura and David Rogério Póvoa de Matos and Miguel Pardal and Miguel Correia, MultiTLS: Secure communication channel with cipher suite diversity, presented at IFIP TC-11 SEC 2020 International Information Security and Privacy Conference, Sep. 2020 [bibTex]
- Ricardo Miranda and Miguel Pardal and António Manuel Raminhos Cordeiro Grilo, SenSmart: Sensor Data Market for the Internet of Things, presented at ACM/SIGAPP 35th Symposium On Applied Computing (SAC'2020), Mar. 2020 [DOI Article link] [bibTex]

National Conferences: 5

2019

- Gabriel Antunes Maia and Miguel Pardal, CROSS: loCation pROof techniqueS for consumer mobile applicationS, presented at INForum 2019, Sep. 2019 [bibTex]
- Miguel Antão Pereira Amaral and Miguel Pardal and Miguel Matos, FaultSee: Avaliação Reproduzível de Sistemas Distribuídos Sujeitos a Faltas, presented at INForum 2019, Sep. 2019 [bibTex]
- Pedro Esperança do Carmo and Miguel Pardal, IoT Neighborhood Watch: device monitoring for anomaly detection, presented at INForum 2019, Sep. 2019 [bibTex]
- Henrique Figueiredo dos Santos and Miguel Pardal, Operation STOP: itinerary verification for smart vehicle inspections, presented at INForum 2019, Sep. 2019 [bibTex]
- Sheng Wang and Rui Claro and Miguel Pardal, SPYKE: Security ProxY with Knowledge-based intrusion prEvention, presented at INForum 2019, Sep. 2019 [bibTex]

National Journal Articles: 1

2020

- Tolentino Martins and Miguel Pardal and José Borges, Gestão de Vulnerabilidade e Risco no Suporte à Decisão, article in Proelium, Jan. 2020 [bibTex]