Doctoral Students
Diogo Lopes Vaz (PhD) is working the use generative artificial intelligence to generate distributed systems algorithms for problems such as reliable broadcast and consensus.
Co-advisors: Miguel Pupo Correia, David R. Matos.
Pedro Miguel Gomes Silva Rosa (PhD)
is working on the safety applications for autonomous cars in the Internet of Vehicles.
Co-advisor: Gabriel Pestana.
Filipe Miguel Marcos Apolinário (PhD)
is working on intrusion detection for Industrial Control Systems.
Co-advisor: Miguel Correia.
Past Students
David Rogério Póvoa de Matos (PhD, 2019)
did great work on Intrusion Recovery in Cloud Computing.
Co-advisor: Miguel Correia.
Master Students
José Miguel Vilhena de Almeida (MSc) is developing a reinforcement learning agent capable of identifying and exploiting vulnerabilities in both network and software environments.
Henrique Afonso Monteiro Pereira Cavaco (MSc) is developing a tool for the automatic generation of distributed algorithms with machine learning applied to IoT applications.
Participant: Diogo Vaz.
Letícia Alexandra Silva Melo (MSc) is developing an Indoor Radar System with Ultrasound Sensors and a Radio Wireless Network.
Co-advisor: Alberto Cunha.
João Miguel Guerreiro Fernandes (MSc) is a developing a prototype system that combines Internet of Things (IoT) and Blockchain technologies to operate as an oracle to obtain data sensed from the real-world.
Co-advisor: Alberto Cunha.
André João de Almeida Avelar (MSc) is a developing a decentralized location oracle for a supply chain track-and-trace blockchain.
Lourenço Faria Boto Franco Preto (MSc) is studying design patterns applied to Blockchain application programming.
Co-advisor: David R. Matos.
Diogo das Neves Ferreira (MSc) is developing a gamified mobile application that will integrate with blockchain technology to incentivize users to retrieve product traceability information and benefit from it.
Co-advisor: David R. Matos.
Rúben Almeida Ulisses de Carvalho Fonseca (MSc) is studying trust in technologies for remote collaboration and healthcare.
Co-advisor: David R. Matos.
José André Bernardo (MSc) is studying the use of blockchain technology to improve the integrity level of electronic health records.
Co-advisor: David R. Matos.
Diogo Génio Graça Dias (MSc) is studying new ways to use sensors to retrieve information about pedestrians and small vehicles in circulation and provide additional safety information to human drivers and autonomous vehicles.
Participant: Pedro Rosa.
Catarina Beirolas Vilhena (MSc) is working on a distributed authentication and authorization security framework.
Co-advisor: Flávio Nascimento, Skyline.
Tomás Marques da Silva Coheur (MSc) is studying how to use Internet of Things technologies to monitor secluded areas in buildings, such as attics and basements, to allow early detection of hazards like floods, pests, and fires.
Co-advisor: Alberto Cunha.
Diogo José de Figueiredo Barbosa (MSc) is studying how to reduce the effort required to configure a specification-based intrusion detection system (IDS) with machine learning methods.
Co-advisor: Filipe Apolinário.
Guillermo Andrés Da Silva Bettencourt (MSc) is developing games to teach operating system concepts.
Co-advisor: José Alves Marques.
Past Students
Bernardo Cocco Ferro Santana Várzea (MSc, 2023) studied blockchain-based solutions for supply chain traceability.
Co-advisor: Leonardo Rocha.
Bruno Gouveia Lourenço e Soares Gomes (MSc, 2023) studied self-sovereign identity solutions based on blockchain technologies.
Co-advisor: David R. Matos.
Francisco António Martins Mendes de Faria (MSc, 2023) developed EVOCHAIN, a framework for permissioned blockchain applications that allows delayed immutability.
Co-advisor: David R. Matos.
Guilherme Almeida Saraiva (MSc, 2023) worked on intrusion detection for critical infrastructure systems using machine learning techniques.
Co-advisor: Filipe Apolinário.
Pedro Miguel Esteves Maximino (MSc, 2023) developed a system that effectively monitored health indicators impacting the performance of public transport drivers while they were operating their vehicles.
Co-advisor: Rui Cruz
Bruno dos Reis Tomé (MSc, 2022) studied blockchain-based solutions for elections.
Rafael Alexandre Roberto Figueiredo (MSc, 2022) developed SureRepute, a reputation system, and applied it to the witnesses of a location proof system.
Co-advisor: Samih Eisa.
Lucas de Haan Vicente (MSc, 2022) developed the server-side of the CROSS City application, hosted on a public cloud, with a performance evaluation.
Co-advisor: Samih Eisa.
Ricardo António Augusto Grade (MSc, 2022) developed a new version of the CROSS City mobile application with gamification and a new peer-to-peer witnessing strategy for location proofs.
Co-advisor: Samih Eisa.
Tiago Alexandre Teixeira Fonseca (MSc, 2022) worked on qualified signatures for strong and legally binding location proofs.
Co-advisor: Ricardo Chaves.
João Miguel do Ó Matos Soares (MSc, 2022) developed MACHET3, a new version of a multi-path communication solution using secret sharing.
Co-advisor: David R. Matos.
Duarte Miguel Montes do Nascimento (MSc, 2022) performed extensive benchmarks comparing thin with complex big data processing systems.
Co-advisor: Miguel Ferreira (Unicage).
Ricardo Jorge Pimenta Lopes (MSc, 2021) updated and further evaluated MultiTLS, a tool for the configuration and deployment of secure network tunnels with multiple layers of encryption.
José Miguel de Brito Alves Ferrão (MSc, 2021) studied attack tools and performed an adversarial evaluation of the security of a location proof system.
Miguel Cordeiro Francisco (MSc, 2021) developed SurePresence, a usable and secure location proof system.
Pedro Miguel Matias Carvalho (MSc, 2021) worked on a tamper-proof and verifiable public log, specifically designed for location proofs.
Co-advisor: Leonardo Rocha.
Pedro André Ferreira Teixeira (MSc, 2021) worked to protect Internet of Things applications from Denial-of-Service attacks.
Co-advisor: Avijit Mathur.
João Carlos Lopes Antunes (MSc, 2021) compared model compression techniques applied to natural language processing.
Co-advisor: Luísa Coheur.
Kevin Batista Corrales (MSc, 2021)
worked on STAKE, an anomaly detection for smart home networks using machine learning plug-ins.
Filipe Miguel Fernandes Martins (MSc, 2021)
developed recoverable tokens for the Ethereum blockchain.
Co-advisor: Miguel Pupo Correia.
Miguel Gil da Silva Simão (MSc, 2021)
implemented the PriVeil Circle component, using Private Set Intersection, a Secure Multi-Party Computation technique.
Co-advisor: Carlos Ribeiro.
João Maria Marques Tiago (MSc, 2021)
developed SureSpace, a smart-space orchestration solution for location proofs.
João Paulo Nunes Costa (MSc, 2020)
developed privacy protections for location proof systems.
Diogo Lopes Vaz (MSc, 2020)
developed MIRES, an intrusion recovery for mobile applications using backend-as-a-service.
Co-advisor: Miguel Pupo Correia.
Miguel Antão Pereira Amaral (MSc, 2019)
developed FaultSee, a tool for fault injection in distributed systems.
Co-advisor: Miguel Matos.
Tiago Filipe Ribeiro Gonçalves (MSc, 2019)
worked on PriVeil, a system for privacy-preserving threat information sharing.
Co-advisor: J. Tolentino Martins (NAV).
Pedro Esperança do Carmo (MSc, 2019)
developed IoT-NW (Internet of Things Neighborhood Watch), an anomaly detection system for IoT deployments in smart homes and buildings.
Co-advisor: João Nuno Oliveira e Silva.
Gil de Oliveira e Varão Mouta (MSc, 2019)
developed SPATIO, an intrusion detection system for Internet of Things applications.
Co-advisor: João Bota (Vodafone).
Gabriel Antunes Maia (MSc, 2019)
developed CROSS, a prototype implementation for the SureThing project Smart Tourism use case.
Henrique Figueiredo dos Santos (MSc, 2019)
developed STOP, a prototype implementation for vehicle inspections, in the SureThing project Smart Taxes use case.
Rui Miguel Pereira Barata (MSc, 2019)
worked on the improvement of Rectify, to extend it to web applications with the MEAN architecture.
Co-advisors: Miguel Correia and David R. Matos.
Sheng Wang (MSc, 2019)
implemented SPYKE, a privacy protection gateway, designed to protect a smart home and other IoT deployments.
Ricardo Soares Miranda (MSc, 2018)
designed and implemented a Sensing-as-a-Service marketplace for renting sensors and to sell the data they produce.
Co-advisor: António Grilo.
Pedro Miguel Reis Valério (MSc, 2018)
implemented an iOS application and a web API for simplified smart place deployment in the cloud.
Co-advisor: António Grilo.
Ricardo Manuel Mota de Moura (MSc, 2018)
developed a tunneling tool to create secure channels with multiple protection layers.
Co-advisor: Miguel Correia.
Rui Nuno Lopes Claro (MSc, 2018)
designed and implemented a proof-of-concept of a platform for performing privacy preserving computations.
Co-advisor: José Portêlo (Altran).
Isabel Cristina Monteiro da Costa (MSc, 2018)
integrated communication middleware combining multipath communication and route monitoring.
Co-advisor: Miguel Correia.
João Daniel Jorge Machado (MSc, 2018)
designed and implemented mechanisms that augment MISP for automated security data exchange with anonymization.
Co-advisor: José Tolentino Martins (NAV).
João Manuel Policarpo Moreira (MSc, 2017)
developed a benchmark to analyze and evaluate the performance of Big Data processing systems, like Hadoop, Hive and Unicage.
Co-advisor: Helena Galhardas.
Diogo Miguel Pardal Calado (MSc, 2017)
worked on incentive schemes for mobile crowd-sensing.
João Ricardo Pais Ferreira (MSc, 2017)
worked on a location certification solution for smartphones.
Filipe Miguel Marques Tavares (MSc, 2016)
developed a solution for indoors localization using a combination of marker tracking and inertial sensors.
Previous advisor: Artur Arsénio.
Filipe Miguel Marcos Apolinário (MSc, 2016)
developed a system called S-Audit that allows data storage on several clouds, with detection mechanisms for integrity violations.
Co-advisor: Miguel Correia.
Diogo Miguel Marcos Raposo (MSc, 2016)
built a Multi-path Communication tool called MAChETe that defends against attacks that compromise the confidentiality of communications, by splitting the communication among different physical channels.
Co-advisor: Miguel Correia.
Karan Hamirshi Balu (MSc, 2016)
worked on a Route monitoring for cloud security solution called DARSHANA that aims to effectively detect route hijacking attacks, by using a set of techniques that are redundant enough to prevent attacker countermeasures.
Co-advisor: Miguel Correia.
André de Matos Joaquim (MSc, 2016)
worked on Diverse and Redundant Vulnerability-Tolerant Communication Channels, and built a modified version of openSSL called vtTLS that uses diversity and redundancy to tolerate vulnerabilities in cryptographic algorithms.
Co-advisor: Miguel Correia.
André's work was honoured with the Merit Award for Best Information Security Master Thesis 2016/17
from AP2SI
(Associação Portuguesa para a Promoção da Segurança da Informação).
Tiago Miguel Correia Diogo (MSc, 2016)
researched Power Aware Security Protocols for the Internet of Things.
The bootstrap of a wireless network of constrained devices is controlled to make sure that only trusted nodes are able to join.
Tomás Alexandre Diniz de Pinho (MSc, 2016)
worked on a secure and open firmware update system for Internet of Things devices and built the first version of UpdaThing.
José Miguel Nobre de Brito Camacho (MSc, 2016)
worked on an IoT Middleware for Precision Agriculture to monitor agricultural processes in the field, relating data from sensors, satellites, and workers.
Co-advisor: Alberto Cunha.
André Filipe Pereira Rodrigues (MSc, 2016)
worked to make event-based applications programmable by end-users without programming expertise and extensible by developers.
Co-advisor: José Alves Marques.
Rita Peres Cruz Curado (MSc, 2016)
studied how to combine and present Linked product data.
Co-advisor: José Alves Marques.
Marcus Vinícius Paulino Gomes (MSc, 2015)
worked on Cloud4Things: Using Cloud infrastructure to support Smart Place applications.
Co-advisor: José Alves Marques.
Samuel Filipe Capucho Mendes Coelho (MSc, 2015)
worked with iBeacons and Android phones to build
Smart Places: A framework to develop proximity-based mobile applications
Co-advisor: José Alves Marques.
Jorge Miguel Trigo Coelho (MSc, 2015)
studied Fine-Tuning HVAC Operation Through RFID and User Feedback.
Co-advisor: Paulo Carreira.
Nuno Miguel Mendes Correia (MSc, 2014)
built
RFID Toys for his dissertation, under supervision of José Alves Marques and me.
The toys provided a live demonstration of RFID technology's capabilities.
Nuno also built a flexible testbed framework for RFID systems and proposed useful metrics for evaluating them.
Pedro Daniel Parreira Ferreira (MSc, 2011)
identified the need for Implementing EPC IS services in BizTalk RFID.
Pedro implemented interfaces complying with the EPCglobal architecture using web services and an event data repository.
Pedro worked under supervision of José Alves Marques and me.
Carlos Miguel da Costa Perdigão (MSc, 2010)
worked in a supply chain traceability project: rfrbNet,
under supervision of José Alves Marques and me.
Carlos developed and used an EPC IS simulador to compare traceability solutions using ERP versus a discovery service.
Ricardo Filipe Alvito Rodrigues Carapeto (MSc, 2010)
did an security and privacy assessment of the RFID Safe Luggage project management model.
João Carlos Caetano Leitão (MSc, 2010)
built an extension to the STEP framework called SmartSTEP – Automatic configuration of Web Services,
under supervision of José Alves Marques and me.
João added support to the WS-Policy standard and did a great programming job.
Guilherme Nuno Almeida Pereira (MSc, 2009)
did an assessment of an open-source, standards-based RFID supply chain integration,
under supervision of José Alves Marques and me.
He took an early version of Fosstrak (it was called Accada at the time) and built a framework for capture applications along with guidelines.
A Pharmaceutical industry case study was used to demonstrate the framework in action.
Nuno Miguel Viães Rodrigues (MSc, 2009)
did its dissertation on the topic of
Integration of RFID Technology in a Logistic Chain supported in an ERP
under supervision of José Alves Marques.
Nuno's work had a systems integration focus.
He made one of the first integrations of the EPCglobal RFID stack with Microsoft business technologies, namely, Dynamic Nav ERP and BizTalk RFID.
Miguel Pina Xavier (LEIC, 2005) and
Nelson Filipe Carvalho Santos (LEIC, 2005)
did their Final Graduation Project (of their Licenciatura, a 5 year degree)
called Remote and mobile access to secure services
under supervision of Alberto Cunha and me.
They used a PDA running Java Mobile Edition with a Bluetooth stack to implement a futuristic examination room prototype.
 |
