Other Projects

The secure or safe execution of untrusted code is a topic receiving much attention and an increasing number of researchers are concerned with formal approaches to guaranteeing security and safety. The following is a list of projects and groups who are working in the area of certifying compilation:

• Fox & ConCert projects @ CMU
• Touchstone @ Berkeley
• Mobile Resource Guarantees (MRG) @ University of Edinburgh & LMU München
• Secure Internet Programming @ Princeton University
• Heap Bounded Assembly Language (HBAL) @ Stevens Institute of Technology
• FLINT Project @ Yale University
• VerifiCard @ TU München