Home

2013
Moniz, H., N. Ferreira Neves, and M. Correia, "Byzantine fault-tolerant consensus in wireless ad hoc networks", Mobile Computing, IEEE Transactions on, vol. 12, no. 12: IEEE, pp. 2441–2454, 2013.
Bessani, A. Neves, M. Correia, B. Quaresma, F. André, and P. Sousa, "DepSky: dependable and secure storage in a cloud-of-clouds", ACM Transactions on Storage (TOS), vol. 9, no. 4: ACM, pp. 12, 2013.
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.
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.
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.
2011
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.
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.
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.
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.
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.
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.
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.
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.
2010
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.
Sousa, A. Bessani Pa, and M. Correia, Active quorum systems, , 2010.
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.
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.
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.
Bessani, A. Neves, V. Vielmo Cogo, M. Correia, P. Costa, M. Pasin, F. Silva, L. Arantes, O. Marin, P. Sens, and J. Sopena, "Making Hadoop MapReduce Byzantine Fault-Tolerant", DSN, Fast abstract, 2010.
Júnior, V. Stumm, C. L Lung, M. Correia, J. da Silva Fraga, and J. Lau, SMIT: Uma Arquitetura Tolerante a Intrusoes Baseada em Virtualizaç ao, , 2010.
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.
Moniz, H., N. Ferreira Neves, and M. Correia, Turquois: Byzantine Consensus in Wireless Ad hoc Networks (extended version), , 2010.
Antunes, J., N. Ferreira Neves, M. Correia, P. Verissimo, and R. Neves, "Vulnerability discovery with attack injection", Software Engineering, IEEE Transactions on, vol. 36, no. 3: IEEE, pp. 357–370, 2010.
2009
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.
Kalan, A. Abou El, A. Baina, H. Beitollahi, A. Neves Bessani, A. Bondavalli, M. Correia, A. Daidone, W. Dantas, G. Deconinck, Y. Deswarte, et al., Architecture, Services and Protocols for CRUTIAL, , 2009.
Correia, M., G. Santos Veronese, and C. L Lung, Asynchronous Byzantine Consensus with 2f+ 1 Processes (extended version), , 2009.
Bessani, A. Neves, P. Sousa, M. Correia, N. Ferreira Neves, and P. Verissimo, "Cheap intrusion-tolerant protection for crutial things", Technical Report DI-FCUL TR-2009-14, 2009.
Correia, M., A. Neves Bessani, N. Ferreira Neves, P. Verissimo, and P. Sousa, Cheap Intrusion-Tolerant Protection for CRUTIAL Things, , 2009.
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.
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.
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.
Sousa, P., A. Neves Bessani, W. S. Dantas, F. Souto, M. Correia, and N. Ferreira Neves, Intrusion-Tolerant Self-Healing Devices fror Critical Infrastructure Protection, : 39th IEEE International Conference on Dependable Systems and Networks (DSN 2009), 2009.
Veronese, G. Santos, M. Correia, A. Neves Bessani, C. L Lung, and P. Verissimo, Minimal Byzantine fault tolerance: Algorithm and evaluation, , 2009.
Dantas, W. Saback, A. Neves Bessani, and M. Correia, "Not quickly, just in time: Improving the timeliness and reliability of control traffic in utility networks", networks, vol. 9, pp. 12, 2009.
Bernardeschi, C., R. Bloomfield, A. Bondavalli, C. Cachin, M. Correia, M. Dacier, F. Di Giandomenico, J-C. Fabre, M. Harrison, M. Kaaniche, et al., Resilient Computing Courseware, , 2009.
Bernardeschi, C., R. Bloomfield, A. Bondavalli, C. Cachin, M. Correia, M. Dacier, F. Di Giandomenico, J-C. Fabre, M. Harrison, M. Kaaniche, et al., Resilient Computing Curriculum, , 2009.
Bessani, A. Neves, M. Correia, J. da Silva Fraga, and C. L Lung, "Sharing memory between Byzantine processes using policy-enforced tuple spaces", Parallel and Distributed Systems, IEEE Transactions on, vol. 20, no. 3: IEEE, pp. 419–432, 2009.
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.
Bessani, A. Neves, G. Santos Veronese, C. L Lung, and M. Correia, Spin One's Wheels? Byzantine Fault Tolerance with a Spinning Primary, , 2009.
2008
Correia, M., A. Neves Bessani, and P. Verissimo, "On Byzantine generals with alternative plans", Journal of Parallel and Distributed Computing, vol. 68, no. 9: Academic Press, pp. 1291–1296, 2008.
Correia, M., A. Neves Bessani, P. Sousa, N. Ferreira Neves, and P. Verissimo, Critical Infrastructure Protection: the CRUTIAL Project, , 2008.
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.
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-Verlag, Berlin, Heidelberg, 2008.
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.
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.
Correia, M., J. Palma, and J. Pedro Andrade, "Effects of live prey availability on growth and survival in the early stages of cuttlefish Sepia officinalis (Linnaeus, 1758) life cycle", Aquaculture Research, vol. 39, no. 1: Blackwell Publishing Ltd, pp. 33–40, 2008.
Correia, M., J. Palma, T. Kirakowski, and J. P. Andrade, "Effects of prey nutritional quality on the growth and survival of juvenile cuttlefish, Sepia officinalis (Linnaeus, 1758)", Aquaculture Research, vol. 39, no. 8: Blackwell Publishing Ltd, pp. 869–876, 2008.
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.
Veronese, G. Santos, M. Correia, C. L Lung, and A. Neves Bessani, Minimal Byzantine fault tolerance, : Department of Informatics, University of Lisbon, 2008.
2007
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.
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.
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.
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.
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.
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.
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.
2006
Bessani, A. Neves, M. Correia, J. da Silva Fraga, and C. L Lung, "Brief announcement: Decoupled quorum-based Byzantine-resilient coordination in open distributed systems", Distributed Computing: Springer Berlin Heidelberg, pp. 554–556, 2006.
Verissimo, P., N. Ferreira Neves, and M. Correia, "CRUTIAL: The blueprint of a reference critical information infrastructure architecture", Critical Information Infrastructures Security: Springer Berlin Heidelberg, pp. 1–14, 2006.
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.
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.
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.
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.
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.
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