Top Tweets for #eChronos

over 4 years ago

Advanced verification (pointers, concurrency, information flow, etc.): Marieke Huisman is an excellent exemplar for e.g. VerCors. Susan Owicki ofc. June Andronick of similarly for #seL4, #eChronos etc. More recently @jeanqasaur for infoflow. @polikarn for heaps of stuff. 8/9

Gernot Heiser @GernotHeiser

almost 9 years ago

The final report of the SMACCM Team on the @DARPA #HACMS program is out https://t.co/iIpHlie5WN #seL4 #eChronos #cyber #security

Top Tweets for #eChronos

Last Seen Hashtags on Sotwe

Trends for you

Most Popular Users