Invited talks

Chris Hawblitzel, Microsoft Research:Chris Hawblitzel, Microsoft Research
Fast verification of fast cryptography for secure sockets

 

 

 

 

 


Marta Kwiatkowska, OxfordMarta Kwiatkowska, Oxford

 

 

 

 

 


Viktor Vafeiadis, MPI-SWSViktor Vafeiadis, MPI-SWS
Formal reasoning under weak memory consistency