SMOV: protecting programs against buffer overflow in hardware

Antonio Lemos Maia Neto

Please use this identifier to cite or link to this item: http://hdl.handle.net/1843/ESBF-9WVNB8

Full metadata record

DC Field	Value	Language
dc.contributor.advisor1	Leonardo Barbosa e Oliveira	pt_BR
dc.contributor.advisor-co1	Omar Paranaiba Vilela Neto	pt_BR
dc.contributor.referee1	Omar Paranaiba Vilela Neto	pt_BR
dc.contributor.referee2	Antonio Otavio Fernandes	pt_BR
dc.contributor.referee3	Ricardo Augusto Rabelo Oliveira	pt_BR
dc.contributor.referee4	Sergio Vale Aguiar Campos	pt_BR
dc.creator	Antonio Lemos Maia Neto	pt_BR
dc.date.accessioned	2019-08-10T02:51:46Z	-
dc.date.available	2019-08-10T02:51:46Z	-
dc.date.issued	2015-02-24	pt_BR
dc.identifier.uri	http://hdl.handle.net/1843/ESBF-9WVNB8	-
dc.description.abstract	A Buffer Overflow (BOF) continues to be among the top causes of software vulnerabilities. Last year the security world was taken by surprise when researches unveiled a BOF in OpenSSL. Languages like C and C++, widely used for systems development and for a large variety of applications, do not provide native Array-Bound Checks (ABC). A myriadof proposals endeavor memory protection for such languages by employing both softwareand hardware-based solutions. Due to numerous reasons, none of them have yet reached the mainstream. In this work, we propose a novel approach to achieve an arrays bound-check and a memory access (when allowed) within a single instruction. We discuss how it can be implemented on variable-length ISAs and provide a reference implementation.	pt_BR
dc.description.resumo	Estouro de Arranjos (Buffer Overflow BOF) continua a ser uma das principais vulnerabilidades encontradas em software. Ano passado, a comunidade de Segurança da Informação foi surpreendida quando pesquisadores revelaram uma vulnerabilidade de BOF no OpenSSL.Linguagens de programação como C e C++, amplamente usadas para desenvolvimento de sistemas e em uma grande variedade de aplicações, não proveem Verificação de Limites de Arranjos (Array Bound Checks ABCs) nativamente. Existem inúmeras propostas quevisam a proteção de memória para essas linguagens, através de soluções baseadas em software ou hardware. Ainda assim, entretanto, essas técnicas acabam por comprometer o desempenho dos programas, o que não é uma solução ideal para o problema. Este trabalho apresenta uma nova abordagem para alcançar verificação de limites de arranjos e acesso à memória (quando permitido) através de uma única instrução. Nós discutimos como ela pode ser implementada em arquiteturas com tamanho variável de instruções e disponibilizamosuma implementação de referência.	pt_BR
dc.language	Português	pt_BR
dc.publisher	Universidade Federal de Minas Gerais	pt_BR
dc.publisher.initials	UFMG	pt_BR
dc.rights	Acesso Aberto	pt_BR
dc.subject	Buffer-overflow	pt_BR
dc.subject	Security	pt_BR
dc.subject	Computer Architectures	pt_BR
dc.subject.other	Computação	pt_BR
dc.subject.other	Computadores Medidas de segurança	pt_BR
dc.subject.other	Redes de computadores Medidas de segurança	pt_BR
dc.title	SMOV: protecting programs against buffer overflow in hardware	pt_BR
dc.type	Dissertação de Mestrado	pt_BR
Appears in Collections:	Dissertações de Mestrado

Files in This Item:

File	Description	Size	Format
antoniolemosmaianeto.pdf		2.31 MB	Adobe PDF	View/Open

Show simple item record