Skip to:

  • Skip to main content
  • Skip to accessibility
City, University of London
  • Student Hub
  • Staff Hub
Search
Menu
Home
  • Prospective students
    • Courses
      • Undergraduate degrees
      • Foundation courses
      • Postgraduate taught degrees
      • Postgraduate research degrees
      • Short courses
      • Professional development courses
      • City Health courses
    • Apply
      • Entry requirements
      • How to apply
        • Undergraduate
        • Information for teachers
        • Postgraduate taught
        • Postgraduate research
          • Preparing your application
            • Preparing your research proposal
        • Short courses
          • The Novel Studio Published Alumni
      • Prospectus
        • Undergraduate
        • Postgraduate
        • Short courses
      • Visas
        • Student visas
          • Applying from outside the UK
          • Applying from within the UK
          • Applying for a dependant visa
          • Preparing your application
          • Working in the UK
        • Standard Visitor visas
          • How to apply for a Standard Visitor Visa
          • Non-visa nationals
        • ATAS certificates
        • Brexit and European nationals
      • Study abroad programmes
        • Partnership programme
        • Study abroad modules
      • Clearing and Adjustment
        • Applying through Clearing
        • Applying through Adjustment
      • Alternative entry routes
        • Foundation courses
        • Second-year students
        • Work experience
      • Contact Admissions
    • Finance
      • Funding options
      • Earn while you learn
      • How to pay
        • Payment methods
        • Fee schedules
        • Deposit refunds
    • Accommodation and housing
      • Compare residential halls
      • Applying for halls
        • Undergraduate
        • Postgraduate
        • Clearing
      • Paying for halls
      • Private accommodation
        • Finding a place to live
        • Accommodation for families
      • Short-term accommodation
    • Open events and fairs
      • Campus tours
      • Online chats
        • Undergraduate online events
        • Postgraduate online events
        • Ask a student
      • University fairs
    • Student life
      • London experience
      • Local area
      • Sports
        • Sport clubs
        • Non-competitive sport
        • Competitive sport
      • Social activities and groups
      • Religion
      • Lesbian, gay, bisexual, transgender and queer plus
      • Volunteering
      • Student wellbeing
        • Mental health counselling
        • Learning support
        • Young, estranged students
        • Care leavers
        • Young adult carers
        • Personal tutoring programme
      • Learn another language
    • Career development
      • Internships and employment opportunities
        • Micro-placements
        • Pro bono
      • Career pathways
      • Job prospects and graduate destinations
      • Careers team
    • Subjects
  • Research
    • Research impact
      • Research Excellence Framework
      • Research case studies
    • Research strategy
    • Research support
      • Grants and funding
      • Integrity and ethics
        • Research ethics
          • Principles
          • Approval process
          • Approval outcomes and appeals
          • External ethics approvals
        • Ethics guidance and resources
          • Participant information and consent
          • Recruiting participants from City
          • Records management
          • Research conducted abroad
          • FAQ
        • Research integrity
          • Framework for good practice in research
          • Research misconduct
      • Research data
        • Managing active research data
        • Digital research data and Figshare
      • Researcher development
    • Research centres and groups
  • For businesses
    • Start your business
      • Develop your startup idea
        • One-to-one startup advice
        • The Good Entrepreneur Festival
        • Startup camp
        • Startup seminars
        • Side hustle
        • CitySpark workshops
      • Launch your startup
        • Start-up visa
        • Launch Lab
    • Grow your business
      • Fund your business
      • Hire an academic consultant
      • Purchase our intellectual property
      • Purchase a company
    • Develop your people
      • Bespoke training
    • Business impact case studies
    • Access our student talent
      • Recruit with us
      • Meet and support our students
        • Become a mentor
      • Placement partners and trusts
  • Alumni and supporters
    • Alumni benefits
    • Global alumni network
      • Networks and Groups
        • City Alumni LinkedIn groups
      • Alumni ambassadors
      • Special interest groups
    • Contact Alumni Relations
    • Support City
      • Donate to City
      • Volunteering
      • Your impact
  • News and events
    • News
    • Events
    • Social media directory
      • City social accounts
      • School and Departmental accounts
  • About us
    • Schools and Departments
      • School of Arts and Social Sciences
        • About the School
          • Athena SWAN
          • Employability, placements and internships
            • English for academic purposes (EAP)
          • Research and Enterprise
        • Department of Economics
          • Research
            • Discussion pages
        • Department of English
        • Department of International Politics
          • Examples of research projects
          • Research
        • Department of Journalism
          • Where our graduates work
          • James Cameron Memorial Lecture
            • Lectures
            • Special awards
            • Winners
          • Journalism scholarships
          • Stern Bryan Fellowship
        • Department of Music
          • 40th anniversary
          • Composition at City
          • Department ensembles
          • Ensembles in residence
          • Industry visitors
          • Placement opportunities
          • Research in the Department of Music
            • The Shahnameh Project: Disseminating Iranian musical culture in Britain
            • Middle East and Central Asia Music Forum
            • Staff Research Interests
        • Department of Psychology
          • Research in the Department of Psychology
            • Staff publications
        • Department of Sociology
          • City Q-Step Centre
        • Centre for Language Studies
      • The Business School (formerly Cass)
      • School of Health Sciences
        • About the school
          • Athena SWAN
          • Community Engagement Committee
          • Enterprise
          • Senior Management Team
          • Selection Day
          • City Health bespoke training
          • Courses
            • Undergraduate and pre-registration courses
            • Postgraduate study
            • Continuing Personal and Professional Development
            • Fees and funding
            • Information for placement partners
            • Occupational Health Checks
            • Contact the School of Health Sciences
            • Disclosure and Barring Service (DBS) enhanced check (formerly CRB)
            • NHS finance and grants
          • Internationalisation
            • SHS International Excellence Scholarship
          • Optical Appliance Testing Service
          • Ready to mentor
          • Reference request
          • Research
            • Doctoral Studentships
            • Research ethics
          • Student life
            • Placement partners and trusts
            • Why choose a career in the health sector
        • Division of Health Services Research and Management
        • Division of Language and Communication Science
        • Division of Midwifery and Radiography
          • Radiography undergraduate learning contract
        • Division of Nursing
        • Division of Optometry and Visual Sciences
        • Disability and Social Inclusion Seminars
      • School of Mathematics, Computer Science and Engineering
        • About the school
          • Athena SWAN
          • Aviation Management at City
          • Business and Information Systems
          • European Global Product Realisation
            • The EGPR course
            • The EGPR history
            • The universities
          • Our London location
          • Energy MSc courses at City
          • European Micro Gas Turbine Forum
          • Placements and internships
            • About Professional Liaison Unit
            • Awards and Prizes
            • Employer information
            • Placement and internship schemes
            • Professional development
          • Preparing your research proposal
          • Wind turbine design challenge
          • Maritime Greece
          • Maritime Management at City
        • Department of Civil Engineering
        • Department of Computer Science
          • Data Science - an emerging discipline
          • Research Ethics
          • Student projects
          • Video gallery
          • Cyber Security MSc courses at City
          • Technical skills for MSc Data Science
        • Department of Electrical and Electronic Engineering
          • Chocoholic Safe
          • Control system for central heating
        • Department of Library and Information Science
          • Definition of Library and Information Science
          • CityLIS Courses
        • Department of Mathematics
          • Potential PhD projects
        • Department of Mechanical Engineering and Aeronautics
          • City Racing Team
            • Building the car
            • Joining and competing
            • Meet the team
      • The City Law School
        • Academic programmes
        • Professional programmes
        • About the School
          • Contact the City Law School
          • How to find us
          • Free Legal Advice Clinic
            • The School Exclusion Project
            • Pro-Bono
            • Start-Ed Commercial Law Clinic
          • Legal careers
          • Careers advice
            • Pupillage Advice Service
            • Training Contract Advisory Service
          • Courses
            • Continuing Professional Development courses
            • Professional courses
            • Undergraduate
          • International
          • Research
            • Working Paper Series
            • ESRC Project
            • Ethics
            • Global Law@City
            • The Critical Corporation Project
            • Academic Visitor Programme
          • Support
            • Athena SWAN in the Law School
            • Financing your study
      • Doctoral College
        • Funding and scholarships
        • Essential information
        • Meet the Team
    • History
    • People
      • Academics
      • Research students
      • Students
      • Honorary graduates
      • Past students
      • Professional Services staff
      • International agents and representatives
      • Senior people
    • Facilities
      • Campuses
      • Libraries
      • Gym
      • University of London facilities
      • Specialist facilities
    • Work for us
      • Apply
      • Benefits
      • Career development
    • Vision and Strategy
      • Vision
      • Strategy
        • Better
        • Bigger
        • Partnerships
        • Living the values
      • Performance
      • Academic excellence
        • Rankings
        • Education
          • Flexible learning spaces
          • Active and collaborative learning
          • Term dates
        • Student statistics
      • Equality, diversity and inclusion
        • Equality, Diversity and Inclusion Strategy
        • Data and objectives
        • Staff networks
      • Sustainable development
        • Energy management
        • Waste management
        • Biodiversity conservation
        • Green travel
        • Education
        • Sustainable food
        • Get involved
      • Civic engagement
    • Governance and legal
      • Charter and Statutes
      • Rector
      • Council
        • Audit and Risk Committee
        • Corporate Governance and Nominations Committee
        • Remuneration Committee
        • Strategy, Implementation and Performance Committee
      • Senate
        • Board of Studies
        • Collaborative Provision Committee
        • Educational Quality Committee
        • Research and Enterprise Committee
        • Senate Research Ethics Committee
      • Executive leadership
        • President
      • Financial statements
        • Financial Summary
      • Legal documents and policies
      • Committees
    • Global City
    • Contact us and find us
      • Find us
      • Contact us
      • Staff directory
    • Guidance on Coronavirus
      • Coronavirus guidance for research
      • Admissions advice during coronavirus
        • Coronavirus accommodation information
        • Visa and Immigration advice during coronavirus
      • Student and staff coronavirus statistics
  • Student Hub
  • Staff Hub
  • Prospective students
    Prospective students
    • Courses
      • Undergraduate degrees
      • Foundation courses
      • Postgraduate taught degrees
      • Postgraduate research degrees
      • Short courses
      • Professional development courses
      • City Health courses
    • Apply
      • Entry requirements
      • How to apply
      • Prospectus
      • Visas
      • Study abroad programmes
      • Clearing and Adjustment
      • Alternative entry routes
      • Contact Admissions
    • Finance
      • Funding options
      • Earn while you learn
      • How to pay
    • Accommodation and housing
      • Compare residential halls
      • Applying for halls
      • Paying for halls
      • Private accommodation
      • Short-term accommodation
    • Open events and fairs
      • Campus tours
      • Online chats
      • University fairs
    • Student life
      • London experience
      • Local area
      • Sports
      • Social activities and groups
      • Religion
      • Lesbian, gay, bisexual, transgender and queer plus
      • Volunteering
      • Student wellbeing
      • Learn another language
    • Career development
      • Internships and employment opportunities
      • Career pathways
      • Job prospects and graduate destinations
      • Careers team
    • Subjects
  • Research
    Research
    • Research impact
      • Research Excellence Framework
      • Research case studies
    • Research strategy
    • Research support
      • Grants and funding
      • Integrity and ethics
      • Research data
      • Researcher development
    • Research centres and groups
  • For businesses
    For businesses
    • Start your business
      • Develop your startup idea
      • Launch your startup
    • Grow your business
      • Fund your business
      • Hire an academic consultant
      • Purchase our intellectual property
      • Purchase a company
    • Develop your people
      • Bespoke training
    • Business impact case studies
    • Access our student talent
      • Recruit with us
      • Meet and support our students
      • Placement partners and trusts
  • Alumni and supporters
    Alumni and supporters
    • Alumni benefits
    • Global alumni network
      • Networks and Groups
      • Alumni ambassadors
      • Special interest groups
    • Contact Alumni Relations
    • Support City
      • Donate to City
      • Volunteering
      • Your impact
  • News and events
    News and events
    • News
    • Events
    • Social media directory
      • City social accounts
      • School and Departmental accounts
  • About us
    About us
    • Schools and Departments
      • School of Arts and Social Sciences
      • The Business School (formerly Cass)
      • School of Health Sciences
      • School of Mathematics, Computer Science and Engineering
      • The City Law School
      • Doctoral College
    • History
    • People
      • Academics
      • Research students
      • Students
      • Honorary graduates
      • Past students
      • Professional Services staff
      • International agents and representatives
      • Senior people
    • Facilities
      • Campuses
      • Libraries
      • Gym
      • University of London facilities
      • Specialist facilities
    • Work for us
      • Apply
      • Benefits
      • Career development
    • Vision and Strategy
      • Vision
      • Strategy
      • Performance
      • Academic excellence
      • Equality, diversity and inclusion
      • Sustainable development
      • Civic engagement
    • Governance and legal
      • Charter and Statutes
      • Rector
      • Council
      • Senate
      • Executive leadership
      • Financial statements
      • Legal documents and policies
      • Committees
    • Global City
    • Contact us and find us
      • Find us
      • Contact us
      • Staff directory
    • Guidance on Coronavirus
      • Coronavirus guidance for research
      • Admissions advice during coronavirus
      • Student and staff coronavirus statistics
