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!!!