Miguel Filipe Leitão Pardal

Hi! My name is Miguel Pardal.
I'm years old and I live in Linda-a-Velha, Lisbon, Portugal. I'm married to Joana.

I have been a Lecturer at Instituto Superior Técnico, Universidade de Lisboa since September 2002.
My current position is Assistant Professor. My teaching has been mostly dedicated to Network and Computer Security and Distributed Systems.

I am a Researcher at INESC-ID.
My current research is on Cybersecurity for Internet of Things and Cloud.

Selected recent papers (since 2017):

• RockFS: Cloud-backed File System Resilience to Client-Side Attacks
• S-Audit: Efficient Data Integrity Verification for Cloud Storage
• Rectify: Intrusion Recovery in Clouds
• vtTLS: Vulnerability-tolerant Transport Layer Security

More about me:

• Publications
• Projects and scientific collaborations
• Students
• Abridged CV

For students:

• Top Security and Systems Conferences
• Master Beginners Workshop
• Quick guide to research
• Introduction to LaTeX (in portuguese)
• Eclipse Workshop

Recent highlights:

• July 2019. Congratulations to Doctor David R. Matos for his brilliant PhD defense!