{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:08:47Z","timestamp":1750306127593,"version":"3.41.0"},"reference-count":0,"publisher":"Association for Computing Machinery (ACM)","issue":"May","license":[{"start":{"date-parts":[[2017,5,17]],"date-time":"2017-05-17T00:00:00Z","timestamp":1494979200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Ubiquity"],"published-print":{"date-parts":[[2017,5,23]]},"abstract":"<jats:p>There is new hope for those who despair securing computer systems from external hackers. The recent DARPA HACMS project demonstrated conclusively that \"certain pathways for attackers have all been shut down in a way that's mathematically proven to be unhackable for those pathways.\" Continuing research at DARPA and IARPA will eventually shut down all the pathways, and the external hackers will be out of business permanently.<\/jats:p>","DOI":"10.1145\/3081880","type":"journal-article","created":{"date-parts":[[2017,5,18]],"date-time":"2017-05-18T19:38:45Z","timestamp":1495136325000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Cybersecurity skeptics now embracing formal methods"],"prefix":"10.1145","volume":"2017","author":[{"given":"Ted G.","family":"Lewis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,5,17]]},"container-title":["Ubiquity"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3081880","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3081880","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:37:01Z","timestamp":1750217821000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3081880"}},"subtitle":["an interview with Gernot Heiser and Jim Morris"],"short-title":[],"issued":{"date-parts":[[2017,5,17]]},"references-count":0,"journal-issue":{"issue":"May","published-print":{"date-parts":[[2017,5,23]]}},"alternative-id":["10.1145\/3081880"],"URL":"https:\/\/doi.org\/10.1145\/3081880","relation":{},"ISSN":["1530-2180"],"issn-type":[{"type":"electronic","value":"1530-2180"}],"subject":[],"published":{"date-parts":[[2017,5,17]]},"assertion":[{"value":"2017-05-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}