Previous Research Projects

  • CSec: Verification of cryptographic security properties of C code in symbolic and black-box models. With Misha Aizatulin, Andy Gordon and Jan Jürjens.