Will Computes Ever Be Secure

By Achim D. Brucker.

These days, it feels like news reports about data security breaches are commonplace. It looks like as if the attackers won and securing IT systems is a Sisyphean task.

In this talk, I will motivate the challenges of building secure systems and provide insights into the (fundamental) questions if we can build a computer program that decides if a system secure or not.

Please cite this work as follows:
A. D. Brucker, “Will computes ever be secure,” presented at the Pint of Science, Sheffield, UK, May 25, 2016. Author copy: https://logicalhacking.com/publications/talk-brucker-pint-security-challenge-2016/

BibTeX
@Unpublished{ talk:brucker:pint-security-challenge:2016,
  date       = {2016-05-25},
  title      = {Will Computes Ever Be Secure},
  author     = {Achim D. Brucker},
  venue      = {Sheffield, UK},
  eventtitle = {{Pint} of {Science}},
  abstract   = {These days, it feels like news reports about data security
                breaches are commonplace. It looks like as if the attackers
                won and securing IT systems is a Sisyphean task.
                
                In this talk, I will motivate the challenges of building
                secure systems and provide insights into the (fundamental)
                questions if we can build a computer program that decides if a
                system secure or not.},
  note       = {Author copy: \url{https://logicalhacking.com/publications/talk-brucker-pint-security-challenge-2016/}},
  pdf        = {https://logicalhacking.com/publications/talk-brucker-pint-security-challenge-2016/talk-brucker-pint-security-challenge-2016.pdf},
}