Miguel Filipe Leitão Pardal

Olá! Chamo-me Miguel Pardal.
Tenho anos e vivo em Linda-a-Velha. Sou casado com a Joana.

Sou Docente do Instituto Superior Técnico, Universidade de Lisboa desde Setembro de 2002.
Atualmente sou Professor Auxiliar. O meu ensino tem-se centrado na Segurança de Redes e Sistemas e nos Sistemas Distribuídos.

Sou Investigador no INESC-ID.
A minha investigação é sobre Ciber-Segurança na Internet das Coisas e na Nuvem.

Artigos recentes selecionados (desde 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

Mais informação:

• Publicações
• Projetos e colaborações científicas
• Estudantes e Cadeiras lecionadas
• CV resumido

Para estudantes:

• Conferências de topo nas áreas de Segurança e Sistemas
• Para principiantes do Mestrado (em inglês)
• Guia rápido de iniciação à investigação
• Introdução ao LaTeX
• Sobre a ferramenta Eclipse (em inglês)

Destaques recentes:

• julho 2019. Parabéns ao Doutor David R. Matos pela brilhante defesa de Doutoramento!