ERESI technical reports

The ERESI project is regularly used as a framework for academic and research work, including for Bachelor and Master thesis, as well as engineering projects. Those reports were not published in any conference or journal, but reviewed by professors of research laboratories in their respective universities. ERESI team members have chosen to publish them. Reports are generally bigger than our articles, generally 50 pages, and contains a wider state of the art as well as more technical and theoretical details. Their read is strongly recommended for scholars wishing to join the project and build on top of it.

2009

Title: KEDBG-JTAG : debugging ARM/JTAG with ERESI
Author: Jesus Sanchez Palencia
Institute: UFPE (Federal University of Pernambuco, Brazil)
Nature: Bachelor final project report
Advisor: Sergio Cavalcante

This report is written in portuguese.

2008

Title: KEDBG: The Kernel ERESI Debugger
Author: Eric Bisolfati
Institute: EPFL / LASEC (Ecole Polytechnique Federale de Lauzanne, Security Laboratory, Switzerland)
Nature: Master project report
Advisor: Martin Vuagnoux

2007

Title: A domain specific meta-language for analyzing imperative binary programs
Author: Julien Vanegue
Institute: University of Cambridge Computer Laboratory, UK
Nature: Master thesis
Advisor: Alan Mycroft

Title: Developing an intermediate representation for analyzing x86 binary programs
Author: Julio Auto de Medeiros
Institute: UFPE / CIN (Universidade Federale de PErnambuco, Centro de INformatica, Brazil)
Nature: Bachelor thesis
Advisor: Edna Barros

Enjoy you read.