Miguel Pardal

Miguel Pardal is an Assistant Professor at the Instituto Superior Técnico, Universidade de Lisboa, where he has been teaching since 2002. His research focuses on Cybersecurity, IoT, and Cloud Technologies, with recent projects exploring Blockchain technologies (launched in 2023) and intrusion recovery systems. He is also affiliated with INESC-ID, a leading research institution in Lisbon.

Education:

• Licenciatura em Engenharia Informática, Instituto Superior Técnico (2000)
• Mestrado em Engenharia Informática, Instituto Superior Técnico (2006)

Research Interests: Cybersecurity, IoT Security, Cloud Infrastructure, Intrusion Detection and Recovery, Blockchain Applications, and Secure Communication Protocols. His work emphasizes practical solutions for critical systems, including industrial process specifications and decentralized identity management.

Recent Articles: Focus on intrusion recovery mechanisms, decentralized systems, and secure communication protocols. Key themes include vulnerability-tolerant TLS, fault-tolerant microservices, and AI-driven algorithm synthesis.

Awards: None explicitly listed, though his extensive publication record reflects recognition in cybersecurity and IoT fields.

Advising & Grants: Active in guiding students through workshops on LaTeX and research methodologies. Collaborates on EU-funded projects like SafeWalk and CrossCity location proofs. INESC-ID provides infrastructure for his lab-based research.

Labs/Teams: Part of INESC-ID's Cybersecurity group, contributing to projects like SPATIO and MACHETE.