Centre for Software Reliability
  1. News
  2. Staff
  3. Research
  4. Publications
  5. Courses
  6. Consultancy & Advisory Services
  7. Contact CSR
Software Reliability


Distinguished Paper Award for CSR research publication

CSR's Seb Hunt and his coauthor David Sands recently presented their paper A Quantale of Information at the 34th IEEE Computer Security Foundations Symposium (CSF 2021). It was one of three papers to receive a Distinguished Paper Award (the other awarded papers were SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq by Carmine Abate et al, and Verifying Hyperproperties with TLA by Leslie Lamport and Fred Schneider).

CSR research publication awarded "test of time" recognition

CSR's Dr Ilir Gashi and his coauthors have been selected for the 2021 "test of time" award from the  International Conference on Dependable Systems & Networks (DSN), for "sustained and important impact of dependable systems research" of the DSN 2011 paper "OS diversity for intrusion tolerance: Myth or reality?". The award recognizes papers that have had a sustained and important impact on the theory and/or practice of dependable systems research. DSN, now at its 51st edition, is the most prestigious conference on dependable computing, held annually under the auspices of the IEEE Technical Committee on Dependable Computing and Fault Tolerance abd the IFIP Working Group 10.4 on Dependable Computing and Fault Tolerance

CSR paper on safety of autonomous vehicles in best paper session at the 2019 International Symposium on Software Reliability Engineering

The paper "Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing", coauthored by Dr Kizito Salako and Prof Lorenzo Strigini with colleagues from Heriot-Watts University, was selected by the ISSRE Program Committee for the best paper award (best 3 of 134 papers).

Keynote presentation at the 1st International Workshop on Governing Adaptive and Unplanned Systems of Systems (GAUSS 2019)

Prof Lorenzo Strigini gave a keynote about "Ensuring and demonstrating diverse quality attributes of complex systems: problems of models and cultures"at the GAUSS 2019 workshop, held in conjunction with the 2019 International Symposium on Software Reliability Engineering in Berlin.

Intel Collaborative Research Institute on Safe Automated Vehicles (ICRI-SAVe)

In October 2019 CSR's Prof Robin Bloomfield, Prof Lorenzo Strigini, Dr Peter Popov, with Prof Artur Garcez, have joined four other European Universities and Intel Labs in this collaborative Research Institute, founded by Intel to  further research towards safe and trustworthy operation of Automated Vehicles. City's team's research addresses "Justifying the safety of autonomous vehicle systems". Membership brings funding for US$ 278,000 from Intel.

CSR paper in Best Paper Session at Quantitative Evaluation of Systems (QEST 2016)

Drs Kizito Salako, Vladimir Stankovic and Peter Popov presented their in-depth analysis "Stochastic model for performance evaluation of database replication protocols", shortlisted by the program Committee as one of the best four papers at this workshop.

Prof Lorenzo Strigini, Panelist at HPCS 2016

Lorenzo Strigini, director of CSR, was a panelist in the panel session on Resiliency in Extreme Scale High Performance Computing Systems and Applications at HPCS 2016, the International Conference on High Performance Computing & Simulation, July 18 - 22, 2016, Innsbruck, Austria. The panel discussed limits of current practice and new developments needed to deal with more frequent failures and more complex failure modes.

CSR Paper nominated for Best Paper Session at EDCC 2016

The CSR paper "Diversity, Safety and Security in Embedded Systems: modelling adversary effort and supply chain risks", by Ilir Gashi, Andrey Povyakalo and Lorenzo Strigini was selected for the Best Paper Session at EDCC 2016, the 12th European Dependable Computing Conference.

Dr Dong Seong Kim visit from University of Canterbury

Dong-Seong “Dan” Kim is a Lecturer (softly equivalent to an assistant professor in the US, but permanent position) in Cyber Security in the Department of Computer Science and Software Engineering at the University of Canterbury, Christchurch, New Zealand since August 2011. He received Ph.D. degree in Computer Engineering from Korea Aerospace University, South Korea in February 2008. He was a visiting scholar at the University of Maryland, College Park, Maryland, U.S.A. during the year of 2007 in Prof. Virgil D. Gligor (Former ACM SIGSAC chair, currently co-director of CyLab at Carnegie Mellon University) Research Group.

Prof. John Knight visit from the University of Virginia

Prof. John Knight from the University of Virginia is visiting the Centre for Software Reliability. He has made a number of very significant contributions to dependable computing over many years and has been recognised internationally for them. He served as Editor-in-Chief for the very prestigious journal IEEE Trans. On Software Engineering  (2002 - 2005) and was the recipient of the prestigious Harland D. Mills award (2006).

Infosecurity Europe 2015 (2 - 4 June)

Once again CSR attended Infosecurity Europe.

