TY - BOOK ID - 65497511 TI - Computer Safety, Reliability, and Security : 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings AU - Casimiro, António. AU - Ortmeier, Frank. AU - Bitsch, Friedemann. AU - Ferreira, Pedro. PY - 2020 SN - 3030545490 3030545482 PB - Cham : Springer International Publishing : Imprint: Springer, DB - UniCat KW - Computer organization. KW - Artificial intelligence. KW - Software engineering. KW - Microprogramming . KW - Data encryption (Computer science). KW - Computer security. KW - Computer Systems Organization and Communication Networks. KW - Artificial Intelligence. KW - Software Engineering/Programming and Operating Systems. KW - Control Structures and Microprogramming. KW - Cryptology. KW - Systems and Data Security. KW - Organization, Computer KW - Electronic digital computers KW - Computer privacy KW - Computer system security KW - Computer systems KW - Computers KW - Cyber security KW - Cybersecurity KW - Protection of computer systems KW - Security of computer systems KW - Data protection KW - Security systems KW - Hacking KW - Computer software engineering KW - Engineering KW - Data encoding (Computer science) KW - Encryption of data (Computer science) KW - Computer security KW - Cryptography KW - Computer programming KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Electronic data processing KW - Logic machines KW - Machine theory KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Protection KW - Security measures KW - Computer organization KW - Software engineering UR - https://www.unicat.be/uniCat?func=search&query=sysid:65497511 AB - This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020, held in Lisbon, Portugal, in September 2020.* The 27 full and 2 short papers included in this volume were carefully reviewed and selected from 116 submissions. They were organized in topical sections named: safety cases and argumentation; formal verification and analysis; security modelling and methods; assurance of learning-enabled systems; practical experience and tools; threat analysis and risk mitigation; cyber-physical systems security; and fault injection and fault tolerance. *The conference was held virtually due to the COVID-19 pandemic. The chapter ‘Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware’ is available open access under an Open Government License 3.0 via link.springer.com. ER -