Research outputs

1. Identification of new susceptibility loci for osteoarthritis (arcOGEN): a genome-wide association study

   Research output: Contribution to journal › Article

2. Refinement types for secure implementations

   Research output: Contribution to journal › Article

3. Extracting and verifying cryptographic models from C protocol code by symbolic execution

   Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

View all (8) »