Nuno Neves

2017
Pereira, F., Neves N. Ferreira, & Ramos F. M. V. (2017).  Secure Network Monitoring Using Programmable Data Planes. Third International Workshop on Security in NFV-SDN (IEEE NFV-SDN 2017).
2015
Onica, R., Neves N. Ferreira, & Casimiro A. (2015).  Fault-Tolerant Precision Time Protocol for Smart Grids. Proceedings of the 7th Simposio de Informatica (INFORUM).
Vavala, B., Neves N. Ferreira, & Steenkiste P. (2015).  Securing Passive Replication Through Verification. Proceedings of the 34th Symposium on Reliable Distributed Systems (SRDS).
2014
Garcia, M., Bessani A. Neves, Gashi I., Neves N. Ferreira, & Obelheiro R. (2014).  Analysis of operating system diversity for intrusion tolerance. Software: Practice and Experience. 44, 735–770.
Medeiros, I., Neves N. Ferreira, & Correia M. (2014).  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. 63–74.
Bessani, A. Neves, Mendes R., Oliveira T., Neves N. Ferreira, Correia M., Pasin M., et al. (2014).  SCFS: a shared cloud-backed file system. Usenix ATC.
Lopes, J., & Neves N. Ferreira (2014).  Stopping a Rapid Tornado with a Puff. Security and Privacy (SP), 2014 IEEE Symposium on. 509–523.
2013
Moniz, H., Neves N. Ferreira, & Correia M. (2013).  Byzantine fault-tolerant consensus in wireless ad hoc networks. Mobile Computing, IEEE Transactions on. 12, 2441–2454.
Bessani, A. Neves, Santos M., Felix J., Neves N. Ferreira, & Correia M. (2013).  On the Efficiency of Durable State Machine Replication.. USENIX Annual Technical Conference. 169–180.
Mendonca, M., & Neves N. Ferreira (2013).  Intercept: Profiling Windows Network Device Drivers. Dependable Computing. 61–75.
Garcia, M., Neves N. Ferreira, & Bessani A. Neves (2013).  An intrusion-tolerant firewall design for protecting SIEM systems. 2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W). 1–7.
Carvalho, T., Kim H. S., & Neves N. Ferreira (2013).  PACE your network: Fair and controllable multi-tenant data center networks. Communications (ICC), 2013 IEEE International Conference on. 3726–3731.
Lopes, J., & Neves N. Ferreira (2013).  Robustness of the RaptorQ FEC Code Under Malicious Attacks. Inforum.
Medeiros, I., Neves N. Ferreira, & Correia M. (2013).  Securing energy metering software with automatic source code correction. Industrial Informatics (INDIN), 2013 11th IEEE International Conference on. 701–706.
2012
Correia, M., Neves N. Ferreira, & Verissimo P. (2012).  BFT-TO: Intrusion tolerance with less replicas. The Computer Journal. bxs148.
Garcia, M., Neves N. Ferreira, & Bessani A. Neves (2012).  Diversys: Diverse rejuvenation system. Proceedings of the INFORUM-Simpósio de Informática.
Vavala, B., & Neves N. Ferreira (2012).  LaSIGE, Univ. of Lisbon, Lisbon, Portugal. Reliable Distributed Systems (SRDS), 2012 IEEE 31st Symposium on. 161–170.
Antunes, J., & Neves N. Ferreira (2012).  Recycling test cases to detect security vulnerabilities. Software Reliability Engineering (ISSRE), 2012 IEEE 23rd International Symposium on. 231–240.
Vavala, B., & Neves N. Ferreira (2012).  Robust and Speculative Byzantine Randomized Consensus with Constant Time Complexity in Normal Conditions.. SRDS. 161–170.
2011
Bessani, A. Neves, Neves N. Ferreira, Casimiro A., Arce C., Prieto E., Granadillo G. Gonzalez, et al. (2011).  Architecture Document.
Antunes, J., & Neves N. Ferreira (2011).  Automatically complementing protocol specifications from network traces. Proceedings of the 13th European Workshop on Dependable Computing. 87–92.
Correia, M., Veronese G. Santos, Neves N. Ferreira, & Verissimo P. (2011).  Byzantine consensus in asynchronous message-passing systems: a survey. International Journal of Critical Computer-Based Systems. 2, 141–161.
Elia, I. Alessandro, Formicola V., Romano L., D'Antonio S., Neves N. Ferreira, Rieke R., et al. (2011).  D2. 1.1–Scenario Requirements (Public version).
Antunes, J., & Neves N. Ferreira (2011).  Diveinto: Supporting diversity in intrusion-tolerant systems. Reliable Distributed Systems (SRDS), 2011 30th IEEE Symposium on. 137–146.
Garcia, M., Bessani A. Neves, & Neves N. Ferreira (2011).  Diverse OS Rejuvenation for Intrusion Tolerance. Supplement of the International Conference on Dependable Systems and Networks (DSN).

Pages