[cap-talk] Midori in The Register

[Ivan Krstić]

On Aug 5, 2008, at 10:49 AM, Jonathan S. Shapiro wrote:
> I am not aware that any guarantee stronger than these exists. Have I
> missed something?


Presumably that's exactly James' concern: the apparent conflation of  
actual security with execution correctness (as promoted by managed  
code). Execution correctness, while a step in the right direction, is  
several astronomic units away from solving the key desktop security  
problems we have today.

--
Ivan Krstić <krstic at solarsail.hcs.harvard.edu> | http://radian.org