To my supervisor, Diego, whose patience and dedication in sharing experience and knowledge pointed me in the directions leading up to this work.To my parents, Américo and Paweena, to the inspiration to push even more the borders of human knowledge.To Renna, my eternal girlfriend (soon to be wife) supporting me, either by understanding the lack of my presence at home or abdications needed for further improve our lifes.To the Laboratory of Security and Applied Cryptography (LASCA), in which infrastructure and work environment allowed to share knowledge and have important discussions. In special, to Armando Faz-Hernandéz to his numerous pointers and to Luan Cardoso dos Santos, of his in-depth knowledge of the target architecture, overall (graphical) design ideas and company in coffee-breaks.To the faculty members, the staff and colleagues at the Institute of Computing at UNICAMP, which helped me to conclude this work in a way.