Coronavirus, latest information for staff and students.
  1. Home
  2. …
  3. People
  4. Academics
  5. Professor Robin Bloomfield
People
  • Academics
  • Research students
  • Students
  • Honorary graduates
  • Past students
  • Professional Services staff
  • International agents and representatives
  • Senior people

Professor Robin Bloomfield

Professor of System and Software Dependability

School of Mathematics, Computer Science and Engineering Department of Computer Science

Contact details

  • +44 (0)20 7040 8896
  • r.e.bloomfield@city.ac.uk
  • reb@adelard.com
  • @RobinCSR

Address

Professor Robin Bloomfield A304E, College Building
City, University of London
Northampton Square
London EC1V 0HB
United Kingdom

Personal links

  • Adelard
  • About
  • Research
  • Publications
  • Professional activities

About

Overview

Robin Bloomfield is Professor of Software and System Dependability at the City, University of London. His research interests are in the dependability (reliability, safety, security) of computer-based systems. His work in safety in the past 20 yrs has combined policy formulation, technical consulting and underpinning research. He is a founder member of the consultancy Adelard and prior to this he worked in industry for the UK electricity utility (CEGB) where he was concerned with the design and validation of the control and safety systems of nuclear power stations. The post is shared with Peter Bishop and he spends most of his time with the consultancy Adelard.

