AJECT

Attack Injection on Software Components

This page contains links to documents authored by project members and to software programs and components developed by the project.

Papers in Journals:

J. Antunes, N. Neves, P. Veríssimo, R. Neves, Vulnerability Removal with Attack Injection, submitted for publication.
M. Mendonça, N. Neves, Robustness Evaluation of the Windows Device Driver Interface, submitted for publication.

Papers in International Conferences:

J. Antunes, N. Neves, Detection and Prediction of Resource-Exhaustion Vulnerabilities, Proceedings of the IEEE International Symposium on Software Reliability Engineering (ISSRE), Seattle, USA, November 2008.
M. Mendonça, N. Neves, Fuzzing Wi-Fi Drivers to Locate Security Vulnerabilities, Proceedings of the European Dependable Computing Conference, Kaunas, Lithuania, May 2008
J. Antunes, N. Neves, Finding Local Resource Exhaustion Vulnerabilities, Student paper at the 18th IEEE International Symposium on Software Reliability Engineering, Trollhättan, Sweden, November 2007.
M. Mendonça, N. Neves, Fuzzing Wi-Fi Drivers to Locate Security Vulnerabilities, Fast abstract at the 10th IEEE High Assurance Systems Engineering Symposium, Dallas, USA, November 2007.
M. Mendonça, N. Neves, Robustness Testing of the Windows DDK, Proceedings of the International Conference on Dependable Systems and Networks, Edinburgh, UK, June 2007
N. Neves, J. Antunes, M. Correia, P. Veríssimo, R. Neves, Using Attack Injection to Discover New Vulnerabilities, Proceedings of the International Conference on Dependable Systems and Networks, Philadelphia, USA, June 2006.
N. Neves, Locating File Processing Vulnerabilities, Fast abstract in Supplement of the International Conference on Dependable Systems and Networks, Philadelphia, USA, June 2006.

Papers in National Conferences:

M. Mendonça, N. 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, October, 2007.
E. Teixeira, J. Antunes, N. 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, October, 2007.
M. Mendonça, N. Neves, Testes de Robustez ao DDK do Windows XP, Actas da 2ª Conferência Nacional Sobre Segurança Informática nas Organizações, Aveiro, Portugal, October, 2006.
J. Antunes, N. Neves, M. Correia, P. Veríssimo, R. Neves, Diagnóstico de Vulnerabilidades Através da Injecção de Ataques, Actas da 1ª Conferência Nacional Sobre Segurança Informática nas Organizações, Covilhã, Portugal, November, 2005.

Graduation Thesis:

Emanuel Pedro Teixeira, Ferramenta de Análise de Código para Detecção de Vulnerabilidades, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Setembro de 2007.
João Antunes, Vulnerability Assessment Through Attack Injection, Mestrado em Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, November 2006.
Ana Luísa Cotrim, Especificação de Protocolos para Injecção de Ataques, Relatório de Pós-graduação em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, November de 2006.
João Antunes, Projecto e Concretização de uma Ferramenta de Injecção de Ataques, Relatório de Pós-graduação em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, July, 2005.

PhD Thesis:

Manuel Mendonça, Análise e Descoberta de Vulnerabilidades em Gestores de Dispositivos, Doutoramento em Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, in preparation.
João Antunes, Metodologias para a Localização de Vulnerabilidades em Componentes de Software, Doutoramento em Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, in preparation.