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]

Dissertations

PhD Theses: 1

2019

- David Rogério Póvoa de Matos advised by Miguel Correia and Miguel Pardal, Intrusion Recovery in Cloud Computing, PhD Thesis at Instituto Superior Técnico, Universidade de Lisboa, Jun. 2019 [bibTex]

MSc Theses: 7

2019

- Miguel Antão Pereira Amaral advised by Miguel Pardal and Miguel Matos, FaultSee: interactive fault injection in distributed systems, MSc Thesis, Dec. 2019 [bibTex]
- Henrique Figueiredo dos Santos advised by Miguel Pardal, CAPTOR: loCAtion Proofs for goods TranspOrtation Reports, MSc Thesis, Nov. 2019 [bibTex]
- Gabriel Antunes Maia advised by Miguel Pardal, CROSS: loCation pROofs for Smart touriSm in the city, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Nov. 2019 [bibTex]
- Pedro Esperança do Carmo advised by Miguel Pardal and João Nuno de Oliveira e Silva, IoT Neighbourhood Watch, MSc Thesis, Nov. 2019 [bibTex]
- Tiago Filipe Ribeiro Gonçalves advised by Miguel Pardal, Privacy-preserving data market for threat sharing, MSc Thesis, Nov. 2019 [bibTex]
- Rui Miguel Pereira Barata advised by Miguel Pardal and Miguel Correia, RectifyPlus - Black-Box Intrusion Recovery in MEAN Applications, MSc Thesis, Nov. 2019 [bibTex]
- Sheng Wang advised by Miguel Pardal, Privacy protection proxy for IoT data endpoints, MSc Thesis, Jun. 2019 [bibTex]

Internships: 1

2019

- José Eduardo Sapina Teixeira Brás advised by Miguel Pardal, Estágio de Verão, short term traineeship (before Bolonha), Aug. 2019 [bibTex]