search for: svaoverview

...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. -------------- next part -------------- A non-text attachment was scrubbed... Name: 2007-SVAOverview.ppt Type: application/vnd.ms-powerpoint Size: 827904 bytes Desc: not available URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20070602/cd89eaf5/attachment.ppt> -------------- next part -------------- --Vikram http://www.cs.uiuc.edu/~vadve http://llvm.org On Jun 2, 2007, at 12:...

Many VMs focus on performance, optimizations, memory consumption, etc. but very few, if any, focus on fault isolation and security. Given memory safety, any VM reduces to capability security, which is sufficient to implement most security policies of interest; however, most such VMs still ignore two main attack vectors from malicious code: DoS attack on memory allocation, and DoS against the CPU.