Edinburgh Research Explorer

Dr. Graham Steel

(Former employee or visitor)

Research outputs

  1. A Formal Theory of Key Conjuring

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

  2. Towards a Type System for Security APIs

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

  3. Getting to know your Card: Reverse-Engineering the Smart-Card Application Protocol Data Unit

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

View all (15) »

ID: 27448