Cybersecurity, Nuclear Security, Alan Turing, and Illogical Logic
Title | Cybersecurity, Nuclear Security, Alan Turing, and Illogical Logic |
Publication Type | Conference Paper |
Year of Publication | 2016 |
Authors | Hellman, Martin E. |
Conference Name | Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security |
Publisher | ACM |
Conference Location | New York, NY, USA |
ISBN Number | 978-1-4503-4139-4 |
Keywords | Collaboration, composability, deterrence, Human Behavior, keynote, Metrics, pubcrawl, Resiliency, Scalability, talk |
Abstract | My work that is being recognized by the 2015 ACM A. M. Turing Award is in cybersecurity, while my primary interest for the last thirty-five years is concerned with reducing the risk that nuclear deterrence will fail and destroy civilization. This Turing Lecture draws connections between those seemingly disparate areas as well as Alan Turing's elegant proof that the computable real numbers, while denumerable, are not effectively denumerable. |
URL | http://doi.acm.org/10.1145/2976749.2976757 |
DOI | 10.1145/2976749.2976757 |
Citation Key | hellman_cybersecurity_2016 |