{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:11:24Z","timestamp":1750306284379,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,4,4]],"date-time":"2016-04-04T00:00:00Z","timestamp":1459728000000},"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":[[2016,4,4]]},"DOI":"10.1145\/2851613.2851800","type":"proceedings-article","created":{"date-parts":[[2016,6,2]],"date-time":"2016-06-02T19:23:42Z","timestamp":1464895422000},"page":"2071-2078","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Implementation-level analysis of the JavaScript helios voting client"],"prefix":"10.1145","author":[{"given":"Michael","family":"Backes","sequence":"first","affiliation":[{"name":"Saarland University"}]},{"given":"Christian","family":"Hammer","sequence":"additional","affiliation":[{"name":"Saarland University"}]},{"given":"David","family":"Pfaff","sequence":"additional","affiliation":[{"name":"Saarland University"}]},{"given":"Malte","family":"Skoruppa","sequence":"additional","affiliation":[{"name":"Saarland University"}]}],"member":"320","published-online":{"date-parts":[[2016,4,4]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Hardened Helios JavaScript client. https:\/\/infsec.cs. uni-saarland.de\/~skoruppa\/sac2016\/heliosbooth_sac.zip"},{"key":"e_1_3_2_1_2_1","unstructured":"Helios Github. https:\/\/github.com\/benadida\/helios-server."},{"key":"e_1_3_2_1_3_1","unstructured":"Should the IACR use e-voting for its elections? http:\/\/iacr.org\/elections\/eVoting\/."},{"key":"e_1_3_2_1_4_1","unstructured":"The open web application security project. https:\/\/owasp.org."},{"key":"e_1_3_2_1_5_1","unstructured":"Princeton Helios voting. https:\/\/princeton.heliosvoting.org\/."},{"key":"e_1_3_2_1_6_1","unstructured":"Rhino. https:\/\/developer.mozilla.org\/en\/docs\/Rhino."},{"key":"e_1_3_2_1_7_1","unstructured":"T. J. Watson Libraries for Analysis (WALA). http:\/\/wala.sf.net."},{"key":"e_1_3_2_1_8_1","unstructured":"You might not need jQuery. http:\/\/youmightnotneedjquery.com."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/1496711.1496734"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1855491.1855501"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2008.26"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/2041225.2041250"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34961-4_38"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/2028012.2028018"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11212-1_19"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2011.27"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1754542.1754554"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1576303.1576305"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/1924892.1924899"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32747-6_6"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/77606.77608"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336758"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025125"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03237-0_17"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/1888881.1888912"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2012.32"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292561"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/195274.195287"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032497.2032503"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/2534748.2534750"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37057-1_15"},{"key":"e_1_3_2_1_32_1","first-page":"141","volume-title":"6th International Verification Workshop, VERIFY 2010","author":"Wasserrab D.","year":"2010","unstructured":"D. Wasserrab and D. Lohner. Proving information flow noninterference by reusing a machine-checked correctness proof for slicing. In 6th International Verification Workshop, VERIFY 2010, pages 141--155, 2010."},{"key":"e_1_3_2_1_33_1","volume-title":"Program slices: Formal, psychological, and practical investigations of an automatic program abstraction method","author":"Weiser M. D.","year":"1979","unstructured":"M. D. Weiser. Program slices: Formal, psychological, and practical investigations of an automatic program abstraction method. 1979."}],"event":{"name":"SAC 2016: Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Pisa Italy","acronym":"SAC 2016"},"container-title":["Proceedings of the 31st Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2851613.2851800","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2851613.2851800","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:38:57Z","timestamp":1750221537000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2851613.2851800"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4,4]]},"references-count":33,"alternative-id":["10.1145\/2851613.2851800","10.1145\/2851613"],"URL":"https:\/\/doi.org\/10.1145\/2851613.2851800","relation":{},"subject":[],"published":{"date-parts":[[2016,4,4]]},"assertion":[{"value":"2016-04-04","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}