Home

Conference Paper
Neves, N. Ferreira, J. Antunes, M. Correia, P. Verissimo, and R. Neves, "Using attack injection to discover new vulnerabilities", Dependable Systems and Networks, 2006. DSN 2006. International Conference on: IEEE, pp. 457–466, 2006.
Journal Article
Khanna, G., M. Yu Cheng, P. Varadharajan, S. Bagchi, M. Correia, and P. Verissimo, "Automated monitor based diagnosis in distributed systems", ECE Technical Reports, pp. 67, 2005.
Correia, M., A. Neves Bessani, N. Ferreira Neves, C. L Lung, and P. Verissimo, Improving Byzantine Protocols with Secure Computational Components, : Department of Informatics, University of Lisbon, 2005.
Correia, M., N. Ferreira Neves, C. L Lung, and P. Verissimo, "Low complexity Byzantine-resilient consensus", Distributed Computing, vol. 17, no. 3: Springer-Verlag, pp. 237–249, 2005.
Khanna, G., M. Yu Cheng, J. Dyaberi, S. Bagchi, M. Correia, and P. Verissimo, "Probabilistic Diagnosis through Non-Intrusive Monitoring in Distributed Applications", ECE Technical Reports, pp. 72, 2005.
Correia, M., Serviços Distribu{ídos Tolerantes a Intrusões: resultados recentes e problemas abertos, : Department of Informatics, University of Lisbon, 2005.
Neves, N. Ferreira, M. Correia, and P. Verissimo, "Solving vector consensus with a wormhole", Parallel and Distributed Systems, IEEE Transactions on, vol. 16, no. 12: IEEE, pp. 1120–1131, 2005.
Jieke, P., M. Correia, N. Ferreira Neves, P. Verissimo, SA. Siemens, and R. Irmãos Siemens, "Um Núcleo de Segurança Distribu{ído para Suporte a Protocolos Tolerantes a Intrusões", 1ª Conferência Nacional sobre Segurança Informática nas Organizações. Covilhã, Portugal, 2005.
Correia, M., N. Ferreira Neves, C. L Lung, and P. Verissimo, "Byzantine-resistant consensus based on a novel approach to intrusion tolerance", Proceedings of the 10th Pacific Rim International Symposium on Dependable Computing (PRDC'04), 2004.
Jorge, T., J. Pascoal, M. Correia, N. Ferreira Neves, and P. Verissimo, "Concretização de um Sistema de Comunicação em Grupo Tolerante a Intrusões", Actas da, vol. 27, pp. 111–122, 2004.
Conference Paper
Correia, M., N. Ferreira Neves, and P. Verissimo, "How to tolerate half less one Byzantine nodes in practical distributed systems", Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004.: IEEE, pp. 174–183, 2004.
Ferraz, R., B. Gonçalves, J. Sequeira, M. Correia, N. Ferreira Neves, and P. Verissimo, "An intrusiontolerant web server based on the DISTRACT architecture", In Proceedings of the Workshop on Dependable Distributed Data Management: Citeseer, 2004.
Journal Article
Correia, M., P. Verissimo, and N. Ferreira Neves, "The design of a COTS real-time distributed security kernel", Dependable Computing EDCC-4: Springer, pp. 634–638, 2002.
Conference Paper
Correia, M., C. L Lung, N. Ferreira Neves, and P. Verissimo, "Efficient Byzantine-resilient reliable multicast on a hybrid failure model", Reliable Distributed Systems, 2002. Proceedings. 21st IEEE Symposium on: IEEE, pp. 2–11, 2002.
Correia, M., P. Verissimo, and N. Ferreira Neves, "The architecture of a secure group communication system based on intrusion tolerance", Distributed Computing Systems Workshop, 2001 International Conference on: IEEE, pp. 17–22, 2001.
Journal Article
Correia, M., P. Verissimo, and N. Ferreira Neves, The design of a COTS real-time distributed security kernel (extended version), : Department of Informatics, University of Lisbon, 2001.
Armstrong, J., C. Cachin, M. Correia, A. Costa, H. Miranda, N. Ferreira Neves, N. Ferreira Neves, JA. Poritz, B. Randell, C. L Lung, et al., First Specification of APIs and Protocols for the MAFTIA Middleware, : Department of Informatics, University of Lisbon, 2001.
Casimiro, A., and M. Correia, "Recent Advances on the Timely Computing Base Model", Fast Abstract at the International Conference on Dependable Systems and Networks, Göteborg, Sweden, 2001.
Cachin, C., M. Correia, T. McCutcheon, N. Ferreira Neves, B. Pfitzmann, B. Randell, M. Schunter, R. J. Stroud, P. Verissimo, M. Waidner, et al., Service and Protocol Architecture for the MAFTIA Middleware, : Department of Informatics, University of Lisbon, 2001.
Verissimo, P., N. Ferreira Neves, and M. Correia, The middleware architecture of MAFTIA: A blueprint, : Department of Informatics, University of Lisbon, 2000.
Neves, N. Ferreira, M. Correia, and , "The middleware architecture of MAFTIA: A blueprint", In Proceedings of the IEEE Third Information Survivability Workshop (ISW-2000, 2000.
Bom, J., P. Marques, M. Correia, and P. Pinto, "An architecture for dynamic multimedia QoS control", 7th IFIP/ICCC conf. on information networks and data communications, Aveiro, June, 1998.
Conference Paper
Bom, J., P. A. C. Marques, M. Correia, and P. Pinto, "Integrated dymanic QoS control for multimedia applications", SYBEN-Broadband European Networks and Electronic Image Capture and Publishing: International Society for Optics and Photonics, pp. 384–394, 1998.
Bom, J., P. Marques, M. Correia, and P. Pinto, "QoS control: an application integrated framework", ATM, 1998. ICATM-98., 1998 1st IEEE International Conference on: IEEE, pp. 283–290, 1998.
Correia, M., and P. Pinto, "Low-level multimedia synchronization algorithms on broadband networks", Proceedings of the third ACM international conference on Multimedia: ACM, pp. 423–434, 1995.

Pages