Our SOSP paper on verifying the seL4 kernel was awarded a best
paper award at the conference. It's very nice to get such recognition after all
the hard work put into building and verifying seL4.
I'm on the PC for the 2010 USENIX Annual Technical
Conference. The CFP
is out, and I encourage you to submit!
I'm on the PC for the 2009 European Workshop on System Security EUROSEC. It should be an
interesting workshop, held in conjunction with EuroSys.Come along!!!