Publications

Export 166 results:
Filters: Author is Nuno Neves  [Clear All Filters]
Journal Article
Antunes, J., N. Ferreira Neves, and P. Verissimo, Finding Local Resource Exhaustion Vulnerabilities, : International Symposium on Software Reliability Engineering, 2007.
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.
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.
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.
Sousa, P., N. Ferreira Neves, and P. Verissimo, "Hidden problems of asynchronous proactive recovery", Proceedings of the Workshop on Hot Topics in System Dependability, 2007.
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.
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.
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.
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.
Verissimo, P., N. Ferreira Neves, and M. Correia, "Intrusion-tolerant architectures: Concepts and design", Architecting Dependable Systems: Springer-Verlag LNCS 2677, pp. 3–36, 2003.
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.
Verissimo, P., N. Ferreira Neves, C. Cachin, J. Poritz, D. Powell, Y. Deswarte, R. Stroud, and I. Welch, "Intrusion-tolerant middleware: The road to automatic security", Security & Privacy, IEEE, vol. 4, no. 4: IEEE, pp. 54–62, 2006.
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.
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.
Bessani, A., N. F. Neves, P. Veríssimo, W. Dantas, A. Fonseca, R. Silva, P. Luz, and M. Correia, "JITeR: Just-in-time application-layer routing", Computer Networks, vol. 104: Elsevier, pp. 122–136, 2016.
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.
Mendonca, M., and N. Ferreira Neves, "Localização de Vulnerabilidades de Segurança em Gestores de Dispositivos Wi-Fi com Técnicas de Fuzzing", Actas da 3ª Conferência Nacional Sobre Segurança Informática nas Organizações, Lisboa, Portugal, 2007.
Neves, N. Ferreira, "Locating file processing vulnerabilities", Fast abstract in Supplement of the Int. Conf. on Dependable Systems and Networks, 2006.
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.
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.
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.
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., 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.
Neves, N. Ferreira, and P. Verissimo, Preliminary specification of services and protocols, : Department of Informatics, University of Lisbon, 2008.
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.
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.
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.
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.
Vavala, B., N. Ferreira Neves, H. Moniz, and P. Verissimo, "Randomized Consensus in Wireless Environments", International Journal On Advances in Intelligent Systems, vol. 4, no. 1 and 2, pp. 1–12, 2011.
Sousa, P., N. Ferreira Neves, and P. Verissimo, Resilence State Machine Replication, , 2005.
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.
Strigini, L., N. Ferreira Neves, M. Raynal, M. Harrison, M. Kaaniche, F. Von Henke, and , Resilience-building technologies: State of knowledge, , 2007.
Strigini, L., N. Ferreira Neves, M. Raynal, M. Harrison, M. Kaaniche, and F. Von Henke, Resilience-Building Technologies: State of Knowledge–ReSIST NoE Deliverable D12, : Department of Informatics, University of Lisbon, 2007.
Antunes, J., N. Ferreira Neves, and P. Verissimo, ReverX: Reverse engineering of protocols, , 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.
Lopes, J., and N. Ferreira Neves, "Robustness of the RaptorQ FEC Code Under Malicious Attacks", Inforum, 2013.
Neves, N. Ferreira, and P. Verissimo, Running Lab Prototype of MAFTIA Middleware, , 2002.
Bessani, A. Neves, R. Mendes, T. Oliveira, N. Ferreira Neves, M. Correia, M. Pasin, and P. Verissimo, "SCFS: a shared cloud-backed file system", Usenix ATC, 2014.
Ferrolho, L., M. Alaluna, N. Neves, and F. Ramos, "Secure and dependable virtual network embedding", arXiv preprint arXiv:1602.02268, 2016.
Alaluna, M., L. Ferrolho, J. Rui Figueira, N. Neves, and F. Ramos, "Secure Virtual Network Embedding in a Multi-Cloud Environment", arXiv preprint arXiv:1703.01313, 2017.
Verissimo, P., and N. Ferreira Neves, "Service and Protocol Architecture for the MAFTIA Middleware", Deliverable D23, Project MAFTIA IST-1999-11583, 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.
Garcia, M., N. Neves, and A. Bessani, "Sieveq: A layered bft protection system for critical services", IEEE Transactions on Dependable and Secure Computing: IEEE, 2016.
Garcia, M., N. Neves, and A. Bessani, "SieveQ: A layered bft protection system for critical services", IEEE Transactions on Dependable and Secure Computing, vol. 15, no. 3: IEEE, pp. 511–525, 2018.
Correia, M., C. L Lung, N. Ferreira Neves, and P. Verissimo, A Simple Intrusion-Tolerant Reliable Multicast Protocol using the TTCBe Model, , 2003.
L Lung, C., M. Correia, N. Ferreira Neves, and P. Verissimo, "A simple intrusion-tolerant reliable multicast protocol using the TTCB", of: 21o Simpósio Brasileiro de Redes de Computadores, pp. 649–663, 2003.
Matos, D. R., N. Neves, and A. Bessani, "SITAN: Services for Fault-Tolerant Ad Hoc Networks with Unknown Participants", arXiv preprint arXiv:1804.09107, 2018.
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.
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.
Moniz, H., N. Ferreira Neves, and M. Correia, Turquois: Byzantine Consensus in Wireless Ad hoc Networks (extended version), , 2010.
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.
Lacoste, M., M. Miettinen, N. Neves, F. M. V. Ramos, M. Vukolić, F. Charmet, R. Yaich, K. Oborzynski, G. Vernekar, and P. Sousa, "User-Centric Security and Dependability in the Clouds-of-Clouds", IEEE Cloud Computing, vol. 3, no. 5: IEEE, pp. 64–75, 2016.
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.
Correia, M., N. Ferreira Neves, C. L Lung, and P. Verissimo, "WIT-GCS–a wormhole-based intrusion-tolerant group communication system", Submitted for publication, 2003.
Neves, N. Ferreira, M. Correia, and P. Verissimo, Wormhole-aware Byzantine protocols, , 2004.
Correia, M., N. Ferreira Neves, C. L Lung, and P. Verissimo, "A Wormhole-based Intrusion-Tolerant Group Communication System–WIT-GCS", The 5th Cabernet Plenary Workshop, 2003.
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.
Miscellaneous
Antunes, J., and N. Ferreira Neves, "Building an automation towards reverse protocol engineering", 2012-10-10]. http://homepages. di. fc. ul. pt/\~{} nuno/PAPERS/INFORUM09. pdf, 2009.
Bessani, A. Neves, M. Correia, and N. Neves, Consistency Anchor Formalization and Correctness Proofs, : Technical Report DI-FCUL-2014-02, ULisboa, 2014.
Thesis
Neves, N. Ferreira, Time-based coordinated checkpointing, : University of Illinois at Urbana-Champaign, 1998.

Pages