Re: [dev-servo] Quark : A Web Browser with a Formally Verified Kernel

2013-09-09 Thread Andrew McCreight
- Original Message - > http://goto.ucsd.edu/quark/ Relatedly, this MWR Labs writeup on their Chrome exploit is kind of fun. "Looking at the crash dumps, we observed that the following undocumented system call triggered the crash" "In cases where the last argument to NtUserMessageCall is

[dev-servo] Quark : A Web Browser with a Formally Verified Kernel

2013-09-08 Thread Brendan Eich
http://goto.ucsd.edu/quark/ /be ___ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo