Graham Steel

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A generic security API for symmetric key management on cryptographic devices Information and Computation	2014-10-20	Paper
Attacking group multicast key management protocols using \textsc{Coral}	2013-09-25	Paper
Efficient padding oracle attacks on cryptographic hardware Lecture Notes in Computer Science	2012-09-25	Paper
Formal Analysis of Privacy for Anonymous Location Based Services Theory of Security and Applications	2012-08-22	Paper
An introduction to security API analysis Foundations of Security Analysis and Design VI	2011-09-16	Paper
Mathematical and algorithmic foundations of the internet.	2011-01-07	Paper
Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data Foundations and Applications of Security Analysis	2009-10-22	Paper
Towards a Type System for Security APIs Foundations and Applications of Security Analysis	2009-10-22	Paper
Automated Reasoning Lecture Notes in Computer Science	2007-09-25	Paper
Automatic Analysis of the Security of XOR-Based Key Management Schemes Tools and Algorithms for the Construction and Analysis of Systems	2007-09-03	Paper
Attacking group protocols by refuting incorrect inductive conjectures Journal of Automated Reasoning	2007-01-30	Paper
Formal analysis of PIN block attacks Theoretical Computer Science	2007-01-09	Paper
Automated Deduction – CADE-20 Lecture Notes in Computer Science	2006-11-01	Paper

Research outcomes over time

This page was built for person: Graham Steel