Re: PopularPower: another FoRK startup

Date view Thread view Subject view Author view

From: Luc Van den Borre (
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 ( ), also a compiler for a safe C-like language called Popcorn
- Touchstone Compiler ( ), 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
( ) - nothing released though.


Date view Thread view Subject view Author view

This archive was generated by hypermail 2b29 : Tue May 02 2000 - 03:23:11 PDT