Publications

Export 166 results:
Filters: Author is Neves, Nuno  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
V
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.
Mendes, H., I. Medeiros, and N. Neves, "Validating and Securing DLMS/COSEM Implementations with the ValiDLMS Framework", 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W): IEEE, pp. 179–184, 2018.
U
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.
Antunes, J., and N. Ferreira Neves, "Using behavioral profiles to detect software flaws in network servers", Software Reliability Engineering (ISSRE), 2011 IEEE 22nd International Symposium on: IEEE, pp. 1–10, 2011.
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.
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.
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.
T
Moniz, H., N. Ferreira Neves, and M. Correia, Turquois: Byzantine Consensus in Wireless Ad hoc Networks (extended version), , 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.
Sardinha, L., N. Ferreira Neves, and P. Verissimo, "Tolerating Intrusions in Grid Systems.", Security and Management, pp. 207–220, 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.
Neves, N. Ferreira, Tolerância a Intrusões em Sistemas Informáticos, : Department of Informatics, University of Lisbon, 2005.
Neves, N. Ferreira, Time-based coordinated checkpointing, : University of Illinois at Urbana-Champaign, 1998.
S
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.
Lopes, J., and N. Ferreira Neves, "Stopping a Rapid Tornado with a Puff", Security and Privacy (SP), 2014 IEEE Symposium on: IEEE, pp. 509–523, 2014.
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.
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.
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.
Correia, M., C. L Lung, N. Ferreira Neves, and P. Verissimo, A Simple Intrusion-Tolerant Reliable Multicast Protocol using the TTCBe Model, , 2003.
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.
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.
Vavala, B., N. Ferreira Neves, and P. Steenkiste, "Securing Passive Replication Through Verification", Proceedings of the 34th Symposium on Reliable Distributed Systems (SRDS), Montreal, Canada, 2015.
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.
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.
Vavala, B., N. Neves, and P. Steenkiste, "Secure tera-scale data crunching with a small TCB", Dependable Systems and Networks (DSN), 2017 47th Annual IEEE/IFIP International Conference on: IEEE, pp. 169–180, 2017.
Pereira, F., N. Ferreira Neves, and F. M. V. Ramos, "Secure Network Monitoring Using Programmable Data Planes", Third International Workshop on Security in NFV-SDN (IEEE NFV-SDN 2017), 2017.
Vavala, B., N. Neves, and P. Steenkiste, "Secure Identification of Actively Executed Code on a Generic Trusted Component", Dependable Systems and Networks (DSN), 2016 46th Annual IEEE/IFIP International Conference on: IEEE, pp. 419–430, 2016.
Mendonca, M., and N. Ferreira Neves, "Secure Application Updates on Point of Sale Devices.", ICETE (2), pp. 38–45, 2004.
Ferrolho, L., M. Alaluna, N. Neves, and F. Ramos, "Secure and dependable virtual network embedding", arXiv preprint arXiv:1602.02268, 2016.
Alaluna, M., E. Vial, N. Neves, and F. M. V. Ramos, "Secure and Dependable Multi-Cloud Network Virtualization", Proceedings of the 1st International Workshop on Security and Dependability of Multi-Domain Infrastructures: ACM, pp. 2, 2017.
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.
R
Neves, N. Ferreira, and P. Verissimo, Running Lab Prototype of MAFTIA Middleware, , 2002.
Mendonca, M., and N. Ferreira Neves, "Robustness testing of the Windows DDK", Dependable Systems and Networks, 2007. DSN'07. 37th Annual IEEE/IFIP International Conference on: IEEE, pp. 554–564, 2007.
Lopes, J., and N. Ferreira Neves, "Robustness of the RaptorQ FEC Code Under Malicious Attacks", Inforum, 2013.
Vavala, B., and N. Ferreira Neves, "Robust and Speculative Byzantine Randomized Consensus with Constant Time Complexity in Normal Conditions.", SRDS, pp. 161–170, 2012.
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.
Antunes, J., N. Ferreira Neves, and P. Verissimo, ReverX: Reverse engineering of protocols, , 2011.
Antunes, J., N. Ferreira Neves, and P. Verissimo, "Reverse engineering of protocols from network traces", Reverse Engineering (WCRE), 2011 18th Working Conference on: IEEE, pp. 169–178, 2011.
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.
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.
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.
Strigini, L., N. Ferreira Neves, M. Raynal, M. Harrison, M. Kaaniche, F. Von Henke, and , Resilience-building technologies: State of knowledge, , 2007.
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, 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, and P. Verissimo, Resilence State Machine Replication, , 2005.
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.
Antunes, J., and N. Ferreira Neves, "Recycling test cases to detect security vulnerabilities", Software Reliability Engineering (ISSRE), 2012 IEEE 23rd International Symposium on: IEEE, pp. 231–240, 2012.
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.
Vavala, B., N. Ferreira Neves, H. Moniz, and P. Verissimo, "Randomized consensus in wireless environments: a case where more is better", Dependability (DEPEND), 2010 Third International Conference on: IEEE, pp. 7–12, 2010.
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.
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.
P
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.
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.
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.
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.
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.
Neves, N. Ferreira, and P. Verissimo, Preliminary specification of services and protocols, : Department of Informatics, University of Lisbon, 2008.
Carvalho, T., H. S. Kim, and N. Ferreira Neves, "PACE your network: Fair and controllable multi-tenant data center networks", Communications (ICC), 2013 IEEE International Conference on: IEEE, pp. 3726–3731, 2013.
O
Garcia, M., A. Neves Bessani, I. Gashi, N. Ferreira Neves, and R. Obelheiro, "OS diversity for intrusion tolerance: Myth or reality?", Dependable Systems & Networks (DSN), 2011 IEEE/IFIP 41st International Conference on: IEEE, pp. 383–394, 2011.
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.
N
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.
M
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.
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.
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.
L
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.
Neves, N. Ferreira, "Locating file processing vulnerabilities", Fast abstract in Supplement of the Int. Conf. on Dependable Systems and Networks, 2006.
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.
Alaluna, M., F. M. V. Ramos, and N. Neves, "(Literally) Above the clouds: Virtualizing the network over multiple clouds", NetSoft Conference and Workshops (NetSoft), 2016 IEEE: IEEE, pp. 112–115, 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.
Vavala, B., and N. Ferreira Neves, "LaSIGE, Univ. of Lisbon, Lisbon, Portugal", Reliable Distributed Systems (SRDS), 2012 IEEE 31st Symposium on: IEEE, pp. 161–170, 2012.
I
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.
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.
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.
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.
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.
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.
Garcia, M., N. Ferreira Neves, and A. Neves Bessani, "An intrusion-tolerant firewall design for protecting SIEM systems", 2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W): IEEE, pp. 1–7, 2013.
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., 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.
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.
Mendonca, M., and N. Ferreira Neves, "Intercept: Profiling Windows Network Device Drivers", Dependable Computing: Springer Berlin Heidelberg, pp. 61–75, 2013.
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.
H
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.
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.
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 dependable are distributed f fault/intrusion-tolerant systems?, : Department of Informatics, University of Lisbon, 2005.
Melo, W., L. F. R. C. Carmo, A. Bessani, N. Neves, and A. Santin, "How blockchains can improve measuring instruments regulation and control", 2018 IEEE International Instrumentation and Measurement Technology Conference (I2MTC): IEEE, pp. 1–6, 2018.
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, "Hidden problems of asynchronous proactive recovery", Proceedings of the Workshop on Hot Topics in System Dependability, 2007.
Medeiros, I., M. Beatriz, N. Neves, and M. Correia, "Hacking the DBMS to Prevent Injection Attacks", Proceedings of the Sixth ACM Conference on Data and Application Security and Privacy: ACM, pp. 295–306, 2016.
F
Mendonca, M., and N. Ferreira Neves, "Fuzzing wi-fi drivers to locate security vulnerabilities", Dependable Computing Conference, 2008. EDCC 2008. Seventh European: IEEE, pp. 110–119, 2008.

Pages