Nuno Neves

Journal Article
Nunes, P., I. Medeiros, J. C. Fonseca, N. Neves, M. Correia, and M. Vieira, "Benchmarking Static Analysis Tools for Web Security", IEEE Transactions on Reliability, vol. 67, no. 3: IEEE, pp. 1159–1175, 2018.
Viegas, E., A. Santin, A. Bessani, and N. Neves, "BigFlow: Real-time and reliable anomaly-based intrusion detection for high-speed networks", Future Generation Computer Systems: Elsevier, 2018.
Conference Paper
Nogueira, A., M. Garcia, A. Bessani, and N. Neves, "On the Challenges of Building a BFT SCADA", 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN): IEEE, pp. 163–170, 2018.
Conference Proceedings
Vacas, I., I. Medeiros, and N. Neves, "Detecting Network Threats using OSINT Knowledge-based IDS", In Proceedings of the European Dependable Computing Conference (EDCC), 2018.
Conference Paper
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.
Journal Article
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.
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.
Conference Paper
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.
Nunes, P., I. Medeiros, J. Fonseca, N. Neves, M. Correia, and M. Vieira, "On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study", 2017 13th European Dependable Computing Conference (EDCC): IEEE, pp. 121–128, 2017.
Medeiros, I., M. Beatriz, N. Neves, and M. Correia, "Demonstrating a Tool for Injection Attack Prevention in MySQL", Dependable Systems and Networks (DSN), 2017 47th Annual IEEE/IFIP International Conference on: IEEE, pp. 551–558, 2017.
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.
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 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.
Conference Paper
Medeiros, I., N. Neves, and M. Correia, "DEKANT: a static analysis tool that learns to detect web application vulnerabilities", Proceedings of the 25th International Symposium on Software Testing and Analysis: ACM, pp. 1–11, 2016.
Journal Article
Medeiros, I., N. Neves, and M. Correia, "Detecting and removing web application vulnerabilities with static analysis and data mining", IEEE Transactions on Reliability, vol. 65, no. 1: IEEE, pp. 54–69, 2016.
Conference Paper
Medeiros, I., N. Neves, and M. Correia, "Equipping WAP with weapons to detect vulnerabilities", Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016.
Medeiros, I., N. Neves, and M. Correia, "Equipping WAP with WEAPONS to Detect Vulnerabilities: Practical Experience Report", Dependable Systems and Networks (DSN), 2016 46th Annual IEEE/IFIP International Conference on: IEEE, pp. 630–637, 2016.
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.
Journal Article
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.
Conference Paper
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.
Journal Article
Ferrolho, L., M. Alaluna, N. Neves, and F. Ramos, "Secure and dependable virtual network embedding", arXiv preprint arXiv:1602.02268, 2016.
Conference Paper
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.
Conference Paper
Onica, R., N. Ferreira Neves, and A. Casimiro, "Fault-Tolerant Precision Time Protocol for Smart Grids", Proceedings of the 7th Simposio de Informatica (INFORUM), Covilha, Portugal, 2015.
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.
Journal Article
Garcia, M., A. Neves Bessani, I. Gashi, N. Ferreira Neves, and R. Obelheiro, "Analysis of operating system diversity for intrusion tolerance", Software: Practice and Experience, vol. 44, no. 6, pp. 735–770, 2014.
Conference Paper
Medeiros, I., N. Ferreira Neves, and M. Correia, "Automatic detection and correction of web application vulnerabilities using data mining to predict false positives", Proceedings of the 23rd international conference on World wide web: International World Wide Web Conferences Steering Committee, pp. 63–74, 2014.
Miscellaneous
Bessani, A. Neves, M. Correia, and N. Neves, Consistency Anchor Formalization and Correctness Proofs, : Technical Report DI-FCUL-2014-02, ULisboa, 2014.
Conference Paper
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.
Journal Article
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.
Conference Paper
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.
Book Chapter
Mendonca, M., and N. Ferreira Neves, "Intercept: Profiling Windows Network Device Drivers", Dependable Computing: Springer Berlin Heidelberg, pp. 61–75, 2013.
Conference Paper
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.
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.
Conference Paper
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.
Journal Article
Correia, M., N. Ferreira Neves, and P. Verissimo, "BFT-TO: Intrusion tolerance with less replicas", The Computer Journal: Oxford University Press, pp. bxs148, 2012.
Garcia, M., N. Ferreira Neves, and A. Neves Bessani, "Diversys: Diverse rejuvenation system", Proceedings of the INFORUM-Simpósio de Informática, 2012.
Conference Paper
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.
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.
Vavala, B., and N. Ferreira Neves, "Robust and Speculative Byzantine Randomized Consensus with Constant Time Complexity in Normal Conditions.", SRDS, pp. 161–170, 2012.
Antunes, J., and N. Ferreira Neves, "Automatically complementing protocol specifications from network traces", Proceedings of the 13th European Workshop on Dependable Computing: ACM, pp. 87–92, 2011.
Conference Paper
Antunes, J., and N. Ferreira Neves, "Diveinto: Supporting diversity in intrusion-tolerant systems", Reliable Distributed Systems (SRDS), 2011 30th IEEE Symposium on: IEEE, pp. 137–146, 2011.
Journal Article
Garcia, M., A. Neves Bessani, and N. Ferreira Neves, "Diverse OS Rejuvenation for Intrusion Tolerance", Supplement of the International Conference on Dependable Systems and Networks (DSN), 2011.
Conference Paper
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.
Journal Article
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.
Conference Paper
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.
Journal Article
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.
Conference Paper
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.
Journal Article
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.
Conference Paper
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.
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.
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.
Conference Paper
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.
Conference Paper
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.
Book Chapter
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.
Journal Article
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.
Conference Paper
Antunes, J., N. Ferreira Neves, and P. Verissimo, "Detection and prediction of resource-exhaustion vulnerabilities", Software Reliability Engineering, 2008. ISSRE 2008. 19th International Symposium on: IEEE, pp. 87–96, 2008.
Conference Paper
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.
Journal Article
Neves, N. Ferreira, and P. Verissimo, Preliminary specification of services and protocols, : Department of Informatics, University of Lisbon, 2008.
Teixeira, E., J. Antunes, and N. Ferreira Neves, "Avaliação de Ferramentas de Análise Estática de Código para Detecção de Vulnerabilidades", Actas da 3ª Conferência Nacional Sobre Segurança Informática nas Organizações, Lisboa, Portugal, 2007.
Antunes, J., N. Ferreira Neves, and P. Verissimo, Finding Local Resource Exhaustion Vulnerabilities, : International Symposium on Software Reliability Engineering, 2007.
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.
Conference Paper
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.
Conference Paper
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.
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.
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.
Journal Article
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.
Book Chapter
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.
Conference Paper
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.

Pages