Miguel Correia

215 papers A* 5A 22B 43C 16Misc 7Journal 78Unranked 43

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Exploiting Liquidity Exhaustion Attacks in Intent-Based Cross-Chain Bridges. CoRR André Augusto, Christof Ferreira Torres, André Vasconcelos, Miguel Correia
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	J	`jnl`	An efficient blockchain for decentralized ABAC policy decision point. Future Gener. Comput. Syst. Qiwei Hu, Miguel Correia, Tao Jiang
2025	—	`conf`	Automatic Cross-chain Protocol Pausing with Real-time Conformance Checking. BRAINS Bruno Mateus, André Augusto, Rafael Belchior, André Vasconcelos, Miguel Correia
2025	J	`jnl`	Blockchain Oracles for Real Estate Rental. CoRR Nuno Braz, João F. Santos, Tiago Dias, Miguel Correia
2025	J	`jnl`	Cyber Attacks on Commercial Drones: A Review. IEEE Access Bruno Branco, José Silvestre Serra Silva, Miguel Correia
2025	B	`conf`	Decentralised Land Registration and Transaction with Blockchain and Self-Sovereign Identity. SRDS Pedro C. Henriques, Miguel Correia
2025	J	`jnl`	Document Data Matching for Blockchain-Supported Real Estate. CoRR Henrique Lin, Tiago Dias, Miguel Correia
2025	—	`conf`	Handling Assets in the Secure Asset Transfer Protocol - One Schema to Handle Them All (Position Paper). EDCC-C Rodolfo Carapau, André Augusto, André Vasconcelos, Miguel Correia
2025	—	`conf`	Large Language Models for Explainable Threat Intelligence. EDCC-C Tiago Dinis, Roger Tavares, Miguel Correia
2025	J	`jnl`	Large Language Models for Explainable Threat Intelligence. CoRR Tiago Dinis, Miguel Correia, Roger Tavares
2025	—	`conf`	Looking for Anomalies in Cross-Chain Bridges. DSN-S André Augusto, Rafael Belchior, Jonas Pfannschmidt, André Vasconcelos, Miguel Correia
2025	—	`conf`	Visualization of Cross-Chain Transactions for Secure Blockchain Interoperability (Position Paper). EDCC-C Jorge Santos, André Augusto, André Vasconcelos, Miguel Correia
2025	J	`jnl`	XChainDataGen: A Cross-Chain Dataset Generation Framework. CoRR André Augusto, André Vasconcelos, Miguel Correia, Luyao Zhang
2025	A	`conf`	XChainWatcher: Identifying Anomalies in Cross-Chain Bridges. Middleware André Augusto, Rafael Belchior, Jonas Pfannschmidt, André Vasconcelos, Miguel Correia
2024	J	`jnl`	A Brief History of Blockchain Interoperability. Commun. ACM Rafael Belchior, Jan Süßenguth, Qi Feng, Thomas Hardjono, André Vasconcelos, Miguel Correia
2024	—	`conf`	An Enterprise Architecture Approach to Semantic Blockchain Interoperability. ICEIS (2) Sebastião Sotto-Mayor, Rafael Belchior, Miguel Correia, André Vasconcelos
2024	J	`jnl`	BUNGEE: Dependable Blockchain Views for Interoperability. Distributed Ledger Technol. Res. Pract. Rafael Belchior, Limaris Torres, Jonas Pfannschmidt, André Vasconcelos, Miguel Correia
2024	—	`conf`	Benchmarking Blockchain Bridge Aggregators. Blockchain Shankar Subramanian, André Augusto, Rafael Belchior, André Vasconcelos, Miguel Correia
2024	J	`jnl`	D3S: A Drone Security Scoring System. Inf. Bruno Branco, José Silvestre Serra Silva, Miguel Correia
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	J	`jnl`	Hephaestus: Modeling, Analysis, and Performance Evaluation of Cross-Chain Transactions. IEEE Trans. Reliab. Rafael Belchior, Peter Somogyvari, Jonas Pfannschmidt, André Vasconcelos, Miguel Correia
2024	C	`conf`	Multi-Party Cross-Chain Asset Transfers. ICBC André Augusto, Rafael Belchior, André Vasconcelos, Miguel Correia, Thomas Hardjono
2024	J	`jnl`	Peregrine: ML-based Malicious Traffic Detection for Terabit Networks. CoRR João Romeiras Amado, Francisco Pereira, David Pissarra, Salvatore Signorello, Miguel Correia, Fernando M. V. Ramos
2024	J	`jnl`	PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems. Formal Aspects Comput. Cláudio Correia, Rita Prates, Luís Fonseca, Miguel Correia, Luís E. T. Rodrigues
2024	A*	`conf`	SoK: Security and Privacy of Blockchain Interoperability. SP André Augusto, Rafael Belchior, Miguel Correia, André Vasconcelos, Luyao Zhang, Thomas Hardjono
2024	J	`jnl`	XAI for Skin Cancer Detection with Prototypes and Non-Expert Supervision. CoRR Miguel Correia, Alceu Bissoto, Carlos Santiago, Catarina Barata
2024	J	`jnl`	XChainWatcher: Monitoring and Identifying Attacks in Cross-Chain Bridges. CoRR André Augusto, Rafael Belchior, Jonas Pfannschmidt, André Vasconcelos, Miguel Correia
2023	—	`conf`	Automatic Generation of Distributed Algorithms with Generative AI. DSN-S Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia
2023	C	`conf`	CBDC Bridging between Hyperledger Fabric and Permissioned EVM-based Blockchains. ICBC André Augusto, Rafael Belchior, Imre Kocsis, László Gönczy, André Vasconcelos, Miguel Correia
2023	A	`conf`	Decentralised Autonomous Organisations for Public Procurement. EASE Felix Monteiro, Miguel Correia
2023	Misc	`conf`	Deduplication vs Privacy Tradeoffs in Cloud Storage. SAC Rodrigo Silva, Cláudio Correia, Miguel Correia, Luís E. T. Rodrigues
2023	J	`jnl`	Do You Need a Distributed Ledger Technology Interoperability Solution? Distributed Ledger Technol. Res. Pract. Rafael Belchior, Luke Riley, Thomas Hardjono, André Vasconcelos, Miguel Correia
2023	—	`conf`	Global and Local Explanations for Skin Cancer Diagnosis Using Prototypes. ISIC/Care-AI/MedAGI/DeCaF@MICCAI Carlos Santiago, Miguel Correia, Maria Rita Verdelho, Alceu Bissoto, Catarina Barata
2023	C	`conf`	I Can't Escape Myself: Cloud Inter-Processor Attestation and Sealing using Intel SGX. PRDC Daniel Andrade, João Nuno Silva, Miguel Correia
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`	Monintainer: An orchestration-independent extensible container-based monitoring solution for large clusters. J. Syst. Archit. Miguel Correia, Wellington Oliveira, José Cecílio
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	C	`conf`	PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems. PRDC Cláudio Correia, Rita Prates, Miguel Correia, Luís E. T. Rodrigues
2023	A*	`conf`	Poster: In-Network ML Feature Computation for Malicious Traffic Detection. SIGCOMM João Romeiras Amado, Francisco Chamiça Pereira, Salvatore Signorello, Miguel Correia, Fernando M. V. Ramos
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	B	`conf`	TrustGlass: Human-Computer Trusted Paths with Augmented Reality Smart Glasses. TrustCom Hélio Borges, Daniel Andrade, João Nuno Silva, Miguel Correia
2023	J	`jnl`	Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge (Extended Version). CoRR Cláudio Correia, Miguel Correia, Luís E. T. Rodrigues
2023	A*	`conf`	Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge. CCS Cláudio Correia, Miguel Correia, Luís E. T. Rodrigues
2023	J	`jnl`	Vivisecting the Dissection: On the Role of Trusted Components in BFT Protocols. CoRR Alysson Bessani, Miguel Correia, Tobias Distler, Rüdiger Kapitza, Paulo Esteves Veríssimo, Jiangshan Yu
2023	J	`jnl`	μVerum: Intrusion Recovery for Microservice Applications. IEEE Access David R. Matos, Miguel L. Pardal, António Rito Silva, Miguel Correia
2022	J	`jnl`	A Survey on Blockchain Interoperability: Past, Present, and Future Trends. ACM Comput. Surv. Rafael Belchior, André Vasconcelos, Sérgio Guerreiro, Miguel Correia
2022	J	`jnl`	A survey on business process view integration: past, present and future applications to blockchain. Bus. Process. Manag. J. Rafael Belchior, Sérgio Guerreiro, André Vasconcelos, Miguel Correia
2022	Misc	`conf`	Anonymous Trusted Data Relocation for TEEs. SEC Vasco Guita, Daniel Andrade, João Nuno Silva, Miguel Correia
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	Misc	`conf`	FingerCI: generating specifications for critical infrastructures. SAC Filipe Apolinário, Nelson Escravana, Éric Hervé, Miguel L. Pardal, Miguel Correia
2022	J	`jnl`	Hermes: Fault-tolerant middleware for blockchain interoperability. Future Gener. Comput. Syst. Rafael Belchior, André Vasconcelos, Miguel Correia, Thomas Hardjono
2022	J	`jnl`	Learning to generate Reliable Broadcast Algorithms. CoRR Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia
2022	J	`jnl`	Omega: A Secure Event Ordering Service for the Edge. IEEE Trans. Dependable Secur. Comput. Cláudio Correia, Miguel Correia, Luís Rodrigues
2022	J	`jnl`	SRX-Secure Data Backup and Recovery for SGX Applications. IEEE Access Daniel Andrade, João Silva, Miguel Correia
2022	J	`jnl`	Statically Detecting Vulnerabilities by Processing Programming Languages as Natural Languages. IEEE Trans. Reliab. Ibéria Medeiros, Nuno Neves, Miguel Correia
2021	B	`conf`	CyberVTI: Cyber Visualization Tool for Intrusion Detection. NCA Pedro Marques, Luís Dias, Miguel Correia
2021	—	`conf`	Enabling Cross-Jurisdiction Digital Asset Transfer. SCC Rafael Belchior, André Vasconcelos, Miguel Correia, Thomas Hardjono
2021	J	`jnl`	Secure cloud-of-clouds storage with space-efficient secret sharing. IACR Cryptol. ePrint Arch. Ahad Niknia, Miguel Correia, Jaber Karimpour
2021	J	`jnl`	Secure cloud-of-clouds storage with space-efficient secret sharing. J. Inf. Secur. Appl. Ahad Niknia, Miguel Correia, Jaber Karimpour
2021	B	`conf`	Virtual Static Security Analyzer for Web Applications. TrustCom Mihail Brinza, Miguel Correia, João Pereira
2020	J	`jnl`	A Survey on Blockchain Interoperability: Past, Present, and Future Trends. CoRR Rafael Belchior, André Vasconcelos, Sérgio Guerreiro, Miguel Correia
2020	J	`jnl`	A Survey on Business Process View Integration. CoRR Rafael Belchior, Sérgio Guerreiro, André Vasconcelos, Miguel Correia
2020	—	`conf`	Blockchain Ecosystem for Verifiable Qualifications. BRAINS Diogo Serranito, André Vasconcelos, Sérgio Guerreiro, Miguel Correia
2020	B	`conf`	C2BID: Cluster Change-Based Intrusion Detection. TrustCom Tiago Fernandes, Luís Dias, Miguel Correia
2020	B	`conf`	CryingJackpot: Network Flows and Performance Counters against Cryptojacking. NCA Gilberto Gomes, Luís Dias, Miguel Correia
2020	B	`conf`	Cryptojacking Detection with CPU Usage Metrics. NCA Fábio Gomes, Miguel Correia
2020	J	`jnl`	Decentralized Business Process Control using Blockchain An experience report from two applications: Food Supply Chain and Car Registration. Enterp. Model. Inf. Syst. Archit. Sérgio Guerreiro, Diogo Silva, Tiago Rosado, André Vasconcelos, Miguel Correia, Pedro Sousa
2020	J	`jnl`	Fireplug: Efficient and Robust Geo-Replication of Graph Databases. IEEE Trans. Parallel Distributed Syst. Ray Neiheiser, Luciana Rech, Manuel Bravo, Luís E. T. Rodrigues, Miguel Correia
2020	B	`conf`	Go With the Flow: Clustering Dynamically-Defined NetFlow Features for Network Intrusion Detection with DynIDS. NCA Luís Dias, Simão Valente, Miguel Correia
2020	B	`conf`	MERLIN: Multi-Language Web Vulnerability Detection. NCA Alexandra Figueiredo, Tatjana Lide, David R. Matos, Miguel Correia
2020	—	`conf`	Multi-Language Web Vulnerability Detection. ISSRE Workshops Alexandra Figueiredo, Tatjana Lide, Miguel 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	A	`conf`	Omega: a Secure Event Ordering Service for the Edge. DSN Cláudio Correia, Miguel Correia, Luís Rodrigues
2020	B	`conf`	P2CSTORE: P2P and Cloud File Storage for Blockchain Applications. NCA Marcelo Silva, Miguel Matos, Miguel Correia
2020	B	`conf`	Poster: Speeding Up Network Intrusion Detection. ICNP João Romeiras Amado, Salvatore Signorello, Miguel Correia, Fernando M. V. Ramos
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	B	`conf`	SSIBAC: Self-Sovereign Identity Based Access Control. TrustCom Rafael Belchior, Benedikt Putz, Günther Pernul, Miguel Correia, André Vasconcelos, Sérgio Guerreiro
2020	B	`conf`	Towards Quantum-Enhanced Machine Learning for Network Intrusion Detection. NCA Arnaldo Gouveia, Miguel Correia
2020	—	`conf`	Towards Secure, Decentralized, and Automatic Audits With Blockchain. ECIS Rafael Belchior, Miguel Correia, André Vasconcelos
2019	J	`jnl`	An empirical study on combining diverse static analysis tools for web security vulnerabilities based on development scenarios. Computing Paulo Jorge Costa Nunes, Ibéria Medeiros, José Fonseca, Nuno Neves, Miguel Correia, Marco Vieira
2019	—	`conf`	BlockSim: Blockchain Simulator. Blockchain Carlos Faria, Miguel Correia
2019	—	`conf`	Genet: A Quickly Scalable Fat-Tree Overlay for Personal Volunteer Computing using WebRTC. SASO Erick Lavoie, Laurie J. Hendren, Frédéric Desprez, Miguel Correia
2019	J	`jnl`	Genet: A Quickly Scalable Fat-Tree Overlay for Personal Volunteer Computing using WebRTC. CoRR Erick Lavoie, Laurie J. Hendren, Frédéric Desprez, Miguel Correia
2019	—	`conf`	JusticeChain: Using Blockchain to Protect Justice Logs. OTM Conferences Rafael Belchior, Miguel Correia, André Vasconcelos
2019	B	`conf`	OutGene: Detecting Undefined Network Attacks with Time Stretching and Genetic Zooms. NSS Luís Dias, Hélder Reia, Rui Neves, Miguel Correia
2019	A	`conf`	Pando: Personal Volunteer Computing in Browsers. Middleware Erick Lavoie, Laurie J. Hendren, Frederic Desprez, Miguel Correia
2019	J	`jnl`	SEPTIC: Detecting Injection Attacks and Vulnerabilities Inside the DBMS. IEEE Trans. Reliab. Ibéria Medeiros, Miguel Beatriz, Nuno Neves, Miguel Correia
2019	J	`jnl`	Statically Detecting Vulnerabilities by Processing Programming Languages as Natural Languages. CoRR Ibéria Medeiros, Nuno Neves, Miguel Correia
2018	J	`jnl`	Benchmarking Static Analysis Tools for Web Security. IEEE Trans. Reliab. Paulo Jorge Costa Nunes, Iberia Medeiros, José Fonseca, Nuno Neves, Miguel Correia, Marco Vieira
2018	—	`conf`	Fireplug: Flexible and robust N-version geo-replication of graph databases. ICOIN Ray Neiheiser, Daniel Presser, Luciana Rech, Manuel Bravo, Luís E. T. Rodrigues, Miguel Correia
2018	—	`conf`	FlowHacker: Detecting Unknown Network Attacks in Big Traffic Data Using Network Flows. TrustCom/BigDataSE Luis Sacramento, Iberia Medeiros, Joao Bota, Miguel Correia
2018	C	`conf`	Introspection for ARM TrustZone with the ITZ Library. QRS Miguel Guerra, Benjamin Taubmann, Hans P. Reiser, Sileshi Demesie Yalew, Miguel Correia
2018	C	`conf`	Koordinator: A Service Approach for Replicating Docker Containers in Kubernetes. ISCC Hylson Vescovi Netto, Aldelir Fernando Luiz, Miguel Correia, Luciana de Oliveira Rech, Caio Pereira Oliveira
2018	C	`conf`	Leveraging ARM TrustZone and Verifiable Computing to Provide Auditable Mobile Functions. MobiQuitous Nuno O. Duarte, Sileshi Demesie Yalew, Nuno Santos, Miguel Correia
2018	J	`jnl`	Pando: a Volunteer Computing Platform for the Web. CoRR Erick Lavoie, Laurie J. Hendren, Frederic Desprez, Miguel Correia
2018	J	`jnl`	REPSYS: A Robust and Distributed Incentive Scheme for Collaborative Caching and Dissemination in Content-Centric Cellular-Based Vehicular Delay-Tolerant Networks. IEEE Wirel. Commun. Naércio Magaia, Zhengguo Sheng, Paulo Rogério Pereira, Miguel Correia
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	J	`jnl`	ePRIVO: An Enhanced PRIvacy-preserVing Opportunistic Routing Protocol for Vehicular Delay-Tolerant Networks. IEEE Trans. Veh. Technol. Naércio Magaia, Carlos Borrego, Paulo Rogério Pereira, Miguel Correia
2017	—	`conf`	A Systematic Approach for the Application of Restricted Boltzmann Machines in Network Intrusion Detection. IWANN (1) Arnaldo Gouveia, Miguel Correia
2017	B	`conf`	Chrysaor: Fine-Grained, Fault-Tolerant Cloud-of-Clouds MapReduce. CCGrid Pedro A. R. S. Costa, Fernando M. V. Ramos, Miguel Correia
2017	A	`conf`	Demonstrating a Tool for Injection Attack Prevention in MySQL. DSN Iberia Medeiros, Miguel Beatriz, Nuno Ferreira Neves, Miguel Correia
2017	B	`conf`	DroidPosture: A trusted posture assessment service for mobile devices. WiMob Sileshi Demesie Yalew, Gerald Q. Maguire Jr., Seif Haridi, Miguel Correia
2017	B	`conf`	Hail to the Thief: Protecting data from mobile ransomware with ransomsafedroid. NCA Sileshi Demesie Yalew, Gerald Q. Maguire Jr., Seif Haridi, Miguel Correia
2017	Misc	`conf`	On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study. EDCC Paulo Jorge Costa Nunes, Iberia Medeiros, José Fonseca, Nuno Ferreira Neves, Miguel Correia, Marco Vieira
2017	J	`jnl`	On the Design of Resilient Multicloud MapReduce. IEEE Cloud Comput. Pedro A. R. S. Costa, Fernando M. V. Ramos, Miguel Correia
2017	B	`conf`	PRIVO: A privacy-preserving opportunistic routing protocol for delay tolerant networks. Networking Naércio Magaia, Carlos Borrego, Paulo Pereira, Miguel Correia
2017	A	`conf`	REPSYS: A Robust and Distributed Reputation System for Delay-Tolerant Networks. MSWiM Naércio Magaia, Paulo Rogério Pereira, Miguel Correia
2017	A	`conf`	Rectify: black-box intrusion recovery in PaaS clouds. Middleware David R. Matos, Miguel L. Pardal, Miguel Correia
2017	J	`jnl`	State machine replication in containers managed by Kubernetes. J. Syst. Archit. Hylson Vescovi Netto, Lau Cheuk Lung, Miguel Correia, Aldelir Fernando Luiz, Luciana Moreira Sá de Souza
2017	—	`conf`	T2Droid: A TrustZone-Based Dynamic Analyser for Android Applications. TrustCom/BigDataSE/ICESS Sileshi Demesie Yalew, Gerald Q. Maguire Jr., Seif Haridi, Miguel Correia
2017	B	`conf`	TruApp: A TrustZone-based authenticity detection service for mobile apps. WiMob Sileshi Demesie Yalew, Pedro Mendonça, Gerald Q. Maguire Jr., Seif Haridi, Miguel Correia
2017	B	`conf`	Vulnerability-Tolerant Transport Layer Security. OPODIS André Joaquim, Miguel L. Pardal, Miguel Correia
2017	—	`conf`	Xor-Overlay Topology Management beyond Kademlia. SASO Erick Lavoie, Miguel Correia, Laurie J. Hendren
2016	B	`conf`	DARSHANA: Detecting route hijacking for communication confidentiality. NCA Karan Balu, Miguel L. Pardal, Miguel Correia
2016	A	`conf`	DEKANT: a static analysis tool that learns to detect web application vulnerabilities. ISSTA Ibéria Medeiros, Nuno Ferreira Neves, Miguel Correia
2016	J	`jnl`	Detecting and Removing Web Application Vulnerabilities with Static Analysis and Data Mining. IEEE Trans. Reliab. Iberia Medeiros, Nuno Ferreira Neves, Miguel Correia
2016	A	`conf`	Equipping WAP with WEAPONS to Detect Vulnerabilities: Practical Experience Report. DSN Iberia Medeiros, Nuno Ferreira Neves, Miguel Correia
2016	B	`conf`	Feature set tuning in statistical learning network intrusion detection. NCA Arnaldo Gouveia, Miguel Correia
2016	—	`conf`	Fingerprinting for Web Applications: From Devices to Related Groups. Trustcom/BigDataSE/ISPA Christine Blakemore, João Redol, Miguel Correia
2016	—	`conf`	Hacking the DBMS to Prevent Injection Attacks. CODASPY Iberia Medeiros, Miguel Beatriz, Nuno Ferreira Neves, Miguel Correia
2016	J	`jnl`	JITeR: Just-in-time application-layer routing. Comput. Networks Alysson Bessani, Nuno Ferreira Neves, Paulo Veríssimo, Wagner Saback Dantas, Alexandre Fonseca, Rui Silva, Pedro Luz, Miguel Correia
2016	B	`conf`	Leveraging an homomorphic encryption library to implement a coordination service. NCA Eugenio A. Silva, Miguel Correia
2016	—	`conf`	Light-SPD: a platform to prototype secure mobile applications. PAMCO@MobiHoc Sileshi Demesie Yalew, Gerald Q. Maguire Jr., 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`	Medusa: An Efficient Cloud Fault-Tolerant MapReduce. CCGrid Pedro A. R. S. Costa, Xiao Bai, Fernando M. V. Ramos, Miguel Correia
2016	B	`conf`	NoSQL Undo: Recovering NoSQL databases by undoing operations. NCA David R. Matos, Miguel Correia
2016	B	`conf`	Priority-Based State Machine Replication with PRaxos. AINA Paulo R. Pinho Filho, Luciana de Oliveira Rech, Lau Cheuk Lung, Miguel Correia, Lásaro Jonas Camargos
2016	B	`conf`	vtTLS: A vulnerability-tolerant communication protocol. NCA André Joaquim, Miguel L. Pardal, Miguel Correia
2015	J	`jnl`	A multi-objective routing algorithm for Wireless Multimedia Sensor Networks. Appl. Soft Comput. Naércio Magaia, Nuno Horta, Rui Ferreira Neves, Paulo Rogério Pereira, Miguel Correia
2015	J	`jnl`	Anticipating Requests to Improve Performance and Reduce Costs in Cloud Storage. SIGMETRICS Perform. Evaluation Rev. Hylson Vescovi Netto, Lau Cheuk Lung, Tulio Alberton Ribeiro, Miguel Correia, Aldelir Fernando Luiz
2015	J	`jnl`	Betweenness centrality in Delay Tolerant Networks: A survey. Ad Hoc Networks Naércio Magaia, Alexandre P. Francisco, Paulo Rogério Pereira, Miguel Correia
2015	—	`conf`	Big Data Analytics for Detecting Host Misbehavior in Large Logs. TrustCom/BigDataSE/ISPA (1) Daniel Gonçalves, Joao Bota, Miguel Correia
2015	—	`conf`	Greft: Arbitrary Fault-Tolerant Distributed Graph Processing. BigData Congress Daniel Presser, Lau Cheuk Lung, Miguel Correia
2015	J	`jnl`	Medusa: An Efficient Cloud Fault-Tolerant MapReduce. CoRR Pedro A. R. S. Costa, Xiao Bai, Fernando M. V. Ramos, Miguel Correia
2015	A	`conf`	Shuttle: Intrusion Recovery for PaaS. ICDCS Dario Nascimento, Miguel Correia
2014	A*	`conf`	Automatic detection and correction of web application vulnerabilities using data mining to predict false positives. WWW Iberia Medeiros, Nuno Ferreira Neves, Miguel Correia
2014	J	`jnl`	Cloud Computing Dependability: Report and Extended Papers of the Second International Workshop on Dependability Issues in Cloud Computing. ACM SIGOPS Oper. Syst. Rev. Miguel Correia, Neeraj Mittal
2014	J	`jnl`	MITRA: byzantine fault-tolerant middleware for transaction processing on replicated databases. SIGMOD Rec. Aldelir Fernando Luiz, Lau Cheuk Lung, Miguel Correia
2014	—	`conf`	Non-blocking Atomic Commitment with Byzantine Faults. SBRC Aldelir Fernando Luiz, Lau Cheuk Lung, Miguel Correia, Valdir Stumm Junior
2014	—	`conf`	SCFS: A Shared Cloud-backed File System. USENIX ATC Alysson Neves Bessani, Ricardo Mendes, Tiago Oliveira, Nuno Ferreira Neves, Miguel Correia, Marcelo Pasin, Paulo Veríssimo
2013	J	`jnl`	BFT-TO: Intrusion Tolerance with Less Replicas. Comput. J. Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
2013	J	`jnl`	Byzantine Fault-Tolerant Consensus in Wireless Ad Hoc Networks. IEEE Trans. Mob. Comput. Henrique Moniz, Nuno Ferreira Neves, Miguel Correia
2013	C	`conf`	Byzantine fault-tolerant state machine replication with twin virtual machines. ISCC Fernando Dettoni, Lau Cheuk Lung, Miguel Correia, Aldelir Fernando Luiz
2013	—	`conf`	Clouds-of-Clouds for Dependability and Security: Geo-replication Meets the Cloud. Euro-Par Workshops Miguel Correia
2013	J	`jnl`	DepSky: Dependable and Secure Storage in a Cloud-of-Clouds. ACM Trans. Storage Alysson Neves Bessani, Miguel Correia, Bruno Quaresma, Fernando André, Paulo Sousa
2013	J	`jnl`	Dependability issues in cloud computing: extended papers from the 1st international workshop on dependability issues in cloud computing - DISCCO. ACM SIGOPS Oper. Syst. Rev. Miguel Correia, Neeraj Mittal
2013	J	`jnl`	Efficient Byzantine Fault-Tolerance. IEEE Trans. Computers Giuliana Santos Veronese, Miguel Correia, Alysson Neves Bessani, Lau Cheuk Lung, Paulo Veríssimo
2013	—	`conf`	On the Efficiency of Durable State Machine Replication. USENIX ATC Alysson Neves Bessani, Marcel Santos, João Felix, Nuno Ferreira Neves, Miguel Correia
2013	—	`ed.`	Proceedings of the 2nd International Workshop on Dependability Issues in Cloud Computing, DISCCO '13, Braga, Portugal, September 30, 2013 DISCCO@SRDS Miguel Correia, Neeraj Mittal
2013	C	`conf`	Securing energy metering software with automatic source code correction. INDIN Iberia Medeiros, Nuno Ferreira Neves, Miguel Correia
2012	B	`conf`	On the Feasibility of Byzantine Fault-Tolerant MapReduce in Clouds-of-Clouds. SRDS Miguel Correia, Pedro A. R. S. Costa, Marcelo Pasin, Alysson Neves Bessani, Fernando M. V. Ramos, Paulo Veríssimo
2012	—	`conf`	Practical Hardening of Crash-Tolerant Systems. USENIX ATC Miguel Correia, Daniel Gómez Ferro, Flavio Paiva Junqueira, Marco Serafini
2012	J	`jnl`	Vers une plate-forme MapReduce tolérant les fautes byzantines. Tech. Sci. Informatiques Luciana Arantes, Alysson Neves Bessani, Vinicius Vielmo Cogo, Miguel Correia, Pedro Costa, Jonathan Lejeune, M. Piffaretti, Olivier Marin, Marcelo Pasin, Pierre Sens, Fabrício Silva, Julien Sopena
2011	—	`conf`	Anomaly-based intrusion detection in software as a service. DSN Workshops Gustavo Nascimento, Miguel Correia
2011	C	`conf`	Byzantine Fault-Tolerant MapReduce: Faults are Not Just Crashes. CloudCom Pedro A. R. S. Costa, Marcelo Pasin, Alysson Neves Bessani, Miguel Correia
2011	B	`conf`	Byzantine Fault-Tolerant Transaction Processing for Replicated Databases. NCA Aldelir Fernando Luiz, Lau Cheuk Lung, Miguel Correia
2011	J	`jnl`	Byzantine consensus in asynchronous message-passing systems: a survey. Int. J. Crit. Comput. Based Syst. Miguel Correia, Giuliana Santos Veronese, Nuno Ferreira Neves, Paulo Veríssimo
2011	—	`conf`	Lucy in the sky without diamonds: Stealing confidential data in the cloud. DSN Workshops Francisco Rocha, Miguel Correia
2011	B	`conf`	N-party BAR Transfer. OPODIS Xavier Vilaça, João Leitão, Miguel Correia, Luís E. T. Rodrigues
2011	J	`jnl`	RITAS: Services for Randomized Intrusion Tolerance. IEEE Trans. Dependable Secur. Comput. Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo
2011	J	`jnl`	Randomization can be a healer: consensus with dynamic omission failures. Distributed Comput. Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo
2011	J	`jnl`	The Final Frontier: Confidentiality and Privacy in the Cloud. Computer Francisco Rocha, Salvador Abreu, Miguel Correia
2010	A	`conf`	4th workshop on recent advances in intrusion-tolerant systems WRAITS 2010. DSN Miguel Correia, Partha P. Pal
2010	—	`conf`	Active Quorum Systems. HotDep Alysson Neves Bessani, Paulo Sousa, Miguel Correia
2010	Misc	`conf`	Asynchronous Byzantine consensus with 2f+1 processes. SAC Miguel Correia, Giuliana Santos Veronese, Lau Cheuk Lung
2010	—	`conf`	EBAWA: Efficient Byzantine Agreement for Wide-Area Networks. HASE Giuliana Santos Veronese, Miguel Correia, Alysson Neves Bessani, Lau Cheuk Lung
2010	J	`jnl`	Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery. IEEE Trans. Parallel Distributed Syst. Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
2010	B	`conf`	Intrusion Tolerant Services Through Virtualization: A Shared Memory Approach. AINA Valdir Stumm Jr., Lau Cheuk Lung, Miguel Correia, Joni da Silva Fraga, Jim Lau
2010	A	`conf`	Turquois: Byzantine consensus in wireless ad hoc networks. DSN Henrique Moniz, Nuno Ferreira Neves, Miguel Correia
2010	J	`jnl`	Vulnerability Discovery with Attack Injection. IEEE Trans. Software Eng. João Antunes, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo, Rui Ferreira Neves
2009	A	`conf`	3rd Workshop on Recent Advances on Intrusion-Tolerant Systems WRAITS 2009. DSN Saurabh Bagchi, Miguel Correia, Partha P. Pal
2009	J	`jnl`	An Efficient Byzantine-Resilient Tuple Space. IEEE Trans. Computers Alysson Neves Bessani, Miguel Correia, Joni da Silva Fraga, Lau Cheuk Lung
2009	—	`conf`	Designing Modular and Redundant Cyber Architectures for Process Control: Lessons learned. HICSS Paulo Veríssimo, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Sousa
2009	A	`conf`	Intrusion-tolerant self-healing devices for critical infrastructure protection. DSN Paulo Sousa, Alysson Neves Bessani, Wagner Saback Dantas, Fabio Souto, Miguel Correia, Nuno Ferreira Neves
2009	A	`conf`	Randomization Can Be a Healer: Consensus with Dynamic Omission Failures. DISC Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo
2009	J	`jnl`	Sharing Memory between Byzantine Processes Using Policy-Enforced Tuple Spaces. IEEE Trans. Parallel Distributed Syst. Alysson Neves Bessani, Miguel Correia, Joni da Silva Fraga, Lau Cheuk Lung
2009	B	`conf`	Spin One's Wheels? Byzantine Fault Tolerance with a Spinning Primary. SRDS Giuliana Santos Veronese, Miguel Correia, Alysson Neves Bessani, Lau Cheuk Lung
2008	A	`conf`	DepSpace: a byzantine fault-tolerant coordination service. EuroSys Alysson Neves Bessani, Eduardo Adílio Pelinson Alchieri, Miguel Correia, Joni da Silva Fraga
2008	B	`conf`	Finite Memory: A Vulnerability of Intrusion-Tolerant Systems. NCA Giuliana Santos Veronese, Miguel Correia, Lau Cheuk Lung, Paulo Veríssimo
2008	J	`jnl`	On Byzantine generals with alternative plans. J. Parallel Distributed Comput. Miguel Correia, Alysson Neves Bessani, Paulo Veríssimo
2008	J	`jnl`	The CRUTIAL reference critical information infrastructure architecture: a blueprint. Int. J. Syst. Syst. Eng. Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia
2008	J	`jnl`	The Crutial Way of Critical Infrastructure Protection. IEEE Secur. Priv. Alysson Neves Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
2007	B	`conf`	Decoupled Quorum-Based Byzantine-Resilient Coordination in Open Distributed Systems. NCA Alysson Neves Bessani, Miguel Correia, Joni da Silva Fraga, Lau Cheuk Lung
2007	B	`conf`	Evaluating Byzantine Quorum Systems. SRDS Wagner Saback Dantas, Alysson Neves Bessani, Joni da Silva Fraga, Miguel Correia
2007	C	`conf`	Exploiting Tuple Spaces to Provide Fault-Tolerant Scheduling on Computational Grids. ISORC Fábio Favarim, Joni da Silva Fraga, Lau Cheuk Lung, Miguel Correia, João Felipe Santos
2007	B	`conf`	GRIDTS: A New Approach for Fault-Tolerant Scheduling in Grid Computing. NCA Fábio Favarim, Joni da Silva Fraga, Lau Cheuk Lung, Miguel Correia
2007	C	`conf`	Intrusion Tolerance in Wireless Environments: An Experimental Evaluation. PRDC Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, António Casimiro, Paulo Veríssimo
2007	C	`conf`	On the Effects of Finite Memory on Intrusion-Tolerant Systems. PRDC Giuliana Santos Veronese, Miguel Correia, Lau Cheuk Lung, Paulo Veríssimo
2007	C	`conf`	Resilient Intrusion Tolerance through Proactive and Reactive Recovery. PRDC Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
2007	—	`conf`	Specification-based Intrusion Detection System for Carrier Ethernet. WEBIST (1) Pan Jieke, João Redol, Miguel Correia
2007	B	`conf`	The CRUTIAL Architecture for Critical Information Infrastructures. WADS Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia, Yves Deswarte, Anas Abou El Kalam, Andrea Bondavalli, Alessandro Daidone
2007	A	`conf`	When 3 DISC Alysson Neves Bessani, Miguel Correia, Henrique Moniz, Nuno Ferreira Neves, Paulo Veríssimo
2007	J	`jnl`	Worm-IT - A wormhole-based intrusion-tolerant group communication system. J. Syst. Softw. Miguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Veríssimo
2006	C	`conf`	An Infrastructure for Adaptive Fault Tolerance on FT-CORBA. ISORC Lau Cheuk Lung, Fábio Favarim, Giuliana Teixeira Santos, Miguel Correia
2006	A	`conf`	Brief Announcement: Decoupled Quorum-Based Byzantine-Resilient Coordination in Open Distributed Systems. DISC Alysson Neves Bessani, Miguel Correia, Joni da Silva Fraga, Lau Cheuk Lung
2006	C	`conf`	CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture. CRITIS Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia
2006	B	`conf`	Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols. SRDS Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo
2006	J	`jnl`	From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures. Comput. J. Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
2006	A	`conf`	Randomized Intrusion-Tolerant Asynchronous Services. DSN Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo
2006	A	`conf`	Sharing Memory between Byzantine Processes using Policy-Enforced Tuple Spaces. ICDCS Alysson Neves Bessani, Joni da Silva Fraga, Miguel Correia, Lau Cheuk Lung
2006	A	`conf`	Using Attack Injection to Discover New Vulnerabilities. DSN Nuno Ferreira Neves, João Antunes, Miguel Correia, Paulo Veríssimo, Rui Ferreira Neves
2005	J	`jnl`	Low complexity Byzantine-resilient consensus. Distributed Comput. Miguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Veríssimo
2005	J	`jnl`	Solving Vector Consensus with a Wormhole. IEEE Trans. Parallel Distributed Syst. Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo
2004	B	`conf`	How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems. SRDS Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
2002	B	`conf`	Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model. SRDS Miguel Correia, Lau Cheuk Lung, Nuno Ferreira Neves, Paulo Veríssimo
2002	B	`conf`	Intrusion-Tolerant Architectures: Concepts and Design. WADS Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia
2002	Misc	`conf`	The Design of a COTSReal-Time Distributed Security Kernel. EDCC Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves
2001	—	`conf`	The Architecture of a Secure Group Communication System Based on Intrusion Tolerance. ICDCS Workshops Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves
1998	—	`conf`	Integrated Dymanic QoS Control for Multimedia Applications. Broadband European Networks and Multimedia Services João Bom, Paulo Marques, Miguel Correia, Paulo Pinto
1995	A*	`conf`	Low-Level Multimedia Synchronization Algorithms on Broadband Networks. ACM Multimedia Miguel Correia, Paulo Pinto