Edinburgh Research Explorer

Prof Andrew Gordon

Chair in Computer Security

Research outputs

  1. Guiding a general-purpose C verifier to prove cryptographic protocols

    Research output: Contribution to journalArticle

  2. Probabilistic Programming

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Tabular: A Schema-driven Probabilistic Programming Language

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

View all (14) »

ID: 14681