Robin E. Bloomfield

Publication Activity (10 Years)

Years Active: 1986-2017
Publications (10 Years): 5

Top Topics

Risk Assessment

Critical Infrastructure

Top Venues

SAFECOMP Workshops

IEEE Secur. Priv.

ISSRE Workshops

Publications

Robin E. Bloomfield, Peter T. Popov, Kizito Salako, Vladimir Stankovic, David Wright
Preliminary interdependency analysis: An approach to support critical-infrastructure risk-assessment. Reliab. Eng. Syst. Saf. 167 (2017)
Robin E. Bloomfield
Invited Talk: Structured Engineering Argumentation. JSAI-isAI Workshops (2017)
Kateryna Netkachova, Robin E. Bloomfield
Is Chocolate Good for You - or, Is the Cloud Secure? Computer 50 (8) (2017)
Robin E. Bloomfield, Marcus Bendele, Peter G. Bishop, Robert J. Stroud, Simon Tonks
The Risk Assessment of ERTMS-Based Railway Systems from a Cyber Security Perspective: Methodology and Lessons Learned. RSSRail (2016)
Kateryna Netkachova, Robin E. Bloomfield
Security-Informed Safety. Computer 49 (6) (2016)
Kateryna Netkachova, Oleksandr Netkachov, Robin E. Bloomfield
Tool Support for Assurance Case Building Blocks - Providing a Helping Hand with CAE. SAFECOMP Workshops (2015)
Robin E. Bloomfield
Autonomy, Robotics, and Dependability. IEEE Secur. Priv. 13 (5) (2015)
Riyanat O. Shittu, Alex Healing, Robert A. Ghanea-Hercock, Robin E. Bloomfield, Muttukrishnan Rajarajan
Intrusion alert prioritisation and attack detection using post-correlation analysis. Comput. Secur. 50 (2015)
Kateryna Netkachova, Robin E. Bloomfield, Peter T. Popov, Oleksandr Netkachov
Using Structured Assurance Case Approach to Analyse Security and Reliability of Critical Infrastructures. SAFECOMP Workshops (2015)
Riyanat O. Shittu, Alex Healing, Robert A. Ghanea-Hercock, Robin E. Bloomfield, Muttukrishnan Rajarajan
OutMet: A new metric for prioritising intrusion alerts using correlation and outlier analysis. LCN (2014)
Robin E. Bloomfield, Kateryna Netkachova
Building Blocks for Assurance Cases. ISSRE Workshops (2014)
Peter G. Bishop, Robin E. Bloomfield, Bev Littlewood, Peter T. Popov, Andrey Povyakalo, Lorenzo Strigini
A conservative bound for the probability of failure of a 1-out-of-2 protection system with one hardware-only and one software-based protection train. Reliab. Eng. Syst. Saf. 130 (2014)
Robin E. Bloomfield, Jay Lala
Safety-Critical Systems: The Next Generation. IEEE Secur. Priv. 11 (4) (2013)
Robin E. Bloomfield, Kateryna Netkachova, Robert J. Stroud
Security-Informed Safety: If It's Not Secure, It's Not Safe. SERENE (2013)
Peter G. Bishop, Robin E. Bloomfield, Lukasz Cyra
Combining testing and proof to gain high assurance in software: A case study. ISSRE (2013)
Michael Paulitsch, Rupert Reiger, Lorenzo Strigini, Robin E. Bloomfield
Evidence-Based Security in Aerospace: From Safety to Security and Back Again. ISSRE Workshops (2012)
Richard Bloomfield, Robin E. Bloomfield, Ilir Gashi, Robert J. Stroud
How Secure Is ERTMS? SAFECOMP Workshops (2012)
Riyanat O. Shittu, Alex Healing, Robin E. Bloomfield, Muttukrishnan Rajarajan
Visual Analytic Agent-Based Framework for Intrusion Alert Analysis. CyberC (2012)
Robin E. Bloomfield
Are Things Getting Worse? IEEE Secur. Priv. 10 (5) (2012)
Peter G. Bishop, Robin E. Bloomfield, Bev Littlewood, Andrey Povyakalo, David Wright
Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems. IEEE Trans. Software Eng. 37 (5) (2011)
Peter G. Bishop, Robin E. Bloomfield, Ilir Gashi, Vladimir Stankovic
Diversity for Security: A Study with Off-the-Shelf AntiVirus Engines. ISSRE (2011)
Robin E. Bloomfield
Resilient to the Unexpected. IEEE Secur. Priv. 9 (3) (2011)
Robin E. Bloomfield, Peter G. Bishop
Safety and Assurance Cases: Past, Present and Possible Future - an Adelard Perspective. SSS (2010)
Robin E. Bloomfield, Lubos Buzna, Peter T. Popov, Kizito Salako, David Wright
Stochastic Modelling of the Effects of Interdependencies between Critical Infrastructure. CRITIS (2009)
Robin E. Bloomfield, Nick Chozos, Kizito Salako
Current Capabilities, Requirements and a Proposed Strategy for Interdependency Analysis in the UK. CRITIS (2009)
Robin E. Bloomfield, Ilir Gashi, Andrey Povyakalo, Vladimir Stankovic
Comparison of Empirical Data from Two Honeynets and a Distributed Honeypot Network. ISSRE (2008)
Robin E. Bloomfield, Marcelo Masera, Ann Miller, O. Sami Saydjari, Charles B. Weinstock
Assurance Cases for Security: The Metrics Challenge. DSN (2007)
Robin E. Bloomfield, Bev Littlewood, David Wright
Confidence: Its Role in Dependability Cases for Risk Assessment. DSN (2007)
Robin E. Bloomfield, Sofia Guerra, Ann Miller, Marcelo Masera, Charles B. Weinstock
International Working Group on Assurance Cases (for Security). IEEE Secur. Priv. 4 (3) (2006)
Peter G. Bishop, Robin E. Bloomfield, Sofia Guerra, Konstantinos Tourlas
Justification of Smart Sensors for Nuclear Applications. SAFECOMP (2005)
Robin E. Bloomfield, Bev Littlewood
Multi-Legged Arguments: The Impact of Diversity upon Confidence in Dependability Arguments. DSN (2003)
Peter G. Bishop, Robin E. Bloomfield
Using a Log-normal Failure Rate Distribution for Worst Case Bound Reliability Prediction. ISSRE (2003)
Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra, Claire Jones
Integrity Static Analysis of COTS/SOUP. SAFECOMP (2003)
Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra
Software criticality analysis of COTS/SOUP. Reliab. Eng. Syst. Saf. 81 (3) (2003)
Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra
Software Criticality Analysis of COTS/SOUP. SAFECOMP (2002)
Robin E. Bloomfield, Sofia Guerra
Process Modelling to Support Dependability Arguments. DSN (2002)
Peter G. Bishop, Robin E. Bloomfield
Worst Case Reliability Prediction Based on a Prior Estimate of Residual Defects. ISSRE (2002)
Mourad Oussalah, Hung T. Nguyen, Vladik Kreinovich, Robin E. Bloomfield, Martin Newby
Theoretical foundation for iterative assessment of conditional confidence measures in the framework of conditional measure theoretic-approach. EUSFLAT Conf. (2001)
Robin E. Bloomfield, Dan Craigen, Frank Koob, Markus Ullmann, Stefan Wittmann
Formal Methods Diffusion: Past Lessons and Future Prospects. SAFECOMP (2000)
Peter G. Bishop, Robin E. Bloomfield
A conservative theory for long term reliability growth prediction. ISSRE (1996)
Peter G. Bishop, Robin E. Bloomfield
A conservative theory for long-term reliability-growth prediction [of software]. IEEE Trans. Reliab. 45 (4) (1996)
Peter G. Bishop, Robin E. Bloomfield
The SHIP Safety Case Approach. SAFECOMP (1995)
Robin E. Bloomfield, Peter K. D. Froome
The Application of Formal Methods to the Assessment of High Integrity Software. IEEE Trans. Software Eng. 12 (9) (1986)