Graham Steel

Available identifiers

Publication	Date of Publication	Type
A generic security API for symmetric key management on cryptographic devices	2014-10-20	Paper
Attacking group multicast key management protocols using \textsc{Coral}	2013-09-25	Paper
Efficient Padding Oracle Attacks on Cryptographic Hardware	2012-09-25	Paper
Formal Analysis of Privacy for Anonymous Location Based Services	2012-08-22	Paper
An Introduction to Security API Analysis	2011-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q3065865	2011-01-07	Paper
Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data	2009-10-22	Paper
Towards a Type System for Security APIs	2009-10-22	Paper
Automated Reasoning	2007-09-25	Paper
Automatic Analysis of the Security of XOR-Based Key Management Schemes	2007-09-03	Paper
Attacking group protocols by refuting incorrect inductive conjectures	2007-01-30	Paper
Formal analysis of PIN block attacks	2007-01-09	Paper
Automated Deduction – CADE-20	2006-11-01	Paper

This page was built for person: Graham Steel