Michael Goldsmith
|
Michael
Goldsmith
Senior Research Fellow
Robert Hooke Building, Parks Road, Oxford OX1 3PR |
Selected Publications
| Reasoning about Vulnerabilities in Dependent Information Infrastructures: A Cyber Range Experiment Adedayo O. Adetoye‚ Sadie Creese and Michael H. Goldsmith In 7th International Conference On Critical Information Infrastructures Security (CRITIS 2012). LNCS. September, 2012. To appear |
| From Qualitative to Quantitative Information Erasure Adedayo O. Adetoye and Michael H. Goldsmith In International Workshop on Quantitative Aspects in Security Assurance (QASA 2012‚ colocated with ESORICS). September, 2012. To appear Details | BibTeX | Download qasa2012-Erasure-SLIDES.pdf | Download erasure-QASA.pdf |
| Identity attribution across CyberSpace and the Natural Space D. Hodges‚ J.R.C. Nurse‚ M. Goldsmith and S. Creese In The International Crime and Intelligence Analysis Conference. 2012. |
Info
|
Themes |
|
|
Activities |
|
|
Projects |
EnCoRe | Sponstaneous Security | TEASE | SATURN | CyberVis | Security Protocols for Ad Hoc Networks | Noninterference and covert channel analysis | Refinement-friendly bigraphs | Identity security | Corporate Insider Threat Detection |
|
Current Student |
