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:

< Contact: Last modified: Wed May 14 13:34:37 EST 2003 >