{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,16]],"date-time":"2026-02-16T16:20:54Z","timestamp":1771258854407,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":60,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,8,28]],"date-time":"2018-08-28T00:00:00Z","timestamp":1535414400000},"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":[],"published-print":{"date-parts":[[2018,8,28]]},"DOI":"10.1145\/3285002.3285011","type":"proceedings-article","created":{"date-parts":[[2019,2,14]],"date-time":"2019-02-14T19:37:34Z","timestamp":1550173054000},"page":"52-63","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Going Dark"],"prefix":"10.1145","author":[{"given":"Prashant","family":"Anantharaman","sequence":"first","affiliation":[{"name":"Dartmouth College, Hanover, NH, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. Peter","family":"Brady","sequence":"additional","affiliation":[{"name":"Dartmouth College, Hanover, NH, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Flathers","sequence":"additional","affiliation":[{"name":"Dartmouth College, Hanover, NH, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vijay H.","family":"Kothari","sequence":"additional","affiliation":[{"name":"Dartmouth College, Hanover, NH, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael C.","family":"Millian","sequence":"additional","affiliation":[{"name":"Dartmouth College, Hanover, NH, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jason","family":"Reeves","sequence":"additional","affiliation":[{"name":"Dartmouth College, Hanover, NH, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nathan","family":"Reitinger","sequence":"additional","affiliation":[{"name":"Columbia University, New York, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William G.","family":"Nisen","sequence":"additional","affiliation":[{"name":"Dartmouth College, Hanover, NH, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sean W.","family":"Smith","sequence":"additional","affiliation":[{"name":"Dartmouth College, Hanover, NH, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,8,28]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPW.2017.36"},{"key":"e_1_3_2_1_2_1","volume-title":"The Grid - The Fraying Wires Between Americans and Our Energy Future (1 ed.). Bloomsbury USA","author":"Bakke Gretchen","unstructured":"Gretchen Bakke . 2016. The Grid - The Fraying Wires Between Americans and Our Energy Future (1 ed.). Bloomsbury USA , London, England . Chapter 6. Gretchen Bakke. 2016. The Grid - The Fraying Wires Between Americans and Our Energy Future (1 ed.). Bloomsbury USA, London, England. Chapter 6."},{"key":"e_1_3_2_1_3_1","volume-title":"Proceedings of IEEE Symposium on Security and Privacy (Oakland). IEEE","author":"Balenson Alex","year":"2019","unstructured":"Alex Balenson and George Specter . 2019 . Securing Industrial Control System Protocols with Language-Theoretic Security . In Proceedings of IEEE Symposium on Security and Privacy (Oakland). IEEE , San Francisco, CA, 42--52.. Alex Balenson and George Specter. 2019. Securing Industrial Control System Protocols with Language-Theoretic Security. In Proceedings of IEEE Symposium on Security and Privacy (Oakland). IEEE, San Francisco, CA, 42--52.."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1754405.1754406"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3018981.3018985"},{"key":"e_1_3_2_1_6_1","volume-title":"Superconductors to Wire a Smarter Grid. MIT Technology Review (12","author":"Bullis Kevin","year":"2009","unstructured":"Kevin Bullis . 2009. Superconductors to Wire a Smarter Grid. MIT Technology Review (12 November 2009 ). https:\/\/www.technologyreview.com\/s\/416253\/superconductors-to-wire-a-smarter-grid\/ Kevin Bullis. 2009. Superconductors to Wire a Smarter Grid. MIT Technology Review (12 November 2009). https:\/\/www.technologyreview.com\/s\/416253\/superconductors-to-wire-a-smarter-grid\/"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-22102-1_9"},{"key":"e_1_3_2_1_8_1","first-page":"17","article-title":"Now is the Time to Revolutionize the Grid","volume":"18","author":"Chen Sandra","year":"2020","unstructured":"Sandra Chen . 2020 . Now is the Time to Revolutionize the Grid . IEEE Power and Energy Magazine 18 , 3 (2020), 17 -- 23 .. Sandra Chen. 2020. Now is the Time to Revolutionize the Grid. IEEE Power and Energy Magazine 18, 3 (2020), 17--23..","journal-title":"IEEE Power and Energy Magazine"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/3040225"},{"key":"e_1_3_2_1_10_1","unstructured":"Canadian Broadcasting Company. 2003. 2003: The great North America Blackout. http:\/\/www.cbc.ca\/archives\/entry\/2003-the-great-north-america-blackout. (August 2003).  Canadian Broadcasting Company. 2003. 2003: The great North America Blackout. http:\/\/www.cbc.ca\/archives\/entry\/2003-the-great-north-america-blackout. (August 2003)."},{"key":"e_1_3_2_1_11_1","unstructured":"North American Electric Reliability Corporation. 2016. Critical Infrastructure Protection CIP-009-6 --- Cyber Security --- Recovery Plans for BES Cyber Systems. https:\/\/www.nerc.com\/_layouts\/15\/PrintStandard.aspx?standardnumber=CIP-009-6&title=CyberSecurity-RecoveryPlansforBESCyberSystems&jurisdiction=null. (2016).  North American Electric Reliability Corporation. 2016. Critical Infrastructure Protection CIP-009-6 --- Cyber Security --- Recovery Plans for BES Cyber Systems. https:\/\/www.nerc.com\/_layouts\/15\/PrintStandard.aspx?standardnumber=CIP-009-6&title=CyberSecurity-RecoveryPlansforBESCyberSystems&jurisdiction=null. (2016)."},{"key":"e_1_3_2_1_12_1","unstructured":"North American Electric Reliability Corporation. 2022. CIP 696-90. https:\/\/www.nerc.com\/pa\/Stand\/Reliability0Standards\/CIP-696-90.pdf. (2022)..  North American Electric Reliability Corporation. 2022. CIP 696-90. https:\/\/www.nerc.com\/pa\/Stand\/Reliability0Standards\/CIP-696-90.pdf. (2022).."},{"key":"e_1_3_2_1_13_1","unstructured":"North American Electric Reliability Corporation. 2038. Cyber Kill Chain and the Ping of Darkness. https:\/\/www.nerc.com\/ping-of-darkness. (2038)..  North American Electric Reliability Corporation. 2038. Cyber Kill Chain and the Ping of Darkness. https:\/\/www.nerc.com\/ping-of-darkness. (2038).."},{"key":"e_1_3_2_1_14_1","volume-title":"Master Serial Killer. (January","author":"Crain Adam","year":"2014","unstructured":"Adam Crain and Chris Sistrunk . 2014. Project Robus , Master Serial Killer. (January 2014 ). Adam Crain and Chris Sistrunk. 2014. Project Robus, Master Serial Killer. (January 2014)."},{"key":"e_1_3_2_1_15_1","volume-title":"CVE-ID CVE-2013-2792.. (3","year":"2013","unstructured":"CVE-2013-2792 2013. CVE-2013-2792. Available from MITRE , CVE-ID CVE-2013-2792.. (3 December 2013 ). http:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2013-2792 CVE-2013-2792 2013. CVE-2013-2792. Available from MITRE, CVE-ID CVE-2013-2792.. (3 December 2013). http:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2013-2792"},{"key":"e_1_3_2_1_16_1","unstructured":"DARPA. 2018. Restoring Trust in Electronic Documents. https:\/\/www.darpa.mil\/news-events\/2018-08-09. (2018).  DARPA. 2018. Restoring Trust in Electronic Documents. https:\/\/www.darpa.mil\/news-events\/2018-08-09. (2018)."},{"key":"e_1_3_2_1_17_1","unstructured":"PJM State & Member Training Dept. 2015. Reactive Reserves and Generator D-Curves. (2015). https:\/\/www.pjm.com\/-\/media\/training\/nerc-certifications\/gen-exam-materials\/gof\/20160104-reactive-reserves-and-d-curve.ashx?la=en  PJM State & Member Training Dept. 2015. Reactive Reserves and Generator D-Curves. (2015). https:\/\/www.pjm.com\/-\/media\/training\/nerc-certifications\/gen-exam-materials\/gof\/20160104-reactive-reserves-and-d-curve.ashx?la=en"},{"key":"e_1_3_2_1_18_1","volume-title":"Using Secure Conduits To Secure Legacy Programs. In The 29th USENIX Security Symposium. USENIX","author":"Deschamps Ross","year":"2020","unstructured":"Ross Deschamps and Thomas Avelar . 2020 . Using Secure Conduits To Secure Legacy Programs. In The 29th USENIX Security Symposium. USENIX , Santa Clara, CA, 17--25.. Ross Deschamps and Thomas Avelar. 2020. Using Secure Conduits To Secure Legacy Programs. In The 29th USENIX Security Symposium. USENIX, Santa Clara, CA, 17--25.."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/PERCOMW.2017.7917634"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2663716.2663755"},{"key":"e_1_3_2_1_21_1","volume-title":"Analysis of the Cyber Attack on the Ukrainian Power Grid: Defense Use Case. https:\/\/ics.sans.org\/media\/E-ISAC_SANS_Ukraine_DUC_5.pdf. (March","author":"E-ISAC","year":"2016","unstructured":"E-ISAC and SANS. 2016. Analysis of the Cyber Attack on the Ukrainian Power Grid: Defense Use Case. https:\/\/ics.sans.org\/media\/E-ISAC_SANS_Ukraine_DUC_5.pdf. (March 2016 ). E-ISAC and SANS. 2016. Analysis of the Cyber Attack on the Ukrainian Power Grid: Defense Use Case. https:\/\/ics.sans.org\/media\/E-ISAC_SANS_Ukraine_DUC_5.pdf. (March 2016)."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945468"},{"key":"e_1_3_2_1_23_1","volume-title":"Office of Enforcement","author":"Division of Audits FERC","year":"2013","unstructured":"Division of Audits FERC , Office of Enforcement . 2013 . Reliability Audit of Salt River Project Agricultural Improvement and Power District . https:\/\/www.ferc.gov\/industries\/electric\/indus-act\/reliability\/reliability-orders\/PA12-11-000.pdf. (July 2013). Division of Audits FERC, Office of Enforcement. 2013. Reliability Audit of Salt River Project Agricultural Improvement and Power District. https:\/\/www.ferc.gov\/industries\/electric\/indus-act\/reliability\/reliability-orders\/PA12-11-000.pdf. (July 2013)."},{"key":"e_1_3_2_1_24_1","unstructured":"finance.ua. 2015. Hackers attacked \"Prykarpattyaoblenergo\" discharged half of the region for 6 hours. http:\/\/news.finance.ua\/ua\/news\/-\/366136\/hakery-atakuvaly-prykarpattyaoblenergo-znestrumyvshy-polovynu-regionu-\\na-6-godyn. (December 2015).  finance.ua. 2015. Hackers attacked \"Prykarpattyaoblenergo\" discharged half of the region for 6 hours. http:\/\/news.finance.ua\/ua\/news\/-\/366136\/hakery-atakuvaly-prykarpattyaoblenergo-znestrumyvshy-polovynu-regionu-\\na-6-godyn. (December 2015)."},{"key":"e_1_3_2_1_25_1","volume-title":"Flathers and William Nisen","author":"Patrick","year":"2038","unstructured":"Patrick J. Flathers and William Nisen . 2038 . 2038 Blackout Costs Projected to Fall Between $80 and $150 billion. Nisen Economic Group ( 1 April 2038).. Patrick J. Flathers and William Nisen. 2038. 2038 Blackout Costs Projected to Fall Between $80 and $150 billion. Nisen Economic Group (1 April 2038).."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3064176.3064183"},{"key":"e_1_3_2_1_27_1","volume-title":"August 14, 2003 Outage Sequence of Events. https:\/\/www.ferc.gov\/industries\/electric\/indus-act\/reliability\/blackout\/09-12-03-blackout-sum.pdf. (September","author":"S.","year":"2003","unstructured":"U. S. -Canada Power System Outage Task Force. 2003 . August 14, 2003 Outage Sequence of Events. https:\/\/www.ferc.gov\/industries\/electric\/indus-act\/reliability\/blackout\/09-12-03-blackout-sum.pdf. (September 2003 ). U.S.-Canada Power System Outage Task Force. 2003. August 14, 2003 Outage Sequence of Events. https:\/\/www.ferc.gov\/industries\/electric\/indus-act\/reliability\/blackout\/09-12-03-blackout-sum.pdf. (September 2003)."},{"key":"e_1_3_2_1_28_1","volume-title":"Final Report on the","author":"S.","year":"2003","unstructured":"U. S. -Canada Power System Outage Task Force. 2004 . Final Report on the August 14, 2003 Blackout in the United States and Canada : Causes and Recommendations. https:\/\/www.energy.gov\/sites\/prod\/files\/oeprod\/DocumentsandMedia\/BlackoutFinal-Web.pdf. (April 2004). U.S.-Canada Power System Outage Task Force. 2004. Final Report on the August 14, 2003 Blackout in the United States and Canada: Causes and Recommendations. https:\/\/www.energy.gov\/sites\/prod\/files\/oeprod\/DocumentsandMedia\/BlackoutFinal-Web.pdf. (April 2004)."},{"key":"e_1_3_2_1_29_1","volume-title":"BlackEnergy APT Attacks in Ukraine employ spearphishing with Word documents. https:\/\/securelist.com\/blackenergy-apt. (January","author":"AT.","year":"2016","unstructured":"GRe AT. 2016. BlackEnergy APT Attacks in Ukraine employ spearphishing with Word documents. https:\/\/securelist.com\/blackenergy-apt. (January 2016 ). GReAT. 2016. BlackEnergy APT Attacks in Ukraine employ spearphishing with Word documents. https:\/\/securelist.com\/blackenergy-apt. (January 2016)."},{"key":"e_1_3_2_1_30_1","first-page":"85","article-title":"IEEE D17.215.2-2022 - IEEE Standard for the WASE Protocol Suite","volume":"60","author":"Grimm Jason","year":"2022","unstructured":"Jason Grimm , Triple H, and Susan Smith . 2022 . IEEE D17.215.2-2022 - IEEE Standard for the WASE Protocol Suite . IEEE Communications Magazine 60 , 7 (2022), 85 -- 96 .. Jason Grimm, Triple H, and Susan Smith. 2022. IEEE D17.215.2-2022 - IEEE Standard for the WASE Protocol Suite. IEEE Communications Magazine 60, 7 (2022), 85--96..","journal-title":"IEEE Communications Magazine"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.57887"},{"key":"e_1_3_2_1_32_1","volume-title":"Proceedings of the Thirtieth European Conference on Computer Systems. ACM","author":"Hawkins John","year":"2035","unstructured":"John Hawkins and Lien Susan . 2035 . Assigning Trust Scores to Packets . In Proceedings of the Thirtieth European Conference on Computer Systems. ACM , Belgrade, Serbia, 328--343.. John Hawkins and Lien Susan. 2035. Assigning Trust Scores to Packets. In Proceedings of the Thirtieth European Conference on Computer Systems. ACM, Belgrade, Serbia, 328--343.."},{"key":"e_1_3_2_1_33_1","volume-title":"The Lessons of Smart Grid Test in Boulder. https: \/\/finance-commerce.com\/2013\/04\/the-lessons-of-smart-grid-test-in-boulder. (April","author":"Helms Marisa","year":"2013","unstructured":"Marisa Helms . 2013. The Lessons of Smart Grid Test in Boulder. https: \/\/finance-commerce.com\/2013\/04\/the-lessons-of-smart-grid-test-in-boulder. (April 2013 ). Marisa Helms. 2013. The Lessons of Smart Grid Test in Boulder. https: \/\/finance-commerce.com\/2013\/04\/the-lessons-of-smart-grid-test-in-boulder. (April 2013)."},{"key":"e_1_3_2_1_34_1","volume-title":"NERC Mandates Adoption of WASE Protocol Suite","author":"Hogan Hermes","year":"2022","unstructured":"Hermes Hogan , Richard Savage , and Luke Stevenson . 2022. NERC Mandates Adoption of WASE Protocol Suite . IEEE spectrum 59, 2 ( 2022 ), 13--19.. Hermes Hogan, Richard Savage, and Luke Stevenson. 2022. NERC Mandates Adoption of WASE Protocol Suite. IEEE spectrum 59, 2 (2022), 13--19.."},{"key":"e_1_3_2_1_35_1","volume-title":"Reactive Power. https:\/\/www.pjm.com\/-\/media\/about-pjm\/newsroom\/fact-sheets\/reactive-power-fact-sheet.ashx. (April","author":"Interconnection PJM","year":"2017","unstructured":"PJM Interconnection . 2017. Reactive Power. https:\/\/www.pjm.com\/-\/media\/about-pjm\/newsroom\/fact-sheets\/reactive-power-fact-sheet.ashx. (April 2017 ). PJM Interconnection. 2017. Reactive Power. https:\/\/www.pjm.com\/-\/media\/about-pjm\/newsroom\/fact-sheets\/reactive-power-fact-sheet.ashx. (April 2017)."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14577-3_22"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11957-6_19"},{"key":"e_1_3_2_1_38_1","volume-title":"Computer-aided reasoning: ACL2 case studies","author":"Kaufmann Matt","unstructured":"Matt Kaufmann , Panagiotis Manolios , and J Strother Moore . 2013. Computer-aided reasoning: ACL2 case studies . Vol. 4 . Springer Science & Business Media . Matt Kaufmann, Panagiotis Manolios, and J Strother Moore. 2013. Computer-aided reasoning: ACL2 case studies. Vol. 4. Springer Science & Business Media."},{"key":"e_1_3_2_1_39_1","unstructured":"Matt Kaufmann and J. Strother Moore. 2017. A Flying Tour of ACL2. http:\/\/www.cs.utexas.edu\/users\/moore\/acl2\/v8-1\/combined-manual\/index.html?topic=ACL2___A_02Flying_02Tour_02of_02ACL2. (2017).  Matt Kaufmann and J. Strother Moore. 2017. A Flying Tour of ACL2. http:\/\/www.cs.utexas.edu\/users\/moore\/acl2\/v8-1\/combined-manual\/index.html?topic=ACL2___A_02Flying_02Tour_02of_02ACL2. (2017)."},{"key":"e_1_3_2_1_40_1","volume-title":"Proceedings of IEEE Security and Privacy Workshops (SPW). IEEE","author":"Kyle Cruz","year":"2023","unstructured":"Cruz Kyle and Anderson Timothy . 2023 . NailGun: Automatic Generation of Hammer Parser combinators . In Proceedings of IEEE Security and Privacy Workshops (SPW). IEEE , San Jose, CA, 89--100.. Cruz Kyle and Anderson Timothy. 2023. NailGun: Automatic Generation of Hammer Parser combinators. In Proceedings of IEEE Security and Privacy Workshops (SPW). IEEE, San Jose, CA, 89--100.."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1977.229904"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3126973.3126980"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2015.2418280"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1952982.1952995"},{"key":"e_1_3_2_1_46_1","volume-title":"Proceedings of IEEE Cybersecurity Development Conference. IEEE","author":"Momot Falcon Darkstar","unstructured":"Falcon Darkstar Momot , Sergey Bratus , Sven M. Hallberg , and Meredith L. Patterson . 2016. The Seven Turrets of Babel: A Taxonomy of LangSec Errors and How to Expunge Them . In Proceedings of IEEE Cybersecurity Development Conference. IEEE , Boston, MA, 45--52. Falcon Darkstar Momot, Sergey Bratus, Sven M. Hallberg, and Meredith L. Patterson. 2016. The Seven Turrets of Babel: A Taxonomy of LangSec Errors and How to Expunge Them. In Proceedings of IEEE Cybersecurity Development Conference. IEEE, Boston, MA, 45--52."},{"key":"e_1_3_2_1_47_1","unstructured":"Ukraine Ministry of Energy. 2016. The Ministry of Energy and Coal intends to form a group of representatives of all energy companies within the management of the Ministry to study the possibilities of preventing unauthorized interference in the operation of Power Grids. http:\/\/mpe.kmu.gov.ua\/minugol\/control\/uk\/publish\/article?art_id=245086886&cat_id=35109. (February 2016).  Ukraine Ministry of Energy. 2016. The Ministry of Energy and Coal intends to form a group of representatives of all energy companies within the management of the Ministry to study the possibilities of preventing unauthorized interference in the operation of Power Grids. http:\/\/mpe.kmu.gov.ua\/minugol\/control\/uk\/publish\/article?art_id=245086886&cat_id=35109. (February 2016)."},{"key":"e_1_3_2_1_48_1","volume-title":"Cyber-Attack Against Ukrainian Critical Infrastructure--- Alert (IR-ALERT-H-16-056-01). https:\/\/ics-cert.us-cert.gov\/alerts\/IR-ALERT-H-16-056-01. (February","author":"Department of Homeland Security. 2016.","year":"2016","unstructured":"Department of Homeland Security. 2016. Cyber-Attack Against Ukrainian Critical Infrastructure--- Alert (IR-ALERT-H-16-056-01). https:\/\/ics-cert.us-cert.gov\/alerts\/IR-ALERT-H-16-056-01. (February 2016 ). Department of Homeland Security. 2016. Cyber-Attack Against Ukrainian Critical Infrastructure--- Alert (IR-ALERT-H-16-056-01). https:\/\/ics-cert.us-cert.gov\/alerts\/IR-ALERT-H-16-056-01. (February 2016)."},{"key":"e_1_3_2_1_49_1","unstructured":"Raluca Ada Popa Emily Stark Jonas Helfer Steven Valdez Nickolai Zeldovich M Frans Kaashoek and Hari Balakrishnan. 2014. Building Web Applications on Top of Encrypted Data Using Mylar. In NSDI. 157--172.   Raluca Ada Popa Emily Stark Jonas Helfer Steven Valdez Nickolai Zeldovich M Frans Kaashoek and Hari Balakrishnan. 2014. Building Web Applications on Top of Encrypted Data Using Mylar. In NSDI. 157--172."},{"key":"e_1_3_2_1_50_1","volume-title":"Tracking the Blackout Bug. https:\/\/www.securityfocus.com\/news\/8412. (April","author":"Poulsen Kevin","year":"2004","unstructured":"Kevin Poulsen . 2004. Tracking the Blackout Bug. https:\/\/www.securityfocus.com\/news\/8412. (April 2004 ). Kevin Poulsen. 2004. Tracking the Blackout Bug. https:\/\/www.securityfocus.com\/news\/8412. (April 2004)."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3110261"},{"key":"e_1_3_2_1_52_1","volume-title":"Three Amigos' aim for more clean power by 2025: White House. https:\/\/www.reuters.com\/article\/us-usa-canada-mexico-energy-idUSKCN0ZD2L0. (27","author":"Rampton Roberta","year":"2016","unstructured":"Roberta Rampton and David Ljunggren . 2016. ' Three Amigos' aim for more clean power by 2025: White House. https:\/\/www.reuters.com\/article\/us-usa-canada-mexico-energy-idUSKCN0ZD2L0. (27 June 2016 ). Roberta Rampton and David Ljunggren. 2016. 'Three Amigos' aim for more clean power by 2025: White House. https:\/\/www.reuters.com\/article\/us-usa-canada-mexico-energy-idUSKCN0ZD2L0. (27 June 2016)."},{"key":"e_1_3_2_1_53_1","volume-title":"Proceedings of IEEE Security and Privacy Workshops (SPW). IEEE","author":"Robben Karen","year":"2025","unstructured":"Karen Robben and John Stevens . 2025 . Creating a Taxonomy of Bugs in Modern CVEs . In Proceedings of IEEE Security and Privacy Workshops (SPW). IEEE , San Jose, CA, 117--127.. Karen Robben and John Stevens. 2025. Creating a Taxonomy of Bugs in Modern CVEs. In Proceedings of IEEE Security and Privacy Workshops (SPW). IEEE, San Jose, CA, 117--127.."},{"key":"e_1_3_2_1_55_1","volume-title":"The Craft of System Security. Pearson Education","author":"Smith Sean","unstructured":"Sean Smith and John Marchesini . 2007. The Craft of System Security. Pearson Education , Boston, MA . 391--409 pages. Sean Smith and John Marchesini. 2007. The Craft of System Security. Pearson Education, Boston, MA. 391--409 pages."},{"key":"e_1_3_2_1_56_1","volume-title":"Apron: A Simple Frontend for Hammer Parsers. https:\/\/www.cs.dartmouth.edu\/~apron. (May","author":"Stones Donna","year":"2021","unstructured":"Donna Stones and Arya Wiens . 2021 . Apron: A Simple Frontend for Hammer Parsers. https:\/\/www.cs.dartmouth.edu\/~apron. (May 2021).. Donna Stones and Arya Wiens. 2021. Apron: A Simple Frontend for Hammer Parsers. https:\/\/www.cs.dartmouth.edu\/~apron. (May 2021).."},{"key":"e_1_3_2_1_57_1","volume-title":"BlackEnergy Malware: How Hackers May Tackle our Infrastructure. https:\/\/www.infosecurity-magazine.com\/opinions\/blackenergy-malware-infrastructure. (February","author":"Vincent Adam","year":"2018","unstructured":"Adam Vincent . 2018. BlackEnergy Malware: How Hackers May Tackle our Infrastructure. https:\/\/www.infosecurity-magazine.com\/opinions\/blackenergy-malware-infrastructure. (February 2018 ). Adam Vincent. 2018. BlackEnergy Malware: How Hackers May Tackle our Infrastructure. https:\/\/www.infosecurity-magazine.com\/opinions\/blackenergy-malware-infrastructure. (February 2018)."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/WCL.2012.022012.120073"},{"key":"e_1_3_2_1_59_1","unstructured":"LLP Vinson & Elkins. 2014. Summary of CIP Version 5 Standards. https:\/\/www.velaw.com\/uploadedfiles\/vesite\/resources\/summarycipversion5standards2014.pdf. (2014).  LLP Vinson & Elkins. 2014. Summary of CIP Version 5 Standards. https:\/\/www.velaw.com\/uploadedfiles\/vesite\/resources\/summarycipversion5standards2014.pdf. (2014)."},{"key":"e_1_3_2_1_60_1","volume-title":"government concludes cyber attack caused Ukraine power outage. https:\/\/www.reuters.com\/article\/us-ukraine-cybersecurity-idUSKCN0VY30K. (25","author":"Volz Dustin","year":"2016","unstructured":"Dustin Volz . 2016. U. S. government concludes cyber attack caused Ukraine power outage. https:\/\/www.reuters.com\/article\/us-ukraine-cybersecurity-idUSKCN0VY30K. (25 February 2016 ). Dustin Volz. 2016. U.S. government concludes cyber attack caused Ukraine power outage. https:\/\/www.reuters.com\/article\/us-ukraine-cybersecurity-idUSKCN0VY30K. (25 February 2016)."},{"key":"e_1_3_2_1_61_1","unstructured":"LLP White Case. 2011. NERC Case Notes: Reliability Standard CIP-009-1. https:\/\/www.whitecase.com\/nerc-cip-009-1. (2011).  LLP White Case. 2011. NERC Case Notes: Reliability Standard CIP-009-1. https:\/\/www.whitecase.com\/nerc-cip-009-1. (2011)."},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.5555\/519453.793917"}],"event":{"name":"NSPW '18: New Security Paradigms Workshop","location":"Windsor United Kingdom","acronym":"NSPW '18","sponsor":["ACSA Applied Computing Security Assoc"]},"container-title":["Proceedings of the New Security Paradigms Workshop"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3285002.3285011","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3285002.3285011","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:57:40Z","timestamp":1750208260000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3285002.3285011"}},"subtitle":["A Retrospective on the North American Blackout of 2038"],"short-title":[],"issued":{"date-parts":[[2018,8,28]]},"references-count":60,"alternative-id":["10.1145\/3285002.3285011","10.1145\/3285002"],"URL":"https:\/\/doi.org\/10.1145\/3285002.3285011","relation":{},"subject":[],"published":{"date-parts":[[2018,8,28]]},"assertion":[{"value":"2018-08-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}