Linking pages
Linked pages
- Hackers Remotely Kill a Jeep on the Highway—With Me in It | WIRED https://www.wired.com/2015/07/hackers-remotely-kill-jeep-highway/ 4369 comments
- Heartbleed Bug http://heartbleed.com/ 1644 comments
- Home | seL4 https://sel4.systems 502 comments
- Microsoft Security Bulletin MS15-078 - Critical | Microsoft Learn https://technet.microsoft.com/library/security/MS15-078 285 comments
- CompCert - Main page http://compcert.inria.fr/ 191 comments
- Certified Programming with Dependent Types http://adam.chlipala.net/cpdt/ 117 comments
- BMW, Audi and Toyota cars can be unlocked and started with hacked radios http://www.telegraph.co.uk/technology/2016/03/23/hackers-can-unlock-and-start-dozens-of-high-end-cars-through-the/ 115 comments
- Creative Commons — Attribution 4.0 International — CC BY 4.0 https://creativecommons.org/licenses/by/4.0/ 95 comments
- Hackers Use a Refrigerator to Attack Businesses http://www.businessinsider.com/hackers-use-a-refridgerator-to-attack-businesses-2014-1 60 comments
- Software Foundations http://www.cis.upenn.edu/~bcpierce/sf/current/index.html 58 comments
- http://research.microsoft.com/en-us/um/people/lamport/tla/formal-methods-amazon.pdf 24 comments
- https://www.youtube.com/watch?v=f3zUOZcewtA 8 comments
- SMACCMPilot - index http://smaccmpilot.org/ 3 comments
Related searches:
Search whole site: site:ncbi.nlm.nih.gov
Search title: The HACMS program: using formal methods to eliminate exploitable bugs - PMC
See how to search.