Professor Bloomfield attended St John's College, Cambridge and holds an MA in Natural Sciences from Cambridge University and is also a chartered engineer.

Prof Bloomfield has held a variety of professional and honorary posts. He was an independent member of the UK Nuclear Safety Advisory Group (NUSAC) before it was disbanded and in 2007 and was a member of the UK Cabinet Office Information Assurance Research and Co-ordination Group. He was the UK member of NATO Research Task on dual use technologies and co-chaired, for the EU, the 2007 Joint US-EU workshop on ICT-Enabled Critical Infrastructures and Interdependencies. Recently he has been a member of the UK Treasury Engineering Infrastructure and Interdependencies Expert Group that supported the revised UK Infrastructure Plans. He has been chairman of the European Workshop on Industrial Computer Systems (EWICS), and a long term member of the Safecomp programme committee.

Qualifications

  1. MA (Cantab) Natural Sciences, University of Cambridge, United Kingdom, 1978

Employment

  1. Professor, City, University London, 2011 – present
  2. Head of Department, Centre for Software Reliability, City, University London, 2003 – 2011
  3. Appointed Professor of System & Software Dependability, City, University London, 2000 – present
  4. Founder, Adelard LLP, 1987 – present
  5. Research Officer, Central Electricity Generating Board, 1976 – 1987

