[LLVMdev] Secure Virtual Machine

[Sandro Magi]

SVA looks very promising. It would be great to be able to run
unmodified C safely!

However, it does not seem to address my original question: how can I
ensure that code  cannot DoS either the memory subsystem, or the CPU?

In my proposal, I could execute said code in a concurrent process with
a memory quota. How would SVA address that problem?

Sandro

On 6/2/07, Vikram S. Adve <vadve at uiuc.edu> wrote:
> We have a research project that is developing a Secure Virtual
> Architecture using LLVM as the instruction set, and implementing via
> a VM which we call a Secure Virtual Machine.  The memory safety
> foundations of this work are based on Dinakar Dhurjati's thesis and
> publications:
> 	http://llvm.org/pubs/
>
> SVA is at a very preliminary stage but some slides about it are
> attached.
>