Formal Model of Exploit-Resistant Systems

Computer systems are part of our daily lives and security of these systems whether as part of our personal devices or services provided by a trusted third party is of utmost importance. In this thesis methods to enhance the security of computer systems are proposed and formally proven to be correct. The proposed model will prevent an adversary from executing malicious code on a target system.