Miguel Correia
Orcid: 0000-0001-7873-5531Affiliations:
- University of Lisbon, Portugal
According to our database1,
Miguel Correia
authored at least 184 papers
between 1995 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on scopus.com
-
on orcid.org
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Distributed Ledger Technol. Res. Pract., March, 2024
2023
Monintainer: An orchestration-independent extensible container-based monitoring solution for large clusters.
J. Syst. Archit., December, 2023
Comput. Secur., September, 2023
IEEE Trans. Dependable Secur. Comput., 2023
IEEE Trans. Cloud Comput., 2023
Distributed Ledger Technol. Res. Pract., 2023
CoRR, 2023
Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge (Extended Version).
CoRR, 2023
Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning.
IEEE Access, 2023
Proceedings of the ACM SIGCOMM 2023 Conference, 2023
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023
Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing, 2023
I Can't Escape Myself: Cloud Inter-Processor Attestation and Sealing using Intel SGX.
Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing, 2023
Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2023
Proceedings of the 27th International Conference on Evaluation and Assessment in Software Engineering, 2023
Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023
2022
Statically Detecting Vulnerabilities by Processing Programming Languages as Natural Languages.
IEEE Trans. Reliab., 2022
IEEE Trans. Dependable Secur. Comput., 2022
Future Gener. Comput. Syst., 2022
ACM Comput. Surv., 2022
A survey on business process view integration: past, present and future applications to blockchain.
Bus. Process. Manag. J., 2022
Proceedings of the ICT Systems Security and Privacy Protection, 2022
Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022
Proceedings of the Computer Security. ESORICS 2022 International Workshops, 2022
2021
J. Inf. Secur. Appl., 2021
Proceedings of the 20th IEEE International Conference on Trust, 2021
Proceedings of the 20th IEEE International Symposium on Network Computing and Applications, 2021
Proceedings of the IEEE International Conference on Services Computing, 2021
2020
IEEE Trans. Parallel Distributed Syst., 2020
IACR Cryptol. ePrint Arch., 2020
Decentralized Business Process Control using Blockchain An experience report from two applications: Food Supply Chain and Car Registration.
Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2020
Proceedings of the 19th IEEE International Conference on Trust, 2020
Proceedings of the 19th IEEE International Conference on Trust, 2020
Proceedings of the 19th IEEE International Symposium on Network Computing and Applications, 2020
Proceedings of the 19th IEEE International Symposium on Network Computing and Applications, 2020
Proceedings of the 19th IEEE International Symposium on Network Computing and Applications, 2020
Proceedings of the 19th IEEE International Symposium on Network Computing and Applications, 2020
Proceedings of the 19th IEEE International Symposium on Network Computing and Applications, 2020
Proceedings of the 19th IEEE International Symposium on Network Computing and Applications, 2020
Go With the Flow: Clustering Dynamically-Defined NetFlow Features for Network Intrusion Detection with DynIDS.
Proceedings of the 19th IEEE International Symposium on Network Computing and Applications, 2020
MIRES: Recovering Mobile Applications based on Backend-as-a-Service from Cyber Attacks.
Proceedings of the MobiQuitous '20: Computing, 2020
Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020
Proceedings of the 28th IEEE International Conference on Network Protocols, 2020
Proceedings of the 28th European Conference on Information Systems, 2020
Proceedings of the 2nd Conference on Blockchain Research & Applications for Innovative Networks and Services, 2020
2019
IEEE Trans. Reliab., 2019
An empirical study on combining diverse static analysis tools for web security vulnerabilities based on development scenarios.
Computing, 2019
Genet: A Quickly Scalable Fat-Tree Overlay for Personal Volunteer Computing using WebRTC.
Proceedings of the 13th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2019
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2019 Conferences, 2019
Proceedings of the Network and System Security - 13th International Conference, 2019
Proceedings of the 20th International Middleware Conference, 2019
Proceedings of the IEEE International Conference on Blockchain, 2019
2018
REPSYS: A Robust and Distributed Incentive Scheme for Collaborative Caching and Dissemination in Content-Centric Cellular-Based Vehicular Delay-Tolerant Networks.
IEEE Wirel. Commun., 2018
ePRIVO: An Enhanced PRIvacy-preserVing Opportunistic Routing Protocol for Vehicular Delay-Tolerant Networks.
IEEE Trans. Veh. Technol., 2018
FlowHacker: Detecting Unknown Network Attacks in Big Traffic Data Using Network Flows.
Proceedings of the 17th IEEE International Conference On Trust, 2018
Proceedings of the 17th IEEE International Conference On Trust, 2018
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018
Leveraging ARM TrustZone and Verifiable Computing to Provide Auditable Mobile Functions.
Proceedings of the 15th EAI International Conference on Mobile and Ubiquitous Systems: Computing, 2018
Proceedings of the 19th International Middleware Conference, 2018
Proceedings of the 2018 IEEE Symposium on Computers and Communications, 2018
Storing Critical Data in the Cloud: Challenges and Solutions.
Proceedings of the 13th International Conference on Software Technologies, 2018
Proceedings of the 2018 International Conference on Information Networking, 2018
Proceedings of the 1st Workshop on Privacy by Design in Distributed Systems, 2018
2017
J. Syst. Archit., 2017
Proceedings of the 13th IEEE International Conference on Wireless and Mobile Computing, 2017
Proceedings of the 13th IEEE International Conference on Wireless and Mobile Computing, 2017
Proceedings of the 2017 IEEE Trustcom/BigDataSE/ICESS, Sydney, Australia, August 1-4, 2017, 2017
Proceedings of the 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2017
Proceedings of the 21st International Conference on Principles of Distributed Systems, 2017
PRIVO: A privacy-preserving opportunistic routing protocol for delay tolerant networks.
Proceedings of the 2017 IFIP Networking Conference, 2017
Proceedings of the 16th IEEE International Symposium on Network Computing and Applications, 2017
Proceedings of the 20th ACM International Conference on Modelling, 2017
Proceedings of the 18th ACM/IFIP/USENIX Middleware Conference, Las Vegas, NV, USA, December 11, 2017
A Systematic Approach for the Application of Restricted Boltzmann Machines in Network Intrusion Detection.
Proceedings of the Advances in Computational Intelligence, 2017
Proceedings of the 13th European Dependable Computing Conference, 2017
Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2017
Proceedings of the 17th IEEE/ACM International Symposium on Cluster, 2017
2016
Detecting and Removing Web Application Vulnerabilities with Static Analysis and Data Mining.
IEEE Trans. Reliab., 2016
Proceedings of the 2016 IEEE Trustcom/BigDataSE/ISPA, 2016
Proceedings of the 15th IEEE International Symposium on Network Computing and Applications, 2016
Proceedings of the 15th IEEE International Symposium on Network Computing and Applications, 2016
Proceedings of the 15th IEEE International Symposium on Network Computing and Applications, 2016
Proceedings of the 15th IEEE International Symposium on Network Computing and Applications, 2016
Proceedings of the 15th IEEE International Symposium on Network Computing and Applications, 2016
Proceedings of the 15th IEEE International Symposium on Network Computing and Applications, 2016
Proceedings of the 2nd ACM Workshop on Privacy-Aware Mobile Computing, 2016
DEKANT: a static analysis tool that learns to detect web application vulnerabilities.
Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016
Proceedings of the Sixth ACM on Conference on Data and Application Security and Privacy, 2016
Proceedings of the IEEE/ACM 16th International Symposium on Cluster, 2016
Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications, 2016
2015
SIGMETRICS Perform. Evaluation Rev., 2015
Appl. Soft Comput., 2015
Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015
Proceedings of the 35th IEEE International Conference on Distributed Computing Systems, 2015
Proceedings of the 2015 IEEE International Congress on Big Data, New York City, NY, USA, June 27, 2015
2014
Cloud Computing Dependability: Report and Extended Papers of the Second International Workshop on Dependability Issues in Cloud Computing.
ACM SIGOPS Oper. Syst. Rev., 2014
MITRA: byzantine fault-tolerant middleware for transaction processing on replicated databases.
SIGMOD Rec., 2014
Automatic detection and correction of web application vulnerabilities using data mining to predict false positives.
Proceedings of the 23rd International World Wide Web Conference, 2014
Proceedings of the 2014 USENIX Annual Technical Conference, 2014
Proceedings of the 2014 Brazilian Symposium on Computer Networks and Distributed Systems, 2014
2013
IEEE Trans. Mob. Comput., 2013
IEEE Trans. Dependable Secur. Comput., 2013
Dependability issues in cloud computing: extended papers from the 1st international workshop on dependability issues in cloud computing - DISCCO.
ACM SIGOPS Oper. Syst. Rev., 2013
Proceedings of the 2013 USENIX Annual Technical Conference, 2013
Proceedings of the 2013 IEEE Symposium on Computers and Communications, 2013
Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013
Proceedings of the 2013 Future Network & Mobile Summit, Lisboa, Portugal, July 3-5, 2013, 2013
Proceedings of the Euro-Par 2013: Parallel Processing Workshops, 2013
2012
Tech. Sci. Informatiques, 2012
Proceedings of the 2012 USENIX Annual Technical Conference, 2012
Proceedings of the IEEE 31st Symposium on Reliable Distributed Systems, 2012
2011
IEEE Trans. Dependable Secur. Comput., 2011
Int. J. Crit. Comput. Based Syst., 2011
Distributed Comput., 2011
Proceedings of the Principles of Distributed Systems - 15th International Conference, 2011
Proceedings of The Tenth IEEE International Symposium on Networking Computing and Applications, 2011
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2011), 2011
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2011), 2011
Proceedings of the IEEE 3rd International Conference on Cloud Computing Technology and Science, 2011
2010
IEEE Trans. Parallel Distributed Syst., 2010
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010
Proceedings of the Sixth Workshop on Hot Topics in System Dependability, 2010
Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010
Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010
Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010
Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications, 2010
2009
IEEE Trans. Parallel Distributed Syst., 2009
Proceedings of the 28th IEEE Symposium on Reliable Distributed Systems (SRDS 2009), 2009
Designing Modular and Redundant Cyber Architectures for Process Control: Lessons learned.
Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009
Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009
Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009
2008
Int. J. Syst. Syst. Eng., 2008
Proceedings of The Seventh IEEE International Symposium on Networking Computing and Applications, 2008
Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK, April 1-4, 2008, 2008
2007
IEEE Trans. Dependable Secur. Comput., 2007
J. Syst. Softw., 2007
Specification-based Intrusion Detection System for Carrier Ethernet.
Proceedings of the WEBIST 2007, 2007
When 3<i>f</i>+1 Is Not Enough: Tradeoffs for Decentralized Asynchronous Byzantine Consensus.
Proceedings of the Distributed Computing, 21st International Symposium, 2007
Proceedings of the 26th IEEE Symposium on Reliable Distributed Systems (SRDS 2007), 2007
Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 2007
Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 2007
Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 2007
Proceedings of the Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), 12, 2007
Proceedings of the Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), 12, 2007
Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007
Proceedings of the Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis], 2007
2006
From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures.
Comput. J., 2006
Brief Announcement: Decoupled Quorum-Based Byzantine-Resilient Coordination in Open Distributed Systems.
Proceedings of the Distributed Computing, 20th International Symposium, 2006
Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), 2006
Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006
Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN 2006), 2006
Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN 2006), 2006
CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture.
Proceedings of the Critical Information Infrastructures Security, 2006
2005
IEEE Trans. Parallel Distributed Syst., 2005
2004
Proceedings of the 23rd International Symposium on Reliable Distributed Systems (SRDS 2004), 2004
2002
Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS 2002), 2002
Proceedings of the Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems], 2002
Proceedings of the Dependable Computing, 2002
2001
The Architecture of a Secure Group Communication System Based on Intrusion Tolerance.
Proceedings of the 21st International Conference on Distributed Computing Systems Workshops (ICDCS 2001 Workshops), 2001
1998
Proceedings of the Broadband European Networks and Multimedia Services, 1998
1995
Proceedings of the Third ACM International Conference on Multimedia '95, 1995