Miguel L. Pardal |  |
 |
 |
In this page you can find information on my current and former students.
I have been fortunate to supervise the work of a great group of students.
I have tried my best to advise and I have also learned much from them.
Thinking of working under my supervision?
You are welcome to contact me.
I have projects that I am working on but
I am also open to proposals.
See my publications page
to learn more about my research.
| Teaching awards |
|
-
Ambient Intelligence
(lectures: 2022..2023) - Distributed Systems (lectures: 2019; labs: 2013..2014, 2016..2017, 2020..2021)
- Network and Computer Security (MEIC) (labs: 2017)
- Network and Computer Security (LETI) (lectures: 2021)
Courses I have taught
-
Advanced Topics in Cybersecurity
(coord: 2020..2023; lectures: 2020..2023) -
Ambient Intelligence
(coord: 2022..2024; lectures: 2022..2024) -
Distributed Systems
(coord: 2016..2020; lectures: 2016..2020; labs: 2003..2009,2013..2017,2020..2021) -
Enterprise Systems Integration
(labs: 2008..2009,2013..2015) -
Information Systems Integration - POSI
(labs: 2003,2005..2008) -
Network and Computer Security (MEIC)
(coord: 2016..2017,2019..2024; lectures: 2016..2017,2019..2024; labs: 2015..2017,2021) -
Network and Computer Security (LETI)
(coord: 2021; lectures: 2021) -
Operating Systems
(labs: 2004..2005,2023 mooc: 2022) -
Systems Integration - SISE
(coord: 2nd,3rd,5th edition; lectures: 2nd..6th; labs: 1st..6th)