[LLVMdev] Secure Virtual Machine
naasking at gmail.com
Sun Jun 3 07:15:17 CDT 2007
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?
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
> SVA is at a very preliminary stage but some slides about it are
More information about the LLVMdev