2024-11
Francisco Faria, Samih Eisa, David R. Matos, Miguel L. Pardal
EvoChain: a Recovery Approach for Permissioned Blockchain Applications
arXiv pre-print
2024-11
Bruno Gomes, Samih Eisa, David R. Matos, Miguel L. Pardal
Decentralized Storage And Self-Sovereign Identity For Document-Based Claims
arXiv pre-print
2024-10
Diogo Dias, Pedro Rosa, Miguel L. Pardal
SafeWalk: Early Warning System for Pedestrians
100th IEEE Vehicular Technology Conference (VTC)
2024-09
Diogo Ferreira, Lourenço Preto, Samih Eisa, Filipa Pires, Miguel L. Pardal
No Rasto das Cerejas: Rastreabilidade na Cadeia Alimentar com Tecnologia Blockchain comunicação
INForum
2024-09
Diogo Dias, Pedro Rosa, Samih Eisa, Miguel L. Pardal
PassouBem: Uso de Bluetooth para Avisos de Colisões entre Peões e Veículos
INForum
2024-09
Filipe Apolinário, Nelson Escravana, Éric Hervé, Miguel L. Pardal, Miguel Correia
FingerCI: Writing industrial process specifications from network traffic
International Journal of Critical Infrastructure Protection (IJCIP), Volume 47, pages 100725
2024-08
David R. Matos, Ibéria Medeiros, Miguel L. Pardal, Miguel Correia
Intrusion Recovery Systems: A survey
TechRxiv pre-print
2023-09
Ricardo Moura, Ricardo Lopes, David R. Matos, Miguel L. Pardal, Miguel Correia
MultiTLS: using multiple and diverse ciphers for stronger secure channels
Computers & Security (COSE), Volume 132, pages 103342
2023-09
Guilherme Saraiva, Filipe Apolinário, Miguel L. Pardal
IM-DISCO: Invariant Mining for Detecting IntrusionS in Critical Operations
4th International Workshop on Cyber-Physical Security for Critical Infrastructures Protection (CPS4CIP).
Co-located with 28th European Symposium on Research in Computer Security (ESORICS).
2023-07
David R. Matos, Miguel L. Pardal, António Rito Silva, Miguel Correia
microVerum: Intrusion Recovery for Microservice Applications
IEEE Access
2023-06
Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia
Automatic Generation of Distributed Algorithms with Generative AI
53rd IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) -- Disrupt track (Disruptive Ideas and New Interdisciplinary Results)
2023-06
Francesco Pollicino, Samih Eisa, Pedro Rosa, Miguel L. Pardal, Mirco Marchetti
Decentralized position detection for moving vehicles
97th IEEE Vehicular Technology Conference (VTC)
2023-06
Pedro Maximino, Rui S. Cruz, Miguel L. Pardal
Smart Healthcare Monitoring System For Healthy Driving in Public Transportation
18th Iberian Conference on Information Systems and Technologies (CISTI)
2023-06
Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia
Synthesis of Fault-Tolerant Reliable Broadcast Algorithms with Reinforcement Learning
IEEE Access, Volume 11, Pages 62394-62408
2022-12
Duarte Nascimento, Miguel Ferreira, Miguel L. Pardal
Does Big Data Require Complex Systems? A Performance Comparison Between Spark and Unicage Shell Scripts
arXiv pre-print
2022-12
Miguel Ferreira, André Neves, Ricardo Gorjão, Carlos Cruz, Miguel L. Pardal
Smart meter data processing: a showcase for simple and efficient textual processing
arXiv pre-print
2022-12
Rafael Figueiredo, Samih Eisa, Miguel L. Pardal
SureRepute: Reputation System for Crowdsourced Location Witnesses
21st IEEE International Symposium on Network Computing and Applications (NCA)
2022-12
Lucas H. Vicente, Samih Eisa, Miguel L. Pardal
LoCaaS: Location-Certification-as-a-Service
21st IEEE International Symposium on Network Computing and Applications (NCA)
2022-12
Ricardo Grade, Samih Eisa, Miguel L. Pardal
Bluetooth Peer-to-Peer Location Certification with a Gamified Mobile Application
21st IEEE International Symposium on Network Computing and Applications (NCA)
2022-09
Filipe Apolinário, João Guiomar, Éric Hervé, Sven Hrastnik, Nelson Escravana, Miguel L. Pardal, Miguel Correia
ComSEC: Secure communications for baggage handling systems
International Workshop on Cyber-Physical Security for Critical Infrastructures Protection (CPS4CIP)
2022-08
Rui Claro, Samih Eisa, Miguel L. Pardal
Lisbon Hotspots: Wi-Fi access point dataset for time-bound location proofs
arXiv pre-print
2022-07
Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia
Learning to generate Reliable Broadcast Algorithms
arXiv pre-print
2022-07
João Antunes, Miguel L. Pardal, Luísa Coheur
A Study on the Best Way to Compress Natural Language Processing Models
IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)
2022-05
Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia
MIRES: Intrusion Recovery for Applications based on Backend-as-a-Service
IEEE Transactions on Cloud Computing
2022-04
João Tiago, Samih Eisa, Miguel L. Pardal
SureSpace: Orchestrating Beacons and Witnesses to Certify Device Location
ACM/SIGAPP 37th Symposium On Applied Computing (SAC)
2022-04
Filipe Apolinário, Nelson Escravana, Éric Hervé, Miguel L. Pardal, Miguel Correia
FingerCI: Generating Specifications for Critical Infrastructures
ACM/SIGAPP 37th Symposium On Applied Computing (SAC)
2021-12
David Matos, Miguel L. Pardal, Miguel Correia
Sanare: Pluggable Intrusion Recovery for Web Applications
IEEE Transactions on Dependable and Secure Computing
2021-11
Miguel Francisco, Samih Eisa, Miguel L. Pardal
Secure protocol buffers for Bluetooth Low-Energy communication with wearable devices
20th IEEE International Symposium on Network Computing and Applications (NCA)
2021-11
Pedro M. Rosa, Miguel L. Pardal, Gabriel Pestana
The ROAD to resilient location for the Internet of Vehicles poster
13th IEEE Vehicular Networking Conference (VNC)
2021-09
Miguel Ferreira, André Neves, Rodrigo Gorjão, Carlos Cruz, Miguel L. Pardal.
Smart meter data processing: a showcase for simple and efficient textual processing
Workshop on High-Performance and Reliable Big Data (HPBD)
2021-09
José Ferrão, Samih Eisa, Miguel L. Pardal
Offensive security assessment of a REST API for a location proof system
INForum
2021-09
Miguel Francisco, Samih Eisa, Miguel L. Pardal
POSE: Protocol Buffer-based Security Enhancement for Location Proof System on Constrained Devices comunicação
INForum
2021-09
Pedro Carvalho, Leonardo Sampaio Rocha, Samih Eisa, Miguel L. Pardal
Location Certificate Transparency for third-party-verifiable location proofs comunicação
INForum
2021-09
Pedro Teixeira, Samih Eisa, Miguel L. Pardal
Denial-of-service test-bed for distributed location proof system comunicação
INForum
2020-12
Diogo Vaz, David R. Matos, Miguel L. Pardal, and Miguel Correia
MIRES: Recovering Mobile Applications based on Backend-as-a-Service from Cyber Attacks
17th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous)
2020-11
Filipe Martins, David R. Matos, Miguel L. Pardal, Miguel Correia
Recoverable Token: Recovering from Intrusions against Digital Assets in Ethereum
19th IEEE International Symposium on Network Computing and Applications (NCA)
2020-10
Gabriel A. Maia, Rui L. Claro, Miguel L. Pardal
CROSS City: Wi-Fi Location Proofs for Smart Tourism
19th International Conference on Ad Hoc Networks and Wireless (AdHoc-Now)
2020-10
Henrique F. Santos, Rui L. Claro, Leonardo S. Rocha, Miguel L. Pardal
STOP: a location spoofing resistant vehicle inspection system
19th International Conference on Ad Hoc Networks and Wireless (AdHoc-Now)
2020-09
Ricardo Moura, David R. Matos, Miguel L. Pardal, Miguel Correia
MultiTLS: Secure communication channels with cipher suite diversity
35th International Conference on ICT Systems Security and Privacy Protection (IFIP SEC)
(also available in the Cryptology ePrint Archive, as Report 2020/1180)
2020-09
Miguel Amaral, Miguel L. Pardal, Hugues Mercier, Miguel Matos
FaultSee: Reproducible Fault Injection in Distributed Systems
16th European Dependable Computing Conference (EDCC)
2020-03
Ricardo Miranda, Miguel L. Pardal, António Grilo
Sensmart: Sensor Data Market for the Internet of Things
ACM/SIGAPP 35th Symposium On Applied Computing (SAC)
2020-01
José Brás, Miguel L. Pardal
BibTrek: A Graph Visualization Tool for Cybersecurity Research Publications
Technical Report, GitHub
2020-01
Tolentino Martins, Miguel L. Pardal, José Borges
Gestão de Vulnerabilidade e Risco no Suporte à Decisão
Proelium -- Revista Científica da Academia Militar
2019-09
Gabriel A. Maia, Miguel L. Pardal
CROSS: loCation pROof techniqueS for consumer mobile applicationS
INForum
2019-09
Henrique F. Santos, Miguel L. Pardal
Operation STOP: itinerary verification for smart vehicle inspections
INForum
2019-09
Sheng Wang, Rui Claro, Miguel L. Pardal
SPYKE: Security ProxY with Knowledge-based intrusion prEvention
INForum
2019-09
Miguel Amaral, Miguel L. Pardal, Miguel Matos
FaultSee: Avaliação Reproduzível de Sistemas Distribuídos Sujeitos a Faltas
INForum
2019-09
Pedro E. Carmo, Miguel L. Pardal
IoT Neighborhood Watch: device monitoring for anomaly detection comunicação
INForum
2018-12
David R. Matos, Miguel L. Pardal, Georg Carle, Miguel Correia
RockFS: Cloud-backed File System Resilience to Client-Side Attacks
ACM/IFIP/USENIX 19th International Middleware Conference
2018-11
Diogo Calado, Miguel L. Pardal
Tamper-proof incentive scheme for mobile crowdsensing systems
17th IEEE International Symposium on Network Computing and Applications (NCA)
2018-11
João Ferreira, Miguel L. Pardal
Witness-based location proofs for mobile devices (short)
17th IEEE International Symposium on Network Computing and Applications (NCA)
2018-09
Rui Claro, José Portêlo, Miguel L. Pardal, Raquel Pinho
Big Data Privacy by Design Computation Platform
4th International Conference on Machine Learning, Optimization, and Data Science (LOD)
2018-07
Filipe Apolinário, Miguel L. Pardal, Miguel Correia
S-Audit: Efficient Data Integrity Verification for Cloud Storage
17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications (IEEE TrustCom-18)
2018-05
Marcus Gomes, Miguel L. Pardal
Cloud vs Fog: assessment of alternative deployments for a latency-sensitive IoT application
9th International Conference on Ambient Systems, Networks and Technologies (ANT)
2018-05
João M. P. Moreira, Helena Galhardas, Miguel L. Pardal
LeanBench: comparing software stacks for batch and query processing of IoT data
9th International Conference on Ambient Systems, Networks and Technologies (ANT)
2018-04
David R. Matos, Miguel L. Pardal, Pedro Adão, António Rito Silva, Miguel Correia
Securing Electronic Health Records in the Cloud
EuroSys, Workshop on Privacy by Design in Distributed Systems
2018-04
José Camacho, Alberto Cunha, Miguel L. Pardal
IoT Middleware for Precision Agriculture: Workforce Monitoring in Olive Fields
Cyber-Physical Systems Week, Smart Farming Workshop
2018-03
Sergey Podanev, Miguel L. Pardal
WeSee: dynamic visualization of Web Service use
Proceedings of the Seminars Future Internet (FI) and Innovative Internet Technologies and Mobile Communication (IITM), Winter Semester 2017/2018, Chair of Network Architectures and Services, Department of Computer Science, Technische Universität München
2018-02
Miguel L. Pardal, Miguel Correia, André Joaquim, Karan Balu, Diogo Raposo, Isabel Costa, Ricardo Moura, Sree Harsha Totakura, Heiko Niedermayer
Deliverable 1.3: Final version of the private communication middleware components (technical report)
SafeCloud EU H2020 Project - DS-2014-1 653884
2017-12
David R. Matos, Miguel L. Pardal, Miguel Correia
Rectify: Black-Box Intrusion Recovery in PaaS Clouds
ACM/IFIP/USENIX 18th International Middleware Conference
2017-12
André Joaquim, Miguel L. Pardal, Miguel Correia
Vulnerability-Tolerant Transport Layer Security
21st International Conference on Principles of Distributed Systems (OPODIS)
2017-02
Miguel L. Pardal, Miguel Correia, André Joaquim, Karan Balu, Diogo Raposo, Luís Rodrigues, David R. Matos, Sree Harsha Totakura, Heiko Niedermayer
Deliverable 1.2: First version of the private communication middleware components (technical report)
SafeCloud EU H2020 Project - DS-2014-1 653884
2016-10
Diogo Raposo, Miguel L. Pardal, Luis Rodrigues, Miguel Correia
MACHETE: Multi-path Communication for Cloud Security
15th IEEE International Symposium on Network Computing and Applications (NCA)
2016-10
Karan H. Balu, Miguel L. Pardal, Miguel Correia
DARSHANA: Detecting Route Hijacking For Communication Confidentiality
15th IEEE International Symposium on Network Computing and Applications (NCA)
2016-10
André M. Joaquim, Miguel L. Pardal, Miguel Correia
vtTLS: A Vulnerability-Tolerant Communication Protocol (short)
15th IEEE International Symposium on Network Computing and Applications (NCA)
2016-09
Tomás Pinho, Miguel L. Pardal
UpdaThing: um sistema de atualizações seguro para a Internet das Coisas
INForum
2016-09
Samuel M. Coelho, Miguel L. Pardal
Smart Places: A framework to develop proximity-based mobile applications
INForum
2016-09
Tiago Diogo, Miguel L. Pardal
Arranque Seguro de Redes 6LoWPAN para prevenir Ataques Vampiro na Internet das Coisas comunicação
INForum
2016-09
José Camacho, Miguel L. Pardal, Alberto Cunha
Agricultura de Precisão com Sensores e Tecnologias da Internet das Coisas comunicação
INForum
2016-02
Miguel L. Pardal, Miguel Correia, Sree Harsha Totakura, Georg Carle, Karan Balu, André Joaquim, Diogo Raposo
Deliverable 1.1: Private communication middleware architecture (technical report)
SafeCloud EU H2020 Project - DS-2014-1 653884
2015-06
Miguel L. Pardal, José Alves Marques
TrakChain protects Track and Trace data in the Internet of (many) Things
(web)
Security and Privacy in Internet of Things (SPIoT), CHIST-ERA
2015-04
Miguel L. Pardal, José Alves Marques
TrakChain estimates costs for Track and Trace in the Internet of (many) Things
(web)
ERCIM News, 101
2014-07
Miguel L. Pardal
Scalable and secure RFID data discovery
Thesis to obtain the PhD Degree in Information Systems and
Computer Engineering, Instituto Superior Técnico, Universidade de Lisboa
2014
Miguel L. Pardal, Mark Harrison, Sanjay Sarma, José Alves Marques
Access Control Policies for Traceability Information Systems
International Journal of Computer Information Systems and Industrial Management Applications (IJCISIM), Volume 6, Pages 560-570, ISSN 2150-7988
2013
Miguel L. Pardal, Joana P. Pardal, José Alves Marques
Performance Assessment of Web Services in the STEP Framework
Communications in Computer and Information Science (CCIS), Volume 367, Pages 200-214
2013-04
Miguel L. Pardal, Mark Harrison, Sanjay Sarma, José Alves Marques
Expressive RFID data access policies for the Pharmaceuticals supply chain
IEEE International Conf. on RFID (IEEE RFID)
2013-04
Nuno Correia, Miguel L. Pardal, Mário Romano, José Alves Marques
Reduce RFID Implementation Costs With Middleware Improvements poster
IEEE International Conf. on RFID (IEEE RFID)
2012-11
Miguel L. Pardal, Mark Harrison, Sanjay Sarma, José Alves Marques
Performance Assessment of XACML Authorizations for Supply Chain Traceability Web Services
8th International Conf. on Next Generation Web Services Practices (NWeSP)
2012-11
Miguel L. Pardal, Mark Harrison, Sanjay Sarma, José Alves Marques
Enforcing RFID Data Visibility Restrictions Using XACML Security Policies
IEEE International Conf. on RFID Technology and Applications (IEEE RFID TA)
2012-09
Nuno Correia, Miguel L. Pardal, Mário Romano, José Alves Marques
RFID and Arduino: Managing RFID Events on a Real World Prototype
INForum
2012-04
Miguel L. Pardal, Mark Harrison, José Alves Marques
Assessment of Visibility Restriction Mechanisms for RFID Data Discovery Services
IEEE International Conf. on RFID (IEEE RFID)
2012-04
Miguel L. Pardal, Joana Paulo Pardal, José Alves Marques
Improving Web Services performance, one STEP at a time
2nd International Conf. on Cloud Computing and Services Science (CLOSER)
2011-09
Miguel L. Pardal, José Alves Marques
Cost Model for RFID-based Traceability Information Systems
IEEE International Conf. on RFID Technology and Applications (IEEE RFID TA)
2011-04
Miguel L. Pardal, José Alves Marques
Building an Assessment Framework for RFID Data Discovery Service Architectures poster
IEEE International Conf. on RFID (IEEE RFID)
2011-03
Miguel L. Pardal,
Traceability Cost Model
Technical Report
2010-11
Miguel L. Pardal,
Performance assessment of the STEP Framework
Technical Report
2010-10
João Carlos Caetano Leitão, Miguel L. Pardal
Smart Web Services: systems' integration using policy driven automatic configuration
Conference on Enterprise Information Systems (CENTERIS)
2010-06
Carlos Perdigão, Miguel L. Pardal
EPC Virtual Lab: Experiments using an RFID location simulator
4th International Workshop on RFID Technology - Concepts, Applications, Challenges (IWRT)
2010-06
Miguel L. Pardal, José Alves Marques
Towards the Internet of Things: An Introduction to RFID Technology
4th International Workshop on RFID Technology - Concepts, Applications, Challenges (IWRT)
2009-07
Miguel Pardal
Scalable and secure RFID data discovery
PhD Thesis Proposal, Instituto Superior Técnico
2008-10
Miguel L. Pardal
GS1 Identifier management architecture
Technical Report
2008-06
Miguel Pardal, Sérgio Fernandes, Jorge Martins, Joana Paulo Pardal
Customizing Web Services with Extensions in the STEP framework
International Journal of Web Services Practices (IJWSP), Volume 3, Issue 1
2008-01
Miguel Pardal
Computer science research for the Internet of Things
Technical Report
2007-10
Miguel Pardal
Core mechanisms for Web Services extensions
3rd International Conference on Next Generation Web Services Practices (NWeSP)
2007-10
Miguel Pardal
WS-Map: A web-based survey of Web Services standards poster
IADIS International Conference WWW/Internet
2006-12
Miguel Pardal
A survey and case-study evaluation of Web Services security technology
Technical Report
2006-10
Miguel Pardal, Alberto Cunha
Tecnologia de segurança para Web Services
Segurança Informática nas Organizações (SINO)
2006-09
Miguel Pardal
Segurança de aplicações empresariais em arquitecturas de serviços
Tese de Mestrado em Engenharia Informática e de Computadores,
Instituto Superior Técnico, Universidade Técnica de Lisboa
2006-02
Miguel Pardal
'Em construção': uma análise ao estado actual da plataforma de Serviços Web para negócio electrónico
XML: Aplicações e Tecnologias Associadas (XATA)
2005-01
Miguel Pardal
Resumo do melhor estágio em Engenharia Informática 2004: Integração de tecnologias Web em sistemas de informação de Banca e Seguros
Ingenium, II Série, Número 85, Janeiro/Fevereiro 2005
2004-07
Miguel Pardal, Alberto Cunha
Building multi-services in personal mobile devices based on partially trusted domains
Proc. of International IADIS Conference e-Society
2004-05
Marta Guerra, Miguel Pardal, Miguel Mira da Silva
An Integration Methodology based on the Enterprise Architecture
Proc. of the Conference of the UK Academy for Information Systems (UKAIS)
 |
Miguel L. Pardal |  |
 |
 |
PhD in Information Systems and Computer Engineering.
Assistant Professor at
Instituto Superior Técnico,
Universidade de Lisboa.
collaborations
students
Ciência Vitae: 6D1D-CA86-EF9C
ORCID: 0000-0003-2872-7300
Scopus: 24450985300
Web of Science ResearcherID: A-1153-2010
Disclaimer:
The material is made available here for academic dissemination purposes.
All copy and distribution rights belong to the authors and/or publishers.
Anyone accessing this information should abide to the terms and restrictions.
Most of these works cannot be reprinted or redistributed without previous authorization.
O material está aqui disposto para garantir a disseminação de trabalho académico e escolar. Todos os direitos cópia e distribuição dos trabalhos aqui apresentados pertencem aos autores ou editores. Todas as pessoas que copiem esta informação devem aderir aos termos e restrições impostas pelos detentores dos respectivos direitos. Note-se que muitos destes trabalhos não podem ser reimpressos ou distribuídos sem autorização prévia.