Keynote talk at WoSoCer workshop of the 2014 International Symposium on Software Reliability Engineering

Prof Lorenzo Strigini, director of CSR, presented the invited talk "Assessment techniques, certification and [what else we need for] confidence in software" at the WoSoCer workshop of the 2014 International Symposium on Software Reliability Engineering.

Grant Winner - Prof Robin Bloomfield

Communicating and evaluating cyber risk and dependencies (CEDRICS) more news on this grant award can be found in The Times Higher Eduction

Fellow of the Royal Academy of Engineering

16th September 2014. Prof Robin Bloomfield was elected a Fellow of the Royal Academy of Engineering. The announcement reads in part: "Distinguished for international leadership in the engineering of safety-critical systems containing software. Eminent for his leadership as Founding Partner of the engineering consultancy Adelard LLP and as Professor of System and Software Dependability, Centre for Software Reliability, City University London.
- See more here

Rolls-Royce Global Software Forum

Professor Bev Littlewood gave an invited talk at the 2014 Rolls-Royce Global Software Forum on May 7th 2014, discussing recent Centre for Software Reliability work on software fault tolerance.


Well done to CSR PhD student Marwa Gadala who was awarded 1st Prize at the Research Symposium on 26th March 2014.

Infosecurity Europe 2014 (29 April - 1 May)

Once again CSR attended Infosecurity Europe.

MSc in Cyber Security

The recently launched MSc Cyber Security will prepare you for a successful career in various roles connected to the world of computer, network and information security.

Orthogonal Defect Classification (ODC)

Dr Ram Chillarege, President of Chillarege Inc (formerly from IBM) and chair of the IEEE Steering committee for Software Reliability, gave a seminar about Orthogonal Defect Classification (ODC) on Wednesday 13th November 2014. ODC is a concept that enables software developers to derive in-process feedback by extracting semantics from data that is already tracked in most organisations. The talk was well attended and received by the audience comprising academics and research staff from the School of Science and Technology. Dr Chillarege then visited the Centre for Software Reliability on Thursday for follow up discussions.

MSc Management of Information Security and Risk  (MISR)

The MSc Management of Information Security and Risk (MISR) engages students on the gap between IT security and business risk.


At SAFECOMP 2013 32nd International Conference on Computer Safety, Reliability and Security CSR  presented these papers:

  • "Does Malware Detection Improve With Diverse AntiVirus Products? An Empirical Study." by Ilir Gashi, Vladimir Stankovic, Michel Cukier and Bertrand Sobesto
  • "Software fault-freeness and reliability predictions". Andrey Povyakalo and Lorenzo Strigini.
  • "Does Software have to be Ultra Reliable in Safety Critical Systems?" Peter Bishop.

Invited talk at 4th IFAC Workshop on Dependable Control of Discrete Systems

Professor Bev Littlewood gave the opening invited keynote talk at DCDS13 (4th IFAC Workshop on Dependable Control of Discrete Systems)  in York, 4-6th September, entitled "Assessing the probability of failure of 1-out-of-2 software-based systems: now you can multiply two small numbers …".

Invited talk at Funktionale Sicherheit IEC 61508

On 12th March, Professor Bev Littlewood gave an invited talk entitled "Statistische Evaluation der SW für Kritische Anwendungen", in Erfurt at the VDE (German Association for Electrical, Electronic & Information Technologies) conference 'Funktionale Sicherheit IEC 61508'.

Parliamentary Commission on Banking Standards

Professor Robin Bloomfield was requested to give evidence to the Parliamentary Commission on Banking Standards (A joint committee of the House of Commons and the House of Lords) . The invitation arose in part because of Professor Robin Bloomfield's report to Foresight (part of BIS) on Computer based systems and systemic risk which was published late in 2012.

Safety-critical Systems Symposium 2013

Professor Robin Bloomfield gave an invited keynote to the Safety-critical Systems Symposium 2013, SSS '13 on "Complex System Safety: swans, bugs, toads, dragons and other myths" where he explored some of the insights from an analysis of financial systems and complex systems theory to safety critical systems. The talk was recorded and will be available from the IET website in due course.

Foresight Project Report

The Foresight report on The Future of Computer Trading in Financial Markets has been released.  It contains a document  on "Computer Trading and systemic risk: a nuclear perspective", co-authored by Professor Robin Bloomfield of CSR and Dr Anne Wetherilt from the Bank of England, which provides an interdisciplinary perspective on the issues of systemic risk and trust. The report is not allowed to make policy recommendations but defines 14 questions that the authors believe should be addressed on systemic risk, protection systems and computer assurance. Although it has "computer" in the title it is much more about the overall framework we need to answer such simple, questions such a "how much do we need to trust the computers?".

This report and the main report are available from the BIS/foresight website