Edinburgh Research Explorer

Prof Andrew Gordon

Chair in Computer Security

Research outputs

  1. Probabilistic Programs as Spreadsheet Queries

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

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

    Research output: Contribution to journalArticle

  3. Probabilistic Programming

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

View all (15) »

ID: 14681