Miguel L. Pardal

68 papers A 2B 17C 2Misc 5Journal 17Unranked 25

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	ChainGuards: Verification of Sensed Data using Permissioned Blockchain Technology. CoRR Sara Aguincha, Emanuel Nunes, Samih Eisa, Miguel L. Pardal
2026	J	`jnl`	Integration Adapter Architecture for Food Traceability Blockchain. CoRR André Romão, Francisco Faria, João R. Matos, Emanuel Nunes, Samih Eisa, Miguel L. Pardal
2025	—	`conf`	AI-Generated Distributed Algorithms: Paving the Way for More Dependable Distributed Systems. EDCC-C Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia
2025	B	`conf`	Bonsai: A Recovery Approach for Ethereum ERC-20 Transactions. NCA Diogo Melita, David R. Matos, Miguel L. Pardal
2025	B	`conf`	CC2C: Confidential Channel-to-Channel Data Exchange in a Permissioned Blockchain. NCA Emanuel Nunes, Samih Eisa, Miguel L. Pardal, Mário Calha
2025	—	`conf`	ChainGuard: Verified Data Intake for a Track & Trace Blockchain. EDCC-C André Avelar, Samih Eisa, Orlando Remédios, Miguel L. Pardal
2025	—	`conf`	Dependable Food Traceability Data Through Blockchain and Database Integration. EDCC-C Lourenço Preto, Samih Eisa, Orlando Remédios, David R. Matos, Miguel L. Pardal
2025	B	`conf`	EvoChain: A Recovery Approach for Permissioned Blockchain Applications. NCA Francisco Faria, Samih Eisa, David R. Matos, Miguel L. Pardal
2025	—	`conf`	IoT Smart Door Lock with Wireless Key Sharing for Short Term Multi-Level Building Access. IOTSMS Bernardo Cabral Marques, Miguel L. Pardal, Rui Policarpo Duarte
2025	B	`conf`	Road Sight Unit: Edge Image Processing for Vehicle Trajectory and Collision Prediction. NCA José Cutileiro, Pedro Rosa, Orlando Remédios, Miguel L. Pardal
2025	—	`conf`	SafeBike: improving collision warnings using wayward path prediction. VTC2025-Fall Simão Gato, Pedro Rosa, Orlando Remédios, Miguel L. Pardal
2024	J	`jnl`	Decentralized Storage And Self-Sovereign Identity For Document-Based Claims. CoRR Bruno Gomes, Samih Eisa, David R. Matos, Miguel L. Pardal
2024	J	`jnl`	EvoChain: a Recovery Approach for Permissioned Blockchain Applications. CoRR Francisco Faria, Samih Eisa, David R. Matos, Miguel L. Pardal
2024	J	`jnl`	FingerCI: Writing industrial process specifications from network traffic. Int. J. Crit. Infrastructure Prot. Filipe Apolinário, Nelson Escravana, Éric Hervé, Miguel L. Pardal, Miguel Correia
2024	—	`conf`	SafeWalk: Early Warning System for Pedestrians. VTC Fall Diogo Dias, Pedro M. Rosa, Miguel L. Pardal
2023	—	`conf`	Automatic Generation of Distributed Algorithms with Generative AI. DSN-S Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia
2023	—	`conf`	Decentralized position detection for moving vehicles. VTC2023-Spring Francesco Pollicino, Samih Eisa, Pedro M. Rosa, Miguel L. Pardal, Mirco Marchetti
2023	—	`conf`	IM-DISCO: Invariant Mining for Detecting IntrusionS in Critical Operations. ESORICS Workshops (2) Guilherme Saraiva, Filipe Apolinário, Miguel L. Pardal
2023	J	`jnl`	MIRES: Intrusion Recovery for Applications Based on Backend-As-a-Service. IEEE Trans. Cloud Comput. Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia
2023	J	`jnl`	MultiTLS: using multiple and diverse ciphers for stronger secure channels. Comput. Secur. Ricardo Moura, Ricardo Lopes, David R. Matos, Miguel L. Pardal, Miguel Correia
2023	J	`jnl`	RaDiO: An efficient spatiotemporal radiation diagnostic for particle-in-cell codes. Comput. Phys. Commun. Miguel L. Pardal, A. Sainte-Marie, A. Reboul-Salze, Ricardo A. Fonseca, Jorge Vieira
2023	J	`jnl`	Sanare: Pluggable Intrusion Recovery for Web Applications. IEEE Trans. Dependable Secur. Comput. David R. Matos, Miguel L. Pardal, Miguel Correia
2023	J	`jnl`	Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning. IEEE Access Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia
2023	J	`jnl`	μVerum: Intrusion Recovery for Microservice Applications. IEEE Access David R. Matos, Miguel L. Pardal, António Rito Silva, Miguel Correia
2022	B	`ed.`	21st IEEE International Symposium on Network Computing and Applications, NCA 2022, Boston, MA, USA, December 14-16, 2022 NCA Michele Colajanni, Luca Ferretti, Miguel L. Pardal, Dimiter R. Avresky
2022	B	`conf`	A Study on the Best Way to Compress Natural Language Processing Models. FUZZ-IEEE João Antunes, Miguel L. Pardal, Luísa Coheur
2022	B	`conf`	Bluetooth Peer-to-Peer Location Certification with a Gamified Mobile Application. NCA Ricardo Grade, Samih Eisa, Miguel L. Pardal
2022	—	`conf`	ComSEC: Secure Communications for Baggage Handling Systems. CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS Filipe Apolinário, João Guiomar, Éric Hervé, Sven Hrastnik, Nelson Escravana, Miguel L. Pardal, Miguel Correia
2022	J	`jnl`	Does Big Data Require Complex Systems? A Performance Comparison Between Spark and Unicage Shell Scripts. CoRR Duarte M. Nascimento, Miguel Ferreira, Miguel L. Pardal
2022	Misc	`conf`	FingerCI: generating specifications for critical infrastructures. SAC Filipe Apolinário, Nelson Escravana, Éric Hervé, Miguel L. Pardal, Miguel Correia
2022	J	`jnl`	Learning to generate Reliable Broadcast Algorithms. CoRR Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia
2022	J	`jnl`	Lisbon Hotspots: Wi-Fi access point dataset for time-bound location proofs. CoRR Rui Claro, Samih Eisa, Miguel L. Pardal
2022	B	`conf`	LoCaaS: Location-Certification-as-a-Service. NCA Lucas H. Vicente, Samih Eisa, Miguel L. Pardal
2022	J	`jnl`	Smart meter data processing: a showcase for simple and efficient textual processing. CoRR Miguel Ferreira, André Neves, Rodrigo Gorjão, Carlos Cruz, Miguel L. Pardal
2022	B	`conf`	SureRepute: Reputation System for Crowdsourced Location Witnesses. NCA Rafael Figueiredo, Samih Eisa, Miguel L. Pardal
2022	Misc	`conf`	SureSpace: orchestrating beacons and witnesses to certify device location. SAC João Tiago, Samih Eisa, Miguel L. Pardal
2021	—	`conf`	Poster: The ROAD to resilient location for the Internet of Vehicles. VNC Pedro M. Rosa, Miguel L. Pardal, Gabriel Pestana
2021	B	`conf`	Secure protocol buffers for Bluetooth Low-Energy communication with wearable devices. NCA Miguel C. Francisco, Samih Eisa, Miguel L. Pardal
2020	—	`conf`	CROSS City: Wi-Fi Location Proofs for Smart Tourism. ADHOC-NOW Gabriel A. Maia, Rui L. Claro, Miguel L. Pardal
2020	Misc	`conf`	FaultSee: Reproducible Fault Injection in Distributed Systems. EDCC Miguel Amaral, Miguel L. Pardal, Hugues Mercier, Miguel Matos
2020	C	`conf`	MIRES: Recovering Mobile Applications based on Backend-as-a-Service from Cyber Attacks. MobiQuitous Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel P. Correia
2020	Misc	`conf`	MultiTLS: Secure Communication Channels with Cipher Suite Diversity. SEC Ricardo Moura, David R. Matos, Miguel L. Pardal, Miguel Correia
2020	J	`jnl`	MultiTLS: Secure communication channels with cipher suite diversity. IACR Cryptol. ePrint Arch. Ricardo Moura, David R. Matos, Miguel L. Pardal, Miguel Correia
2020	B	`conf`	Recoverable Token: Recovering from Intrusions against Digital Assets in Ethereum. NCA Filipe F. Martins, David R. Matos, Miguel L. Pardal, Miguel Correia
2020	—	`conf`	STOP: A Location Spoofing Resistant Vehicle Inspection System. ADHOC-NOW Henrique F. Santos, Rui L. Claro, Leonardo S. Rocha, Miguel L. Pardal
2020	Misc	`conf`	Sensmart: sensor data market for the internet of things. SAC Ricardo Miranda, Miguel L. Pardal, António Grilo
2018	—	`conf`	Big Data Privacy by Design Computation Platform. LOD Rui Claro, José Portêlo, Miguel L. Pardal, Raquel Pinho
2018	—	`conf`	Cloud vs Fog: assessment of alternative deployments for a latency-sensitive IoT application. ANT/SEIT Marcus Gomes, Miguel L. Pardal
2018	—	`conf`	LeanBench: comparing software stacks for batch and query processing of IoT data. ANT/SEIT João M. P. Moreira, Helena Galhardas, Miguel L. Pardal
2018	A	`conf`	RockFS: Cloud-backed File System Resilience to Client-Side Attacks. Middleware David R. Matos, Miguel L. Pardal, Georg Carle, Miguel Correia
2018	—	`conf`	S-Audit: Efficient Data Integrity Verification for Cloud Storage. TrustCom/BigDataSE Filipe Apolinario, Miguel L. Pardal, Miguel Correia
2018	—	`conf`	Securing Electronic Health Records in the Cloud. P2DS@EuroSys David R. Matos, Miguel L. Pardal, Pedro Adão, António Rito Silva, Miguel Correia
2018	B	`conf`	Tamper-Proof Incentive Scheme for Mobile Crowdsensing Systems. NCA Diogo Calado, Miguel L. Pardal
2018	B	`conf`	Witness-Based Location Proofs for Mobile Devices. NCA João Ferreira, Miguel L. Pardal
2017	A	`conf`	Rectify: black-box intrusion recovery in PaaS clouds. Middleware David R. Matos, Miguel L. Pardal, Miguel Correia
2017	B	`conf`	Vulnerability-Tolerant Transport Layer Security. OPODIS André Joaquim, Miguel L. Pardal, Miguel Correia
2016	B	`conf`	DARSHANA: Detecting route hijacking for communication confidentiality. NCA Karan Balu, Miguel L. Pardal, Miguel Correia
2016	B	`conf`	MACHETE: Multi-path communication for security. NCA Diogo Raposo, Miguel L. Pardal, Luís E. T. Rodrigues, Miguel Correia
2016	B	`conf`	vtTLS: A vulnerability-tolerant communication protocol. NCA André Joaquim, Miguel L. Pardal, Miguel Correia
2015	J	`jnl`	TrakChain Estimates Costs for Track and Trace in the Internet of (many) Things. ERCIM News Miguel L. Pardal, José Alves Marques
2012	—	`conf`	Enforcing RFID data visibility restrictions using XACML security policies. RFID-TA Miguel L. Pardal, Mark Harrison, Sanjay E. Sarma, José Alves Marques
2012	C	`conf`	Improving Web Services Performance, One Step at a Time. CLOSER Miguel L. Pardal, Joana Paulo Pardal, José Alves Marques
2012	—	`conf`	Performance Assessment of Web Services in the STEP Framework. CLOSER (Selected Papers) Miguel L. Pardal, Joana Paulo Pardal, José Alves Marques
2012	—	`conf`	Performance assessment of XACML authorizations for Supply Chain Traceability Web Services. CASoN Miguel L. Pardal, Mark Harrison, Sanjay E. Sarma, José Alves Marques
2011	—	`conf`	Cost model for RFID-based traceability information systems. RFID-TA Miguel L. Pardal, José Alves Marques
2010	—	`conf`	EPC Virtual Lab: Experiments using an RFID Location Simulator. IWRT Carlos Perdigão, Miguel L. Pardal
2010	—	`conf`	Smart Web Services: Systems' Integration Using Policy Driven Automatic Configuration. CENTERIS (2) João C. C. Leitão, Miguel L. Pardal
2010	—	`conf`	Towards the Internet of Things: An Introduction to RFID Technology. IWRT Miguel L. Pardal, José Alves Marques