{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T14:57:56Z","timestamp":1773154676045,"version":"3.50.1"},"reference-count":70,"publisher":"Association for Computing Machinery (ACM)","issue":"OOPSLA","license":[{"start":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T00:00:00Z","timestamp":1540339200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2018,10,24]]},"abstract":"<jats:p>The rise of serverless computing provides an opportunity to rethink cloud security. We present an approach for securing serverless systems using a novel form of dynamic information flow control (IFC).<\/jats:p>\n          <jats:p>We show that in serverless applications, the termination channel found in most existing IFC systems can be arbitrarily amplified via multiple concurrent requests, necessitating a stronger termination-sensitive non-interference guarantee, which we achieve using a combination of static labeling of serverless processes and dynamic faceted labeling of persistent data.<\/jats:p>\n          <jats:p>We describe our implementation of this approach on top of JavaScript for AWS Lambda and OpenWhisk serverless platforms, and present three realistic case studies showing that it can enforce important IFC security properties with modest overhead.<\/jats:p>","DOI":"10.1145\/3276488","type":"journal-article","created":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T11:57:18Z","timestamp":1540382238000},"page":"1-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":52,"title":["Secure serverless computing using dynamic information flow control"],"prefix":"10.1145","volume":"2","author":[{"given":"Kalev","family":"Alpernas","sequence":"first","affiliation":[{"name":"Tel Aviv University, Israel \/ VMware, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cormac","family":"Flanagan","sequence":"additional","affiliation":[{"name":"University of California at Santa Cruz, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sadjad","family":"Fouladi","sequence":"additional","affiliation":[{"name":"Stanford University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonid","family":"Ryzhyk","sequence":"additional","affiliation":[{"name":"VMware, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mooly","family":"Sagiv","sequence":"additional","affiliation":[{"name":"Tel Aviv University, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Schmitz","sequence":"additional","affiliation":[{"name":"University of California at Santa Cruz, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Keith","family":"Winstein","sequence":"additional","affiliation":[{"name":"Stanford University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,10,24]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"Airbnb. 2017. StreamAlert: A serverless framework for real-time data analysis and alerting. http:\/\/airbnb.io\/projects\/ streamalert\/ .  Airbnb. 2017. StreamAlert: A serverless framework for real-time data analysis and alerting. http:\/\/airbnb.io\/projects\/ streamalert\/ ."},{"key":"e_1_2_1_2_1","unstructured":"Kalev Alpernas Cormac Flanagan Sadjad Fouladi Leonid Ryzhyk Mooly Sagiv Thomas Schmitz and Keith Winstein. 2017. Trapeze source code repository. https:\/\/github.com\/kalevalp\/trapeze .  Kalev Alpernas Cormac Flanagan Sadjad Fouladi Leonid Ryzhyk Mooly Sagiv Thomas Schmitz and Keith Winstein. 2017. Trapeze source code repository. https:\/\/github.com\/kalevalp\/trapeze ."},{"key":"e_1_2_1_3_1","unstructured":"Amazon. 2017a. AWS Lambda. https:\/\/aws.amazon.com\/lambda\/ .  Amazon. 2017a. AWS Lambda. https:\/\/aws.amazon.com\/lambda\/ ."},{"key":"e_1_2_1_4_1","unstructured":"Amazon. 2017b. AWS Rekognition. https:\/\/aws.amazon.com\/rekognition\/ .  Amazon. 2017b. AWS Rekognition. https:\/\/aws.amazon.com\/rekognition\/ ."},{"key":"e_1_2_1_5_1","unstructured":"Apache Software Foundation. 2017. OpenWhisk. https:\/\/openwhisk.apache.org\/ .  Apache Software Foundation. 2017. OpenWhisk. https:\/\/openwhisk.apache.org\/ ."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88313-5_22"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1554339.1554353"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1814217.1814220"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103677"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3024086"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465106.2465121"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNSM.2013.122313.130423"},{"key":"e_1_2_1_13_1","unstructured":"Andrew Baird Michael Connor and Patrick Brandt. 2016. Coca-Cola: Running Serverless Applications with Enterprise Requirements. https:\/\/aws.amazon.com\/serverless\/videos\/video- lambda- coca- cola\/ .  Andrew Baird Michael Connor and Patrick Brandt. 2016. Coca-Cola: Running Serverless Applications with Enterprise Requirements. https:\/\/aws.amazon.com\/serverless\/videos\/video- lambda- coca- cola\/ ."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45744-4_25"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3023872"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1653662.1653673"},{"key":"e_1_2_1_18_1","unstructured":"Mark Boyd. 2017. iRobot Confronts the Challenges of Running Serverless at Scale. https:\/\/thenewstack.io\/ irobot- confronts- challenges- running- serverless- scale\/ .  Mark Boyd. 2017. iRobot Confronts the Challenges of Running Serverless at Scale. https:\/\/thenewstack.io\/ irobot- confronts- challenges- running- serverless- scale\/ ."},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.68"},{"key":"e_1_2_1_20_1","unstructured":"Kuldeep Chowhan. 2016. Serverless Computing Patterns at Expedia. https:\/\/www.slideshare.net\/AmazonWebServices\/ aws- reinvent- 2016- serverless- computing- patterns- at- expedia- svr306 .  Kuldeep Chowhan. 2016. Serverless Computing Patterns at Expedia. https:\/\/www.slideshare.net\/AmazonWebServices\/ aws- reinvent- 2016- serverless- computing- patterns- at- expedia- svr306 ."},{"key":"e_1_2_1_21_1","unstructured":"CNET Magazine. 2011. The PlayStation Network breach (FAQ). https:\/\/www.cnet.com\/news\/ the- playstation- network- breach- faq\/ .  CNET Magazine. 2011. The PlayStation Network breach (FAQ). https:\/\/www.cnet.com\/news\/ the- playstation- network- breach- faq\/ ."},{"key":"e_1_2_1_22_1","unstructured":"Computerworld. 2009. SQL injection attacks led to Heartland Hannaford breaches. https:\/\/www.computerworld.com\/ article\/2527185\/security0\/sql- injection- attacks- led- to- heartland- - hannaford- breaches.html .  Computerworld. 2009. SQL injection attacks led to Heartland Hannaford breaches. https:\/\/www.computerworld.com\/ article\/2527185\/security0\/sql- injection- attacks- led- to- heartland- - hannaford- breaches.html ."},{"key":"e_1_2_1_23_1","unstructured":"Computerworld. 2014. Two-factor authentication oversight led to JPMorgan breach. https:\/\/www.computerworld.com\/ article\/2862578\/twofactor- authentication- oversight- led- to- jpmorgan- breach- investigators- reportedly- found.html .  Computerworld. 2014. Two-factor authentication oversight led to JPMorgan breach. https:\/\/www.computerworld.com\/ article\/2862578\/twofactor- authentication- oversight- led- to- jpmorgan- breach- investigators- reportedly- found.html ."},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2382196.2382275"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/360051.360056"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/359636.359712"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.15"},{"key":"e_1_2_1_28_1","unstructured":"Digital Trends. 2016. The latest data breach involves the voting records of 93.4 million Mexican citizens. https:\/\/www. digitaltrends.com\/computing\/mexico- voting- breach\/ .  Digital Trends. 2016. The latest data breach involves the voting records of 93.4 million Mexican citizens. https:\/\/www. digitaltrends.com\/computing\/mexico- voting- breach\/ ."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095813"},{"key":"e_1_2_1_30_1","unstructured":"Ken Ellis. 2017. How Reuters Replaced WebSockets with Amazon Cognito and SQS. https:\/\/serverless.com\/blog\/ how- reuters- replaced- websockets- with- amazon- cognito- and- sqs\/ .  Ken Ellis. 2017. How Reuters Replaced WebSockets with Amazon Cognito and SQS. https:\/\/serverless.com\/blog\/ how- reuters- replaced- websockets- with- amazon- cognito- and- sqs\/ ."},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2525528.2525538"},{"key":"e_1_2_1_32_1","unstructured":"Fn Project. 2017. https:\/\/fnproject.io\/ .  Fn Project. 2017. https:\/\/fnproject.io\/ ."},{"key":"e_1_2_1_33_1","unstructured":"Forbes. 2014. eBay Suffers Massive Security Breach All Users Must Change Their Passwords. https:\/\/www.forbes. com\/sites\/gordonkelly\/2014\/05\/21\/ebay- suffers- massive- security- breach- all- users- must- their- change- passwords\/ #793467c57492 .  Forbes. 2014. eBay Suffers Massive Security Breach All Users Must Change Their Passwords. https:\/\/www.forbes. com\/sites\/gordonkelly\/2014\/05\/21\/ebay- suffers- massive- security- breach- all- users- must- their- change- passwords\/ #793467c57492 ."},{"key":"e_1_2_1_34_1","unstructured":"Forbes. 2017. How Hackers Broke Equifax: Exploiting A Patchable Vulnerability. https:\/\/www.forbes.com\/sites\/ thomasbrewster\/2017\/09\/14\/equifax- hack- the- result- of- patched- vulnerability\/#20abe9015cda .  Forbes. 2017. How Hackers Broke Equifax: Exploiting A Patchable Vulnerability. https:\/\/www.forbes.com\/sites\/ thomasbrewster\/2017\/09\/14\/equifax- hack- the- result- of- patched- vulnerability\/#20abe9015cda ."},{"key":"e_1_2_1_35_1","unstructured":"Sadjad Fouladi Dan Iter Shuvo Chatterjee Christos Kozyrakis Matei Zaharia and Keith Winstein. 2017a. A Thunk to Remember: make -j1000 (and other jobs) on functions-as-a-service infrastructure (Under review). http:\/\/stanford.edu\/ ~sadjad\/gg- paper.pdf .  Sadjad Fouladi Dan Iter Shuvo Chatterjee Christos Kozyrakis Matei Zaharia and Keith Winstein. 2017a. A Thunk to Remember: make -j1000 (and other jobs) on functions-as-a-service infrastructure (Under review). http:\/\/stanford.edu\/ ~sadjad\/gg- paper.pdf ."},{"key":"e_1_2_1_36_1","volume-title":"Proc. of NSDI","author":"Fouladi Sadjad","year":"2017","unstructured":"Sadjad Fouladi , Riad S. Wahby , Brennan Shacklett , Karthikeyan Vasuki Balasubramaniam , William Zeng , Rahul Bhalerao , Anirudh Sivaraman , George Porter , and Keith Winstein . 2017 b. Encoding, Fast and Slow: Low-Latency Video Processing Using Thousands of Tiny Threads . In Proc. of NSDI 2017. Boston, MA, 363\u2013376. Sadjad Fouladi, Riad S. Wahby, Brennan Shacklett, Karthikeyan Vasuki Balasubramaniam, William Zeng, Rahul Bhalerao, Anirudh Sivaraman, George Porter, and Keith Winstein. 2017b. Encoding, Fast and Slow: Low-Latency Video Processing Using Thousands of Tiny Threads. In Proc. of NSDI 2017. Boston, MA, 363\u2013376."},{"key":"e_1_2_1_37_1","unstructured":"Google. 2017. Google Cloud Functions. https:\/\/cloud.google.com\/functions\/ .  Google. 2017. Google Cloud Functions. https:\/\/cloud.google.com\/functions\/ ."},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268976"},{"key":"e_1_2_1_39_1","volume-title":"Proc. of OSDI","author":"Hunt Tyler","year":"2016","unstructured":"Tyler Hunt , Zhiting Zhu , Yuanzhong Xu , Simon Peter , and Emmett Witchel . 2016 . Ryoan: A Distributed Sandbox for Untrusted Computation on Secret Data . In Proc. of OSDI 2016. Savannah, GA, USA, 533\u2013549. Tyler Hunt, Zhiting Zhu, Yuanzhong Xu, Simon Peter, and Emmett Witchel. 2016. Ryoan: A Distributed Sandbox for Untrusted Computation on Secret Data. In Proc. of OSDI 2016. Savannah, GA, USA, 533\u2013549."},{"key":"e_1_2_1_40_1","unstructured":"IBM. 2017. IBM Cloud Functions. https:\/\/console.bluemix.net\/openwhisk\/ .  IBM. 2017. IBM Cloud Functions. https:\/\/console.bluemix.net\/openwhisk\/ ."},{"key":"e_1_2_1_41_1","unstructured":"Intel Corporation. 2014. Intel Software Guard Extensions Programming Reference.  Intel Corporation. 2014. Intel Software Guard Extensions Programming Reference."},{"key":"e_1_2_1_42_1","volume-title":"Occupy the Cloud: Distributed Computing for the 99%. CoRR abs\/1702.04024","author":"Jonas Eric","year":"2017","unstructured":"Eric Jonas , Shivaram Venkataraman , Ion Stoica , and Benjamin Recht . 2017. Occupy the Cloud: Distributed Computing for the 99%. CoRR abs\/1702.04024 ( 2017 ). http:\/\/arxiv.org\/abs\/1702.04024 Eric Jonas, Shivaram Venkataraman, Ion Stoica, and Benjamin Recht. 2017. Occupy the Cloud: Distributed Computing for the 99%. CoRR abs\/1702.04024 (2017). http:\/\/arxiv.org\/abs\/1702.04024"},{"key":"e_1_2_1_43_1","volume-title":"Proc. of NSDI","author":"Kablan Murad","year":"2017","unstructured":"Murad Kablan , Azzam Alsudais , Eric Keller , and Franck Le . 2017 . Stateless Network Functions: Breaking the Tight Coupling of State and Processing . In Proc. of NSDI 2017. Boston, MA, 97\u2013112. Murad Kablan, Azzam Alsudais, Eric Keller, and Franck Le. 2017. Stateless Network Functions: Breaking the Tight Coupling of State and Processing. In Proc. of NSDI 2017. Boston, MA, 97\u2013112."},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2011.19"},{"key":"e_1_2_1_45_1","unstructured":"McKim John. 2017. Announcing the Winners of the Inaugural ServerlessConf Architecture Competition. https:\/\/read. acloud.guru\/announcing- the- winners- of- the- inaugural- serverlessconf- architecture- competition- 1dce2db6da3 .  McKim John. 2017. Announcing the Winners of the Inaugural ServerlessConf Architecture Competition. https:\/\/read. acloud.guru\/announcing- the- winners- of- the- inaugural- serverlessconf- architecture- competition- 1dce2db6da3 ."},{"key":"e_1_2_1_46_1","unstructured":"Microsoft. 2017. Azure Functions. https:\/\/azure.microsoft.com\/services\/functions\/ .  Microsoft. 2017. Azure Functions. https:\/\/azure.microsoft.com\/services\/functions\/ ."},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292561"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/363516.363526"},{"key":"e_1_2_1_49_1","unstructured":"National Vulnerability Database. 2017. CVE-2017-5638. https:\/\/nvd.nist.gov\/vuln\/detail\/CVE- 2017- 5638 .  National Vulnerability Database. 2017. CVE-2017-5638. https:\/\/nvd.nist.gov\/vuln\/detail\/CVE- 2017- 5638 ."},{"key":"e_1_2_1_50_1","unstructured":"Nordstrom Technology. 2017. Hello Retail! https:\/\/github.com\/Nordstrom\/hello- retail .  Nordstrom Technology. 2017. Hello Retail! https:\/\/github.com\/Nordstrom\/hello- retail ."},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2914642.2914662"},{"key":"e_1_2_1_52_1","unstructured":"PCWorld. 2010. Microsoft Cloud Data Breach Heralds Things to Come. https:\/\/www.pcworld.com\/article\/214775\/microsoft_ cloud_data_breach_sign_of_future.html .  PCWorld. 2010. Microsoft Cloud Data Breach Heralds Things to Come. https:\/\/www.pcworld.com\/article\/214775\/microsoft_ cloud_data_breach_sign_of_future.html ."},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806121"},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011553200337"},{"key":"e_1_2_1_55_1","volume-title":"Serverless Architectures on AWS: With examples using AWS Lambda","author":"Sbarski Peter","unstructured":"Peter Sbarski . 2017. Serverless Architectures on AWS: With examples using AWS Lambda . Manning Publications, Shelter Island, NY . Peter Sbarski. 2017. Serverless Architectures on AWS: With examples using AWS Lambda. Manning Publications, Shelter Island, NY."},{"key":"e_1_2_1_56_1","unstructured":"Serverless Inc. 2017. Serverless Examples. https:\/\/github.com\/serverless\/examples .  Serverless Inc. 2017. Serverless Examples. https:\/\/github.com\/serverless\/examples ."},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268975"},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/2398856.2364557"},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034675.2034688"},{"key":"e_1_2_1_60_1","unstructured":"TechRepublic. 2017. Massive Amazon S3 leaks highlight user blind spots in enterprise race to the cloud. https:\/\/www. techrepublic.com\/article\/massive- amazon- s3- breaches- highlight- blind- spots- in- enterprise- race- to- the- cloud\/ .  TechRepublic. 2017. Massive Amazon S3 leaks highlight user blind spots in enterprise race to the cloud. https:\/\/www. techrepublic.com\/article\/massive- amazon- s3- breaches- highlight- blind- spots- in- enterprise- race- to- the- cloud\/ ."},{"key":"e_1_2_1_61_1","unstructured":"The Register. 2011. RSA explains how attackers breached its systems. https:\/\/www.theregister.co.uk\/2011\/04\/04\/rsa_hack_ howdunnit\/ .  The Register. 2011. RSA explains how attackers breached its systems. https:\/\/www.theregister.co.uk\/2011\/04\/04\/rsa_hack_ howdunnit\/ ."},{"key":"e_1_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39038-8_7"},{"key":"e_1_2_1_63_1","unstructured":"VM2 2017. VM2. https:\/\/github.com\/patriksimek\/vm2 .  VM2 2017. VM2. https:\/\/github.com\/patriksimek\/vm2 ."},{"key":"e_1_2_1_64_1","unstructured":"Wikipedia. 2017a. Anthem medical data breach. https:\/\/en.wikipedia.org\/wiki\/Anthem_medical_data_breach .  Wikipedia. 2017a. Anthem medical data breach. https:\/\/en.wikipedia.org\/wiki\/Anthem_medical_data_breach ."},{"key":"e_1_2_1_65_1","unstructured":"Wikipedia. 2017b. Sony Pictures hack. https:\/\/en.wikipedia.org\/wiki\/Sony_Pictures_hack .  Wikipedia. 2017b. Sony Pictures hack. https:\/\/en.wikipedia.org\/wiki\/Sony_Pictures_hack ."},{"key":"e_1_2_1_66_1","unstructured":"Wikipedia. 2017c. Yahoo! data breaches. https:\/\/en.wikipedia.org\/wiki\/Yahoo!_data_breaches .  Wikipedia. 2017c. Yahoo! data breaches. https:\/\/en.wikipedia.org\/wiki\/Yahoo!_data_breaches ."},{"key":"e_1_2_1_67_1","unstructured":"Wired. 2016. Inside the Cyberattack That Shocked the US Government. https:\/\/www.wired.com\/2016\/10\/ inside- cyberattack- shocked- us- government\/ .  Wired. 2016. Inside the Cyberattack That Shocked the US Government. https:\/\/www.wired.com\/2016\/10\/ inside- cyberattack- shocked- us- government\/ ."},{"key":"e_1_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908098"},{"key":"e_1_2_1_69_1","volume-title":"Proc. of NSDI","author":"Zaharia Matei","year":"2012","unstructured":"Matei Zaharia , Mosharaf Chowdhury , Tathagata Das , Ankur Dave , Justin Ma , Murphy McCauley , Michael J. Franklin , Scott Shenker , and Ion Stoica . 2012 . Resilient Distributed Datasets: A Fault-tolerant Abstraction for In-memory Cluster Computing . In Proc. of NSDI 2012. San Jose, CA. Matei Zaharia, Mosharaf Chowdhury, Tathagata Das, Ankur Dave, Justin Ma, Murphy McCauley, Michael J. Franklin, Scott Shenker, and Ion Stoica. 2012. Resilient Distributed Datasets: A Fault-tolerant Abstraction for In-memory Cluster Computing. In Proc. of NSDI 2012. San Jose, CA."},{"key":"e_1_2_1_71_1","unstructured":"ZDNet. 2015. Anatomy of the Target data breach: Missed opportunities and lessons learned. http:\/\/www.zdnet.com\/article\/ anatomy- of- the- target- data- breach- missed- opportunities- and- lessons- learned\/ .  ZDNet. 2015. Anatomy of the Target data breach: Missed opportunities and lessons learned. http:\/\/www.zdnet.com\/article\/ anatomy- of- the- target- data- breach- missed- opportunities- and- lessons- learned\/ ."},{"key":"e_1_2_1_72_1","unstructured":"ZDNet. 2016. AdultFriendFinder network hack exposes 412 million accounts. http:\/\/www.zdnet.com\/article\/ adultfriendfinder- network- hack- exposes- secrets- of- 412- million- users .  ZDNet. 2016. AdultFriendFinder network hack exposes 412 million accounts. http:\/\/www.zdnet.com\/article\/ adultfriendfinder- network- hack- exposes- secrets- of- 412- million- users ."}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3276488","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3276488","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:01:58Z","timestamp":1750208518000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3276488"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,24]]},"references-count":70,"journal-issue":{"issue":"OOPSLA","published-print":{"date-parts":[[2018,10,24]]}},"alternative-id":["10.1145\/3276488"],"URL":"https:\/\/doi.org\/10.1145\/3276488","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,10,24]]},"assertion":[{"value":"2018-10-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}