Publications

Export 166 results:
Filters: Author is Neves, Nuno F  [Clear All Filters]
2006
Neves, N. Ferreira, "Locating file processing vulnerabilities", Fast abstract in Supplement of the Int. Conf. on Dependable Systems and Networks, 2006.
Sousa, P., N. Ferreira Neves, P. Verissimo, and W. H. Sanders, "Proactive resilience revisited: The delicate balance between resisting intrusions and remaining available", Reliable Distributed Systems, 2006. SRDS'06. 25th IEEE Symposium on: IEEE, pp. 71–82, 2006.
Sousa, P., N. Ferreira Neves, and P. Verissimo, "Proactive resilience through architectural hybridization", Proceedings of the 2006 ACM symposium on Applied computing: ACM, pp. 686–690, 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.
Neves, N. Ferreira, P. Verissimo, P. Sousa, and A. Lopes, On the Resilience of Intrusion-Tolerant Distributed Systems, : Department of Informatics, University of Lisbon, 2006.
Sousa, P., N. Ferreira Neves, A. Lopes, and P. Verissimo, "On the resilience of intrusion-tolerant distributed systems", DI/FCUL TR 06–14, DEP. OF INFORMATICS, UNIV. OF LISBON, SEPTEMBER 2006.–PRELIMINARY ARCHITECTURE SPECIFICATION PAGE 100, 2006.
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.
2005
Sousa, P., N. Ferreira Neves, and P. Verissimo, How dependable are distributed f fault/intrusion-tolerant systems?, : Department of Informatics, University of Lisbon, 2005.
Sousa, P., N. Ferreira Neves, and P. Verissimo, How dependable are distributed f fault/tolerant systems?, , 2005.
Sousa, P., N. Ferreira Neves, and P. Verissimo, "How resilient are distributed f fault/intrusion-tolerant systems?", Dependable Systems and Networks, 2005. DSN 2005. Proceedings. International Conference on: IEEE, pp. 98–107, 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.
Sousa, P., N. Ferreira Neves, and P. Verissimo, "A New Approach to Proactive Recovery", Fifth European Dependable Computing Conference (EDCC-5) Supplemental Volume. Budapest, Hungary, pp. 35–40, 2005.
Sousa, P., N. Ferreira Neves, and P. Verissimo, Resilence State Machine Replication, , 2005.
Sousa, P., N. Ferreira Neves, and P. Verissimo, "Resilient state machine replication", Dependable Computing, 2005. Proceedings. 11th Pacific Rim International Symposium on: IEEE, pp. 5–pp, 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.
Neves, N. Ferreira, Tolerância a Intrusões em Sistemas Informáticos, : Department of Informatics, University of Lisbon, 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.
2004
Mendonca, M., and N. Ferreira Neves, "Actualização Segura e Automática de Aplicações em Terminais de Venda", Actas da 7ª Conferência sobre Redes de Computadores, CRC, 2004.
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.
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.
Verissimo, P., N. Ferreira Neves, C. Cachin, JA. Poritz, D. Powell, Y. Deswarte, R. J. Stroud, and IS. Welch, Intrusion-Tolerant Middleware: The MAFTIA Approach, : Department of Informatics, University of Lisbon, 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.
Antunes, P., N. Ferreira Neves, L. Carriço, P. Verissimo, R. Rocha, and F. Simões, "Projecto de Avaliação de Sistemas de Votação Electrónica–Resultados da Auditoria", Faculdade de Ciências da Universidade de Lisboa, 2004.
Mendonca, M., and N. Ferreira Neves, "Secure Application Updates on Point of Sale Devices.", ICETE (2), pp. 38–45, 2004.
Sardinha, L., N. Ferreira Neves, and P. Verissimo, Tolerância a Intrusões num Sistema em Grid, : 7ª Conferência sobre Redes de Computadores (CRC 2004), 2004.
Sardinha, L., N. Ferreira Neves, and P. Verissimo, "Tolerating Intrusions in Grid Systems.", Security and Management, pp. 207–220, 2004.
Neves, N. Ferreira, M. Correia, and P. Verissimo, Wormhole-aware Byzantine protocols, , 2004.
2001
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.
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.
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.
Neves, N. Ferreira, and , "First Specification of APIs and Protocols for the MAFTIA Middleware", Project MAFTIA IST-1999-11583 deliverable D24, 2001.
Powell, D., A. Adelsbach, C. Cachin, S. Creese, M. Dacier, Y. Deswarte, T. McCutcheon, N. Ferreira Neves, B. Pfitzmann, B. Randell, et al., MAFTIA (Malicious-and Accidental-Fault Tolerance for Internet Applications), : DSN 2001-International Conference on Dependable Systems and Networks, 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., and N. Ferreira Neves, "Service and Protocol Architecture for the MAFTIA Middleware", Deliverable D23, Project MAFTIA IST-1999-11583, 2001.
2000
W Fuchs, K., N. Ferreira Neves, and K-F. Ssu, "Dependable distributed and mobile computing–utilizing time to enhance recovery from failures", Dependable Network Computing: Springer US, pp. 315–339, 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.
Verissimo, P., N. Ferreira Neves, and M. Correia, The middleware architecture of MAFTIA: A blueprint, : Department of Informatics, University of Lisbon, 2000.
1999
Ssu, K-F., B. Yao, K. W Fuchs, and N. Ferreira Neves, "Adaptive checkpointing with storage management for mobile environments", IEEE Transactions on Reliability, vol. 48, no. 4, pp. 315–324, 1999.
1998
Neves, N. Ferreira, and K. W Fuchs, "Coordinated checkpointing without direct coordination", Computer Performance and Dependability Symposium, 1998. IPDS'98. Proceedings. IEEE International: IEEE, pp. 23–31, 1998.
Neves, N. Ferreira, and K. W Fuchs, "RENEW: A tool for fast and efficient implementation of checkpoint protocols", Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on: IEEE, pp. 58–67, 1998.
Neves, N. Ferreira, Time-based coordinated checkpointing, : University of Illinois at Urbana-Champaign, 1998.
1997
Neves, N. Ferreira, and K. W Fuchs, "Fault detection using hints from the socket layer", Reliable Distributed Systems, 1997. Proceedings., The Sixteenth Symposium on: IEEE, pp. 64–71, 1997.
1996
Neves, N. Ferreira, and K. W Fuchs, "Adaptive recovery for mobile environments", High-Assurance Systems Engineering Workshop, 1996. Proceedings., IEEE: IEEE, pp. 134–141, 1996.
Costa, M., P. Guedes, M. Sequeira, N. Ferreira Neves, and M. Castro, "Lightweight logging for lazy release consistent distributed shared memory", ACM SIGOPS Operating Systems Review, vol. 30, no. si, pp. 59–73, 1996.
Neves, N. Ferreira, A-T. Nguyen, and E. L. Torres, "A study of a non-linear optimization problem using a distributed genetic algorithm", Parallel Processing, 1996. Vol. 3. Software., Proceedings of the 1996 International Conference on, vol. 2: IEEE, pp. 29–36, 1996.
Neves, N. Ferreira, and K. W Fuchs, "Using time to improve the performance of coordinated checkpointing", Computer Performance and Dependability Symposium, 1996., Proceedings of IEEE International: IEEE, pp. 282–291, 1996.
1994
Neves, N. Ferreira, M. Castro, and P. Guedes, "A checkpoint protocol for an entry consistent shared memory system", Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing: ACM, pp. 121–129, 1994.
Guedes, P., M. Castro, and N. Ferreira Neves, "The DiSOM distributed shared object memory", Proceedings of the 6th workshop on ACM SIGOPS European workshop: Matching operating systems to application needs: ACM, pp. 138–140, 1994.
Sousa, P., A. Zúquete, N. Ferreira Neves, and J. Alves Marques, "Orthogonal persistence in a heterogeneous distributed object-oriented environment", The Computer Journal, vol. 37, no. 6: Br Computer Soc, pp. 531–541, 1994.
1993
Castro, M., N. Ferreira Neves, P. Trancoso, and P. Sousa, "MIKE: A Distributed object-oriented programming platform on top of the Mach micro-kernel", Proceedings of the 3rd conference on USENIX MACH III Symposium-Volume 1: USENIX Association, pp. 6–6, 1993.

Pages