Posted on by Achim D. Brucker, licensed under CC BY-ND 4.0.

Will Computer Ever be Secure

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.

Today is the third day of the Pint of Science event in Sheffield. Pint of Science is an event at which researchers share their work and motivation with the general public. Thus, I will do my best to explain to the general public the the challenges of building secure systems as well as provide insights into the (fundamental) questions if we can build a computer program that decides if a system secure or not.

The event will take place at The Roco, 338 Glossop Road, Sheffield, S10 2HW, United Kingdom and starts at 6.30pm.

Supplementary Material:

Welcome to the blog of the Software Assurance & Security Research Team at The University of Sheffield. We blog regularly news, tips & tricks, as well as fun facts about software assurance, reliability, security, testing, verification, hacking, and logic.

You can also follow us on Twitter: @logicalhacking.




academia appsec bitcoin browserextensions browsersecurity chrome cordova dast devops devsecops event extensions fixeffort floss hol-ocl hol-testgen hybridapps iast industry iot isabelle/hol logic malicous mbst mobile modeling monads ocl opensource owasp research sap sast sdlc secdevops security securityengineering securitytesting staff&positions test&proof testing tips&tricks tools tuos uk verification webinar websecurity


blog whole site