Semantic search
From Navigators
Publications
- Paulo Nunes, Ibéria Medeiros, José Fonseca, Nuno Ferreira Neves, Miguel Correia, Marco Vieira, “On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study”, in Proceedings of the 13th European Dependable Computing Conference (EDCC), Sept. 2017.
- Ibéria Medeiros, Nuno Ferreira Neves, Miguel Beatriz, Miguel Correia, “Demonstrating a Tool for Injection Attack Prevention in MySQL”, in Proceedings of the International Conference on Dependable Systems and Networks (DSN)., Jun. 2017.
- Max Alaluna, Eric Vial, Nuno Ferreira Neves, Fernando Ramos, “Secure and Dependable Multi-Cloud Network Virtualization”, in 1st International Workshop on Security and Dependability of Multi-Domain Infrastructures (XDOM0), Apr. 2017.
- M. Lacoste, M. Miettinen, Nuno Ferreira Neves, Fernando Ramos, M. Vukolic, F. Charmet, R. Yaich, K. Oborzynski, G. Vernekar, Paulo Sousa, “User-Centric Security and Dependability in the Clouds-of-Clouds”, IEEE Cloud Computing, vol. 3, no. 5, pp. 64–75, Nov. 2016.
- Ibéria Medeiros, Nuno Ferreira Neves, Miguel Correia, “DEKANT: A Static Analysis Tool that Learns to Detect Web Application Vulnerabilities”, in Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), Jul. 2016.
- Alysson Bessani, Nuno Ferreira Neves, Paulo Verissimo, Wagner Saback Dantas, Alexandre Fonseca, Rui Silva, Pedro Luz, Miguel Correia, “JITeR: Just-In-Time Application-Layer Routing”, Computer Networks, vol. 104, pp. 122–136, Jul. 2016.
- Bruno Vavala, Nuno Ferreira Neves, Peter Steenkiste, “Secure Identification of Actively Executed Code on a Generic Trusted Component”, in Proceedings of the International Conference on Dependable Systems and Networks (DSN), Jun. 2016.
- Max Alaluna, Fernando Ramos, Nuno Ferreira Neves, “(Literally) above the clouds: Virtualizing the network over multiple clouds”, in Proceedings of the IEEE Conference on Network Softwarization (NetSoft), Jun. 2016.
- Ibéria Medeiros, Nuno Ferreira Neves, Miguel Correia, “Equipping WAP with Weapons to Detect Vulnerabilities”, in Proceedings of the International Conference on Dependable Systems and Networks (DSN), Jun. 2016.
- Miguel Garcia, Alysson Bessani, Nuno Ferreira Neves, “Towards an Execution Environment for Intrusion-Tolerant Systems”, in Poster in the 11th European Conference on Computer Systems (EuroSys), London, UK, Apr. 2016.
- Ibéria Medeiros, Nuno Ferreira Neves, Miguel Correia, “Hacking the DBMS to Prevent Injection Attacks”, in Proceedings of the ACM Conference on Data and Applications Security and Privacy (CODASPY), Mar. 2016.
- Ibéria Medeiros, Nuno Ferreira Neves, Miguel Correia, “Detecting and Removing Web Application Vulnerabilities with Static Analysis and Data Mining”, IEEE Transactions on Reliability, vol. 65, no. 1, pp. 54–69, Mar. 2016.
- Luís Ferrolho, Max Alaluna, Nuno Ferreira Neves, Fernando Ramos, “Secure and Dependable Virtual Network Embedding”, in Poster in the 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI), Mar. 2016.
- Radu Onica, Nuno Ferreira Neves, António Casimiro, “Fault-Tolerant Precision Time Protocol for Smart Grids”, in Proceedings of the 7th Simpósio de Informática (INFORUM), Covilhã, Portugal, Sept. 2015.
- Bruno Vavala, Nuno Ferreira Neves, Peter Steenkiste, “Securing Passive Replication Through Verification”, in Proceedings of the 34th Symposium on Reliable Distributed Systems (SRDS), Montreal, Canada, Sept. 2015.
- Miguel Garcia, Alysson Bessani, Ilir Gashi, Nuno Ferreira Neves, Rafael R. Obelheiro, “Analysis of OS Diversity for Intrusion Tolerance”, Software: Practice and Experience, vol. 44, no. 8, pp. 735–770, Jun. 2014.
- Ibéria Medeiros, Nuno Ferreira Neves, Miguel Correia, “Web Application Protection with the WAP Tool”, in Fast Abstract at the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Atlanta, USA, Jun. 2014.
- Alysson Bessani, Ricardo Mendes, Tiago Oliveira, Nuno Ferreira Neves, Miguel Correia, Marcelo Pasin, Paulo Verissimo, “SCFS: A Shared Cloud-backed File System”, in Proceedings of the 2014 USENIX Annual Technical Conference (USENIX-ATC), Philadelphia, PA, US, Jun. 2014.
- David Matos, Nuno Ferreira Neves, Alysson Bessani, “SITAN: Services for Ad Hoc Networks with Unknown Participants”, in Fast Abstract at the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Atlanta, USA, Jun. 2014.
- José Lopes, Nuno Ferreira Neves, “Stopping a Rapid Tornado with a Puff”, in Proceedings of the IEEE Symposium on Security and Privacy (Oakland), San Jose, USA, May 2014.