From: Luc Van den Borre (luc@nuclide.com)
Date: Tue May 02 2000 - 03:21:12 PDT
| And what reason do i have to trust this sandbox? If it protects
| my computer as well as a "Web browser protects [me] from malicious
| code", that's pretty dismal.
Some quick links to provably-safe-code research:
- Typed Assembly Language ( http://www.cs.cornell.edu/talc/ ), also a compiler for a safe C-like language called Popcorn
- Touchstone Compiler ( http://www.cs.cmu.edu/~necula/touchstone.html ), compiles a type-safe subset of C, produces
proof carrying machine code.
- There's also a company called Cedilla Systems that might be working on some interesting Proof Carrying Code technology
( http://www.cedillasys.com/pages/about/products.html ) - nothing released though.
--Luc
This archive was generated by hypermail 2b29 : Tue May 02 2000 - 03:23:11 PDT