Home

Conference Paper
Medeiros, I., N. Ferreira Neves, and M. Correia, "Automatic detection and correction of web application vulnerabilities using data mining to predict false positives", Proceedings of the 23rd international conference on World wide web: International World Wide Web Conferences Steering Committee, pp. 63–74, 2014.
Miscellaneous
Bessani, A. Neves, M. Correia, and N. Neves, Consistency Anchor Formalization and Correctness Proofs, : Technical Report DI-FCUL-2014-02, ULisboa, 2014.
Conference Paper
Bessani, A. Neves, M. Santos, J. Felix, N. Ferreira Neves, and M. Correia, "On the Efficiency of Durable State Machine Replication.", USENIX Annual Technical Conference, pp. 169–180, 2013.
Journal Article
Veronese, G. Santos, M. Correia, A. Neves Bessani, C. L Lung, and P. Verissimo, "Efficient byzantine fault-tolerance", Computers, IEEE Transactions on, vol. 62, no. 1: IEEE, pp. 16–30, 2013.
Costa, P., M. Pasin, A. Neves Bessani, and M. Correia, "Fac. de Cienc., Univ. de Lisboa, Lisbon, Portugal", Dependable and Secure Computing, IEEE Transactions on, vol. 10, no. 5: IEEE, pp. 301–313, 2013.
Costa, P., M. Pasin, A. Neves Bessani, and M. Correia, "On the Performance of Byzantine Fault-Tolerant MapReduce", IEEE Transactions on Dependable and Secure Computing, no. 5: IEEE, pp. 301–313, 2013.
Costa, P., M. Pasin, A. Bessani, and M. Correia, "On the Performance of Byzantine Fault-Tolerant MapReduce", IEEE Transactions on Dependable and Secure Computing, 2013.
Conference Paper
Medeiros, I., N. Ferreira Neves, and M. Correia, "Securing energy metering software with automatic source code correction", Industrial Informatics (INDIN), 2013 11th IEEE International Conference on: IEEE, pp. 701–706, 2013.
Journal Article
Correia, M., N. Ferreira Neves, and P. Verissimo, "BFT-TO: Intrusion tolerance with less replicas", The Computer Journal: Oxford University Press, pp. bxs148, 2012.
Conference Paper
Nascimento, G., and M. Correia, "Anomaly-based intrusion detection in software as a service", Dependable Systems and Networks Workshops (DSN-W), 2011 IEEE/IFIP 41st International Conference on: IEEE, pp. 19–24, 2011.
Sykes, AV., P. Domingues, R. Goncalves, M. Correia, and JP. Andrade, "ON THE AQUACULTURE POTENTIAL OF CEPHALOPOD SPECIES: THE EUROPEAN CUTTLEFISH AS A SHOWCASE", JOURNAL OF SHELLFISH RESEARCH, vol. 30, no. 3: NATL SHELLFISHERIES ASSOC C/O DR. SANDRA E. SHUMWAY, UNIV CONNECTICUT, 1080 SHENNECOSSETT RD, GROTON, CT 06340 USA, pp. 1021–1022, 2011.
Journal Article
Correia, M., G. Santos Veronese, N. Ferreira Neves, and P. Verissimo, "Byzantine consensus in asynchronous message-passing systems: a survey", International Journal of Critical Computer-Based Systems, vol. 2, no. 2: Inderscience Publishers, pp. 141–161, 2011.
Conference Paper
Costa, P., M. Pasin, A. Neves Bessani, and M. Correia, "Byzantine fault-tolerant MapReduce: Faults are not just crashes", Cloud Computing Technology and Science (CloudCom), 2011 IEEE Third International Conference on: IEEE, pp. 32–39, 2011.
Luiz, A. Fernando, C. L Lung, and M. Correia, "Byzantine fault-tolerant transaction processing for replicated databases", Network Computing and Applications (NCA), 2011 10th IEEE International Symposium on: IEEE, pp. 83–90, 2011.
Arantes, L., J. Lejeune, M. Piffaretti, O. Marin, P. Sens, J. Sopena, A. N. Bessani, V. V. Cogo, M. Correia, P. Costa, et al., "Étude d'une architecture MapReduce tolérant les fautes byzantines.", Actes des 20éme Rencontres francophones du parallélisme (RENPAR'11), 2011.
Journal Article
Rocha, F., S. Abreu, and M. Correia, "The final frontier: Confidentiality and privacy in the cloud", Computer, vol. 44, no. 9: IEEE Computer Society, pp. 44–50, 2011.
Conference Paper
Rocha, F., and M. Correia, "Lucy in the sky without diamonds: Stealing confidential data in the cloud", Dependable Systems and Networks Workshops (DSN-W), 2011 IEEE/IFIP 41st International Conference on: IEEE, pp. 129–134, 2011.
Book Chapter
Vilaça, X., J. Leitao, M. Correia, and L. Rodrigues, "N-party BAR transfer", Principles of Distributed Systems: Springer Berlin Heidelberg, pp. 392–408, 2011.
Conference Paper
Leitao, J., M. Correia, L. Rodrigues, and , "N-party BAR transfer", Proceedings of the 15th international conference on Principles of Distributed Systems: Springer-Verlag, pp. 392–408, 2011.
Journal Article
Luiz, A. Fernando, C. L Lung, and M. Correia, "Protocolo tolerante a faltas bizantinas para bases de dados transacionais", Anais do XXIX Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuıdos, pp. 559–572, 2011.
Moniz, H., N. Ferreira Neves, M. Correia, and P. Verissimo, "Randomization can be a healer: consensus with dynamic omission failures", Distributed Computing, vol. 24, no. 3-4: Springer-Verlag, pp. 165–175, 2011.
Moniz, H., N. Ferreira Neves, M. Correia, and P. Verissimo, "RITAS: Services for randomized intrusion tolerance", Dependable and Secure Computing, IEEE Transactions on, vol. 8, no. 1: IEEE, pp. 122–136, 2011.
Conference Paper
Correia, M., and P. Pal, "4th workshop on recent advances in intrusion-tolerant systems WRAITS 2010", Dependable Systems and Networks (DSN), 2010 IEEE/IFIP International Conference on: IEEE, pp. 621–622, 2010.
Conference Paper
Correia, M., G. Santos Veronese, and C. L Lung, "Asynchronous Byzantine consensus with 2f+ 1 processes", Proceedings of the 2010 ACM Symposium on Applied Computing: ACM, pp. 475–480, 2010.
Veronese, G. Santos, M. Correia, A. Neves Bessani, and C. L Lung, "EBAWA: Efficient Byzantine agreement for wide-area networks", High-Assurance Systems Engineering (HASE), 2010 IEEE 12th International Symposium on: IEEE, pp. 10–19, 2010.
Journal Article
Sousa, P., A. Neves Bessani, M. Correia, N. Ferreira Neves, and P. Verissimo, "Highly available intrusion-tolerant services with proactive-reactive recovery", Parallel and Distributed Systems, IEEE Transactions on, vol. 21, no. 4: IEEE, pp. 452–465, 2010.
Conference Paper
Stumm, V., C. L Lung, M. Correia, J. da Silva Fraga, and J. Lau, "Intrusion tolerant services through virtualization: A shared memory approach", Advanced Information Networking and Applications (AINA), 2010 24th IEEE International Conference on: IEEE, pp. 768–774, 2010.
Conference Paper
Moniz, H., N. Ferreira Neves, and M. Correia, "Turquois: Byzantine consensus in wireless ad hoc networks", Dependable Systems and Networks (DSN), 2010 IEEE/IFIP International Conference on: IEEE, pp. 537–546, 2010.
Conference Paper
Bagchi, S., M. Correia, and P. Pal, "3rd Workshop on Recent Advances on Intrusion-Tolerant Systems WRAITS 2009", Dependable Systems & Networks, 2009. DSN'09. IEEE/IFIP International Conference on: IEEE, pp. 600–601, 2009.
Conference Paper
Verissimo, P., A. Neves Bessani, M. Correia, N. Ferreira Neves, and P. Sousa, "Designing modular and redundant cyber architectures for process control: Lessons learned", System Sciences, 2009. HICSS'09. 42nd Hawaii International Conference on: IEEE, pp. 1–8, 2009.
Journal Article
Moniz, H., A. Tedeschi, N. Ferreira Neves, and M. Correia, "A distributed systems approach to airborne self-separation", Computational Models, Software Engineering, and Advanced Technologies in Air Transportation: Next Generation Applications: Next Generation Applications: IGI Global, pp. 215, 2009.
Palma, J., D. P. Bureau, M. Correia, and J. P. Andrade, "Effects of temperature, density and early weaning on the survival and growth of Atlantic ditch shrimp Palaemonetes varians larvae", Aquaculture Research, vol. 40, no. 13: Blackwell Publishing Ltd, pp. 1468–1473, 2009.
Bessani, A. Neves, M. Correia, J. da Silva Fraga, and C. L Lung, "An efficient Byzantine-resilient tuple space", Computers, IEEE Transactions on, vol. 58, no. 8: IEEE, pp. 1080–1094, 2009.
Franceschinis, G., E. Alata, J. Antunes, H. Beitollah, A. Neves Bessani, M. Correia, W. Dantas, G. Deconinck, M. Kaaniche, N. Ferreira Neves, et al., Experimental validation of architectural solutions, , 2009.
Franceschinis, G., E. Alata, J. Antunes, H. Beitollah, A. Neves Bessani, M. Correia, W. Dantas, G. Deconinck, M. Kaaniche, N. Ferreira Neves, et al., Experimental validation of architectural solutions (II), , 2009.
Veronese, G. Santos, M. Correia, A. Neves Bessani, and C. L Lung, "Highly-resilient services for critical infrastructures", Proceedings of the Embedded Systems and Communications Security Workshop, 2009.
Verissimo, P., M. Correia, N. Ferreira Neves, and P. Sousa, "Intrusion-resilient middleware design and validation", Information Assurance, Security and Privacy Services, vol. 4, pp. 615–678, 2009.
Conference Paper
Sousa, P., A. Neves Bessani, W. S. Dantas, F. Souto, M. Correia, and N. Ferreira Neves, "Intrusion-tolerant self-healing devices for critical infrastructure protection", Dependable Systems & Networks, 2009. DSN'09. IEEE/IFIP International Conference on: IEEE, pp. 217–222, 2009.
Conference Paper
Veronese, G. Santos, M. Correia, A. Neves Bessani, and C. L Lung, "Spin One's Wheels? Byzantine Fault Tolerance with a Spinning Primary", Reliable Distributed Systems, 2009. SRDS'09. 28th IEEE International Symposium on: IEEE, pp. 135–144, 2009.
Book Chapter
Verissimo, P., N. Ferreira Neves, M. Correia, Y. Deswarte, A. Abou El Kalan, A. Bondavalli, and A. Daidone, "The CRUTIAL architecture for critical information infrastructures", Architecting Dependable Systems V: Springer Berlin Heidelberg, pp. 1–27, 2008.
Journal Article
Verissimo, P., N. Ferreira Neves, and M. Correia, "The CRUTIAL reference critical information infrastructure architecture: a blueprint", International Journal of System of Systems Engineering, vol. 1, no. 1: Inderscience, pp. 78–95, 2008.
Bessani, A. Neves, P. Sousa, M. Correia, N. Ferreira Neves, and P. Verissimo, "The CRUTIAL way of critical infrastructure protection", Security & Privacy, IEEE, vol. 6, no. 6: IEEE, pp. 44–51, 2008.
Conference Paper
Bessani, A. Neves, E. Pelison Alchieri, M. Correia, and J. da Silva Fraga, "DepSpace: a Byzantine fault-tolerant coordination service", ACM SIGOPS Operating Systems Review, vol. 42, no. 4: ACM, pp. 163–176, 2008.
Conference Paper
Veronese, G. Santos, M. Correia, C. L Lung, and P. Verissimo, "Finite Memory: a Vulnerability of Intrusion-Tolerant Systems", Network Computing and Applications, 2008. NCA'08. Seventh IEEE International Symposium on: IEEE, pp. 37–44, 2008.
Journal Article
Veronese, G. Santos, M. Correia, C. L Lung, and A. Neves Bessani, Minimal Byzantine fault tolerance, : Department of Informatics, University of Lisbon, 2008.
Khanna, G., M. Yu Cheng, P. Varadharajan, S. Bagchi, M. Correia, and P. Verissimo, "Automated rule-based diagnosis through a distributed monitor system", Dependable and Secure Computing, IEEE Transactions on, vol. 4, no. 4: IEEE, pp. 266–279, 2007.
Conference Paper
Bessani, A. Neves, M. Correia, J. da Silva Fraga, and C. L Lung, "Decoupled quorum-based Byzantine-resilient coordination in open distributed systems", Network Computing and Applications, 2007. NCA 2007. Sixth IEEE International Symposium on: IEEE, pp. 231–238, 2007.
Journal Article
Bessani, A. Neves, E. Adilio Pel Alchieri, M. Correia, J. da Silva Fraga, and C. L Lung, "DEPSPACE: Um Middleware para Coordenaç ao em Ambientes Dinâmicos e Nao Confiaveis", Salao de Ferramentas do XXV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuıdos, SBC, 2007.
Conference Paper
Veronese, G. Santos, M. Correia, C. L Lung, and P. Verissimo, "On the effects of finite memory on intrusion-tolerant systems", Dependable Computing, 2007. PRDC 2007. 13th Pacific Rim International Symposium on: IEEE, pp. 401–404, 2007.
Dantas, W. Saback, A. Neves Bessani, J. da Silva Fraga, and M. Correia, "Evaluating Byzantine quorum systems", Reliable Distributed Systems, 2007. SRDS 2007. 26th IEEE International Symposium on: IEEE, pp. 253–264, 2007.
Favarim, F., J. da Silva Fraga, C. L Lung, M. Correia, and J. Felipe Santos, "Exploiting tuple spaces to provide fault-tolerant scheduling on computational grids", Object and Component-Oriented Real-Time Distributed Computing, 2007. ISORC'07. 10th IEEE International Symposium on: IEEE, pp. 403–411, 2007.
Favarim, F., J. da Silva Fraga, C. L Lung, and M. Correia, "GridTS: A new approach for fault-tolerant scheduling in grid computing", Network Computing and Applications, 2007. NCA 2007. Sixth IEEE International Symposium on: IEEE, pp. 187–194, 2007.
Moniz, H., N. Ferreira Neves, M. Correia, A. Casimiro, and P. Verissimo, "Intrusion tolerance in wireless environments: An experimental evaluation", Dependable Computing, 2007. PRDC 2007. 13th Pacific Rim International Symposium on: IEEE, pp. 357–364, 2007.
Journal Article
Bessani, A. Neves, P. Sousa, M. Correia, N. Ferreira Neves, and P. Verissimo, Intrusion-tolerant protection for critical infrastructures, : Department of Informatics, University of Lisbon, 2007.
Correia, M., and N. Ferreira Neves, Proceedings of the First Workshop on Recent Advances on Intrusion-Tolerant Systems, : Department of Informatics, University of Lisbon, 2007.
Bessani, A. Neves, P. Sousa, M. Correia, N. Ferreira Neves, and P. Verissimo, Protecting CRUTIAL Things, : 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007.
Conference Paper
Sousa, P., A. Neves Bessani, M. Correia, N. Ferreira Neves, and P. Verissimo, "Resilient intrusion tolerance through proactive and reactive recovery", Dependable Computing, 2007. PRDC 2007. 13th Pacific Rim International Symposium on: IEEE, pp. 373–380, 2007.
Jieke, P., J. Redol, and M. Correia, "Specification-based Intrusion Detection System for Carrier Ethernet.", WEBIST (1), pp. 426–429, 2007.
Bessani, A. Neves, M. Correia, H. Moniz, N. Ferreira Neves, and P. Verissimo, "When 3 f+ 1 Is Not Enough: Tradeoffs for Decentralized Asynchronous Byzantine Consensus", Brief Announcement, Proceedings of 21st International Symposium on Distributed Computing (DISC 07), Lemesos, Cyprus: Springer Berlin/Heidelberg, pp. 480–481, 2007.
Journal Article
Correia, M., N. Ferreira Neves, C. L Lung, and P. Verissimo, "Worm-IT–a wormhole-based intrusion-tolerant group communication system", Journal of Systems and Software, vol. 80, no. 2: Elsevier, pp. 178–197, 2007.
Conference Paper
Moniz, H., N. Ferreira Neves, M. Correia, and P. Verissimo, "Experimental comparison of local and shared coin randomized consensus protocols", Reliable Distributed Systems, 2006. SRDS'06. 25th IEEE Symposium on: IEEE, pp. 235–244, 2006.
Journal Article
Favarim, F., C. L Lung, J. da Silva Fraga, and M. Correia, "Fault-tolerant multiuser computational grids based on tuple spaces", International Workshop on Dependability in Service-oriented Grids (WODSOG), 2006.
Correia, M., N. Ferreira Neves, and P. Verissimo, "From consensus to atomic broadcast: Time-free Byzantine-resistant protocols without signatures", The Computer Journal, vol. 49, no. 1: Br Computer Soc, pp. 82–96, 2006.
Obelheiro, R. R., A. Neves Bessani, C. L Lung, and M. Correia, How practical are intrusion-tolerant distributed systems?, : Department of Informatics, University of Lisbon, 2006.
Favarim, F., G. Santos, M. Correia, and , An Infrastructure for Adaptive Fault Tolerance on FT-CORBA, : 9th IEEE International Symposium on Object and component-oriented Real-time distributed Computing, 2006.
Conference Paper
L Lung, C., F. Favarim, G. Santos Veronese, and M. Correia, "An infrastructure for adaptive fault tolerance on FT-CORBA", Object and Component-Oriented Real-Time Distributed Computing, 2006. ISORC 2006. Ninth IEEE International Symposium on: IEEE, pp. 8–pp, 2006.
Journal Article
Bessani, A. Neves, E. Adılio Pe Alchieri, M. Correia, J. da Silva Fraga, and C. L Lung, "Provendo confidencialidade em espaços de tuplas tolerantes a intrusoes", Anais do 6o Simpósio Brasileiro em Segurança da Informaç ao e de Sistemas Computacionais-SBSeg 2006, 2006.
Conference Paper
Moniz, H., N. Ferreira Neves, M. Correia, and P. Verissimo, "Randomized intrusion-tolerant asynchronous services", Dependable Systems and Networks, 2006. DSN 2006. International Conference on: IEEE, pp. 568–577, 2006.
Journal Article
Bessani, A. Neves, M. Correia, J. da Silva Fraga, and C. L Lung, Towards a dependable tuple space, : Department of Informatics, University of Lisbon, 2006.

Pages