Fellowships

  1. Fellow (FREng), Royal Academy of Engineering, Oct 2014 – present

Memberships of professional organisations

  1. CEng Institute of Energy, Engineering Council, 1983 – present
  2. ME, Institute of Energy, 1983 – present

Research

Research interests

• Safety and Assurance Cases and security informed safety
• Underpinning models for evaluating the trustworthiness of software based systems
• Security, resilience and critical infrastructure and interdependencies
• Setting policy and research agendas

- Conservative models of reliability prediction
- Development process modelling
- Industrial Liaison Director for DIRC

Publications

Publications by category

Chapter

  1. Bishop, P., Bloomfield, R., Guerra, S. and Thuy, N. (2012). Safety justification frameworks: Integrating rule-based, goal-based and risk-informed approaches. (pp. 1283–1290). ISBN 978-1-62748-015-4.

Conference papers and proceedings (43)

  1. Bloomfield, R., Butler, E., Guerra, S. and Netkachova, K. (2017). Security-informed safety: Integrating security within the safety demonstration of a smart device.
  2. Bloomfield, R., Butler, E. and Netkachova, K. (2017). Assurance of open systems dependability: developing a framework for automotive security and safety. 6th Workshop on Open Systems Dependability Tokyo, Japan.
  3. Bloom Field, R., Bendele, M., Bishop, P., Stroud, R. and Tonks, S. (2016). The risk assessment of ERTMS-based railway systems from a cyber security perspective: Methodology and lessons learned.
  4. Bloomfield, R.E. and Parisaca-Vargas, A. (2015). Using Ontologies to Support Model-based Exploration of the Dependencies between Causes and Consequences of Hazards. 7th International Conference on Knowledge Engineering and Ontology Development 12-14 November, Lisbon, Portugal.
  5. Netkachova, K., Müller, K., Paulitsch, M. and Bloomfield, R. (2015). Security-Informed Safety Case Approach to Analysing MILS Systems. European Network of Excellence on High Performance and Embedded Architecture and Compilation (HiPEAC), International Workshop on MILS: Architecture and Assurance for Secure Systems 19-21 January, Amsterdam, The Netherlands.
  6. Netkachova, K., Müller, K., Paulitsch, M. and Bloomfield, R. (2015). Investigation into a layered approach to architecting security-informed safety cases.
  7. Netkachova, K., Netkachov, O. and Bloomfield, R. (2015). Tool support for assurance case building blocks: Providing a helping hand with CAE.
  8. Netkachova, K., Bloomfield, R., Popov, P. and Netkachov, O. (2015). Using structured assurance case approach to analyse security and reliability of critical infrastructures.
  9. Netkachova, K., Müller, K., Paulitsch, M. and Bloomfield, R. (2015). A layered approach to architecting security-informed safety cases (applied to an avionics case study).
  10. Shittu, R., Healing, A., Ghanea-Hercock, R., Bloomfield, R. and Muttukrishnan, R. (2014). OutMet: A new metric for prioritising intrusion alerts using correlation and outlier analysis. 2014 IEEE 39th Conference on Local Computer Networks (LCN) 8-11 September.
  11. Bloomfield, R. and Netkachova, K. (2014). Building blocks for assurance cases.
  12. Bishop, P.G., Bloomfiel, R.E. and Cyra, L. (2013). Combining Testing and Proof to Gain High Assurance in Software: a Case Study. (ISSRE 2013) IEEE International Symposium on Software Reliability Engineering 4-7 November, Pasadena, CA, USA.
  13. Bloomfield, R.E., Netkachova, K. and Stroud, R. (2013). Security-Informed Safety: If it's not secure, it's not safe. 5th International Workshop on Software Engineering for Resilient Systems (SERENE 2013) 3-4 October, Kiev, Ukraine.
  14. Olabelurin, A., Kallos, G., Xiang, Y., Bloomfield, R., Veluru, S. and Rajarajan, M. (2013). Time correlated anomaly detection based on inferences.
  15. Strigini, L., Bloomfield, Robin, , Paulitsch, Michael, and Reiger, Rupert, (2012). Evidence-Based Security in Aerospace. From Safety to Security and Back Again. 23rd International Symposium on Software Reliability Engineering (ISSRE 2012), Fast Abstracts Track 26-29 November, Dallas, Texas, USA.
  16. Gashi, I. (2012). How secure is ERTMS? Workshop on Dependable and Secure Computing for Large-scale Complex Critical Infrastructures (DESEC4LCCI) 25 September, Herrenkrug, Germany.
  17. Bishop, P., Bloomfield, R., Gashi, I. and Stankovic, V. (2012). Diverse protection systems for improving
    security: a study with AntiVirus engines.
  18. Shittu, R., Healing, A., Bloomfield, R.E. and Rajarajan, M. (2012). Visual Analytic Agent-Based Framework for Intrusion Alert Analysis.
  19. Stankovic, V., Bloomfield, R., Bishop, P. and Gashi, I. (2011). Diversity for Security: a Study with Off-The-Shelf AntiVirus Engines. 21st International Symposium on Software Reliability Engineering (ISSRE 2011) Hiroshima, Japan.
  20. Bloomfield, R. and Bishop, P. (2010). Safety and Assurance Cases: Past, Present and Possible Future - an Adelard Perspective.
  21. (2010). Critical Information Infrastructures Security, 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009. Revised Papers.
  22. Bloomfield, R.E., Chozos, N. and Salako, K. (2009). Current Capabilities, Requirements and a Proposed Strategy for Interdependency Analysis in the UK.
  23. Bloomfield, R.E., Buzna, L., Popov, P.T., Salako, K. and Wright, D. (2009). Stochastic Modelling of the Effects of Interdependencies between Critical Infrastructure.
  24. Dübendorfer, T. and Frei, S. (2009). Web Browser Security Update Effectiveness.
  25. Bloomfield, R.E., Gashi, I., Povyakalo, A. and Stankovic, V. (2008). Comparison of Empirical Data from Two Honeynets and a Distributed Honeypot Network.
  26. Bloomfield, R.E., Littlewood, B. and Wright, D. (2007). Confidence: Its role in dependability cases for risk assessment.
  27. Bloomfield, R.E., Masera, M., Miller, A., Saydjari, O.S. and Weinstock, C.B. (2007). Assurance Cases for Security: The Metrics Challenge.
  28. Littlewood, B., Bloomfield, R., Popov, P., Povyakalo, A. and Strigini, L. (2004). The impact of ‘difficulty’ variation on the probability of coincident failure of diverse systems. International Conference on Control and Instrumentation in Nuclear Installations Liverpool.
  29. Littlewood, B. and Bloomfield, R. (2004). On the use of diverse arguments to increase confidence in dependability claims. International Conference on Control and Instrumentation in Nuclear Installations.
  30. Bishop, P.G. and Bloomfield, R.E. (2003). Using a Log-normal Failure Rate Distribution for Worst Case Bound Reliability Prediction. 14th IEEE International Symposium on Software Reliability Engineering (ISSRE 2003) 17-20 November, Denver, Colorado.
  31. Bloomfield, R. and Littlewood, B. (2003). Multi-legged arguments: the impact of diversity upon confidence in dependability arguments.
  32. Bishop, P., Bloomfield, R., Clement, T., Guerra, S. and Jones, C. (2003). Integrity static analysis of COTS/SOUP.
  33. Bishop, P., Bloomfield, R., Clement, T. and Guerra, S. (2003). Software criticality analysis of COTS/SOUP.
  34. Bishop, P.G. and Bloomfield, R.E. (2002). Worst Case Reliability Prediction Based on a Prior Estimate of Residual Defects. Thirteenth International Symposium on Software Reliability Engineering (ISSRE '02) 12-15 November, Annapolis, Maryland.
  35. Bloomfield, R.E. and Guerra, S. (2002). Process Modelling to Support Dependability Arguments.
  36. Bishop, P.G., Bloomfield, R.E., Clement, T. and Guerra, S. (2002). Software Criticality Analysis of COTS/SOUP.
  37. Bishop, P.G., Penny, J., Eaton, A. and Bloomfield, R. (2001). The Practicalities of Goal-Based Safety Regulation. Ninth Safety-Critical Systems Symposium 6-8 February, Bristol, UK.
  38. Oussalah, M., Nguyen, H.T., Kreinovich, V., Bloomfield, R.E. and Newby, M. (2001). Theoretical foundation for iterative assessment of conditional confidence measures in the framework of conditional measure theoretic-approach.
  39. Bloomfield, R.E., Craigen, D., Koob, F., Ullmann, M. and Wittmann, S. (2000). Formal Methods Diffusion: Past Lessons and Future Prospects.
  40. Bishop, P.G. and Bloomfield, R.E. (1998). A Methodology for Safety Case Development. Safety-critical Systems Symposium 98 February, Birmingham, UK.
  41. Bishop, P.G. and Bloomfield, R.E. (1996). Conservative theory for long term reliability growth prediction.
  42. Bishop, P.G. and Bloomfield, R.E. (1995). The SHIP Safety Case - A Combination of System and Software Methods. 14th IFAC Conf. on Computer Safety, Reliability and Security (SafeComp95) 11-13 October, Belgirate, Italy.
  43. (1988). VDM '88, VDM - The Way Ahead, 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988, Proceedings.

Journal articles (20)

  1. Bloomfield, R., Khlaaf, H., Conmy, P.R. and Fletcher, G. (2019). Disruptive Innovations and Disruptive Assurance: Assuring Machine Learning and Autonomy. Computer, 52(9), pp. 82–89. doi:10.1109/MC.2019.2914775.
  2. Bloomfield, R., Bishop, P., Butler, E. and Stroud, R. (2018). Security-Informed Safety: Supporting Stakeholders with Codes of Practice. Computer, 51(8), pp. 60–65. doi:10.1109/MC.2018.3191260.
  3. Bloomfield, R.E., Popov, P., Salako, K., Stankovic, V. and Wright, D. (2017). Preliminary interdependency analysis: An approach to support critical-infrastructure risk-assessment. Reliability Engineering and System Safety, 167, pp. 198–217. doi:10.1016/j.ress.2017.05.030.
  4. Netkachova, K. and Bloomfield, R. (2017). Is Chocolate Good for You - Or, Is the Cloud Secure? Computer, 50(8), pp. 74–78. doi:10.1109/MC.2017.3001250.
  5. Bloomfield, R., Bishop, P., Butler, E. and Netkachova, K. (2017). Using an assurance case framework to develop security strategy and policies. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10489 LNCS, pp. 27–28. doi:10.1007/978-3-319-66284-8_3.
  6. Netkachova, K. and Bloomfield, R.E. (2016). Security-Informed Safety. Computer, 49(6), pp. 98–102. doi:10.1109/MC.2016.158.
  7. Shittu, R., Healing, A., Ghanea-Hercock, R., Bloomfield, R. and Rajarajan, M. (2015). Intrusion alert prioritisation and attack detection using post-correlation analysis. Computers and Security, 50, pp. 1–15. doi:10.1016/j.cose.2014.12.003.
  8. Bishop, P., Bloomfield, R., Littlewood, B., Popov, P., Povyakalo, A. and Strigini, L. (2014). 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. Reliability Engineering and System Safety, 130, pp. 61–68. doi:10.1016/j.ress.2014.04.002.
  9. Bloomfield, R.E. (2012). Are Things Getting Worse? IEEE Security & Privacy, 10, pp. 3–3. doi:10.1109/MSP.2012.115.
  10. Littlewood, B., Bishop, P., Bloomfield, R., Povyakalo, A. and Wright, D. (2011). Towards a formalism for conservative claims about the dependability of software-based systems. IEEE Transactions on Software Engineering. doi:10.1109/TSE.2010.67.
  11. Bloomfield, R.E. (2011). Evaluating resilience of multiple infrastructures: Some initial challenges. Proceedings - 5th Latin-American Symposium on Dependable Computing Workshops, LADCW 2011 pp. 39–40. doi:10.1109/LADCW.2011.22.
  12. Bloomfield, R.E. (2011). Resilient to the unexpected. IEEE Security and Privacy, 9(3), pp. 3–4. doi:10.1109/MSP.2011.62.
  13. Guerra, S., Bishop, P., Bloomfield, R. and Sheridan, D. (2010). Assessment and qualification of smart sensors. 7th International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies 2010, NPIC and HMIT 2010, 1, pp. 499–510.
  14. Bloomfield, R.E., Guerra, S., Masera, M., Miller, A. and Weinstock, C.B. (2006). International working group on assurance cases (for security). IEEE SECURITY & PRIVACY, 4(3), pp. 66–68. doi:10.1109/MSP.2006.73.
  15. Bishop, P., Bloomfield, R., Guerra, S. and Tourlas, K. (2005). Justification of smart sensors for nuclear applications. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3688 LNCS, pp. 194–207. doi:10.1007/11563228_15.
  16. Bloomfield, R., Courtois, P.J., Littlewood, B., Strigini, L., Yih, S. and Fan, C.F. (2002). Letter to the editor [1] (multiple letters). Nuclear Engineering International, 47(570), p. 11.
  17. Bloomfield, R.E. and Froome, P.K.D. (1986). The Application of Formal Methods to the Assessment of High Integrity Software. IEEE Trans. Software Eng., 12, pp. 988–993. doi:10.1109/TSE.1986.6313053.
  18. Bloomfield, R., Fletcher, G., Khlaaf, H., Ryan, P., Kinoshita, S., Kinoshit, Y. … Tsutake, Y. Towards Identifying and closing Gaps in Assurance of autonomous Road
    vehicleS -- a collection of Technical Notes Part 2.
    .
  19. Bloomfield, R., Fletcher, G., Khlaaf, H., Ryan, P., Kinoshita, S., Kinoshit, Y. … Tsutake, Y. Towards Identifying and closing Gaps in Assurance of autonomous Road
    vehicleS -- a collection of Technical Notes Part 1.
    .
  20. Bloomfield, R., Fletcher, G., Khlaaf, H., Hinde, L. and Ryan, P. Safety Case Templates for Autonomous Systems. .

Reports (7)

  1. Bloomfield, R.E. (2012). ERTMS Specification Security Audit, Analysis of Attack Scenarios. The European Railway Traffic Management System (ERTMS).
  2. Bloomfield, R, , Chozos, N., , Popov, P.T., Stankovic, V., , Wright, D, and Howell-Morris, R, (2010). Preliminary Interdependency Analysis (PIA): Method and tool support..
  3. Gashi, I. and Bloomfield, R.E. (2008). Evaluating the resilience and security of boundaryless, evolving socio-technical Systems of Systems. City University London.
  4. Bishop, P.G., Bloomfield, R.E., Emmet, L.O., Johnson, C., Black, W., Hamilton, V. … Koorneef, F. (2003). Learning from incidents involving E/E/PE systems, Part 1: Review of methods and industry practice. http://www.hse.gov.uk/research/rrhtm/rr179.htm. ISBN 0-7176-2787-X.
  5. Bishop, P.G., Jones, C.C.M., Bloomfield, R.E. and Froome, P.K.D. (2001). Methods for assessing the safety integrity of safety-related software of uncertain pedigree (SOUP).. ISBN 0-7176-2011-5.
  6. Bloomfield, R.E. and Wetherilt, A. Computer trading and systemic risk: a nuclear perspective. London, UK: Government Office for Science.
  7. Bishop, P.G., Bloomfield, R.E. and Froome, P.K.D. Justifying the use of software of uncertain pedigree (SOUP) in safety-related applications. May 2001. ISBN 0-7176-2010-7.

Working paper

  1. Bloomfield, R. and Rushby, J. Assurance 2.0: A Manifesto.

Professional activities

Editorial activity

  1. I am an Associate Editor-in-Chief of the IEEE Security and Privacy magazine http://www.computer.org/portal/web/computingnow/securityandprivacy.

Keynote lecture/speech

  1. The open challenge of security. Pasadena, CA, USA (2013). Keynote speaker at The 3rd International Workshop on Open Systems Dependability: Adaptation to Changing World at the 24th IEEE International Symposium on Software Reliability Engineering (ISSRE), Pasadena, CA, USA Nov 2013

Other

  1. In 2013 I was called to give evidence to the Parliamentary Commission on Banking Standards following my wok on systemic risk and computer based trading..

Help us to improve this page

City, University of London

  • Library Services
  • Moodle
  • Email
  • Staff directory
  • Term dates
  • Book a room
  • Schools and departments

Back to top

Contact us

+44 (0)20 7040 5060
Make an enquiry

  • Twitter
  • Facebook
  • Instagram
  • LinkedIn
  • YouTube
  • Weibo
  • Youku
Social media directory

Find us

City, University of London
Northampton Square
London EC1V 0HB
United Kingdom

Campus map

Our global campuses

  • London
  • Dubai
  • Teaching Excellence Framework: Silver Award
  • Athena SWAN: Bronze Award

Useful links

  • Accessibility
  • Privacy policy
  • Cookies
  • City Store
  • Support City
  • Work for City

© 2021 City, University of London

University of London