This page collects information on proof-carrying-code, a technique for the secure execution of untrusted code. The best starting point on PCC is George Necula's PCC page, giving a general introduction and an overview of the main techniques. I have collected a PCC reading list (as of June 2007), which is also available online.
The following list of projects is in no way representative for the entire field, but should be useful as starting points for further reading.
Other Global Computing projects: