## E-Mails 📧

- ln.uo @keebreV.keerF
- ude.tv @keerf

## Entries

### 2021

##### X86 instruction semantics and basic block symbolic execution

by Freek Verbeek 📧, Abhijith Bharadwaj, Joshua Bockenek, Ian Roessle, Timmy Weerwag and Binoy Ravindran
Oct 13

### 2014

##### Formal Specification of a Generic Separation Kernel

by Freek Verbeek 📧, Sergey Tverdyshev 📧, Oto Havle 📧, Holger Blasum 📧, Bruno Langenstein 📧, Werner Stephan 📧, Yakoub Nemouchi 📧, Abderrahmane Feliachi 📧, Burkhart Wolff 📧 and Julien Schmaltz 📧
Jul 18