{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:28:07Z","timestamp":1750220887258,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,8,19]],"date-time":"2019-08-19T00:00:00Z","timestamp":1566172800000},"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":[[2019,8,19]]},"DOI":"10.1145\/3343737.3343739","type":"proceedings-article","created":{"date-parts":[[2019,8,13]],"date-time":"2019-08-13T14:53:19Z","timestamp":1565707999000},"page":"76-83","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Using Inputs and Context to Verify User Intentions in Internet Services"],"prefix":"10.1145","author":[{"given":"He","family":"Shuang","sequence":"first","affiliation":[{"name":"University of Toronto"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Huang","sequence":"additional","affiliation":[{"name":"University of Toronto"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pushkar","family":"Bettadpur","sequence":"additional","affiliation":[{"name":"University of Toronto"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lianying","family":"Zhao","sequence":"additional","affiliation":[{"name":"University of Toronto"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivan","family":"Pustogarov","sequence":"additional","affiliation":[{"name":"University of Toronto"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Lie","sequence":"additional","affiliation":[{"name":"University of Toronto"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,8,19]]},"reference":[{"volume-title":"Trusted Third Parties, and Verified Communications. In Security and Protection in Information Processing Systems, Yves Deswarte, Fr\u00e9d\u00e9ric Cuppens","author":"Abadi Mart\u00edn","key":"e_1_3_2_1_1_1","unstructured":"Mart\u00edn Abadi . 2004. Trusted Computing , Trusted Third Parties, and Verified Communications. In Security and Protection in Information Processing Systems, Yves Deswarte, Fr\u00e9d\u00e9ric Cuppens , Sushil Jajodia, and Lingyu Wang (Eds.). Springer US , Boston, MA , 291--308. https:\/\/users.soe.ucsc.edu\/~abadi\/Papers\/verif.pdf Mart\u00edn Abadi. 2004. Trusted Computing, Trusted Third Parties, and Verified Communications. In Security and Protection in Information Processing Systems, Yves Deswarte, Fr\u00e9d\u00e9ric Cuppens, Sushil Jajodia, and Lingyu Wang (Eds.). Springer US, Boston, MA, 291--308. https:\/\/users.soe.ucsc.edu\/~abadi\/Papers\/verif.pdf"},{"key":"e_1_3_2_1_2_1","volume-title":"Retrieved","author":"AMD.","year":"2018","unstructured":"AMD. 2018 . AMD64 Architecture Programmer's Manual Volume 2: System Programming. (Sept 2018) . Retrieved Jan 17, 2019 from https:\/\/www.amd.com\/system\/files\/TechDocs\/24593.pdf AMD. 2018. AMD64 Architecture Programmer's Manual Volume 2: System Programming. (Sept 2018). Retrieved Jan 17, 2019 from https:\/\/www.amd.com\/system\/files\/TechDocs\/24593.pdf"},{"key":"e_1_3_2_1_3_1","volume-title":"How to Capture and Stream Gameplay Using Radeon ReLive. (Dec","author":"AMD.","year":"2018","unstructured":"AMD. 2018. How to Capture and Stream Gameplay Using Radeon ReLive. (Dec 2018 ). Retrieved July 6, 2019 from https:\/\/www.amd.com\/en\/support\/kb\/faq\/dh-023 AMD. 2018. How to Capture and Stream Gameplay Using Radeon ReLive. (Dec 2018). Retrieved July 6, 2019 from https:\/\/www.amd.com\/en\/support\/kb\/faq\/dh-023"},{"key":"e_1_3_2_1_4_1","volume-title":"Retrieved","author":"ARM.","year":"2009","unstructured":"ARM. 2009 . Arm Security Technology - Building a Secure System using TrustZone Technology. (April 2009) . Retrieved Jan 16, 2019 from http:\/\/infocenter.arm.com\/help\/index.jsp?topic=\/com.arm.doc.prd29-genc-009492c\/ch01s02s01.html ARM. 2009. Arm Security Technology - Building a Secure System using TrustZone Technology. (April 2009). Retrieved Jan 16, 2019 from http:\/\/infocenter.arm.com\/help\/index.jsp?topic=\/com.arm.doc.prd29-genc-009492c\/ch01s02s01.html"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2006.873601"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.31"},{"key":"e_1_3_2_1_7_1","volume-title":"Wagner","author":"Carlini Nicholas","year":"2016","unstructured":"Nicholas Carlini and David A . Wagner . 2016 . Towards Evaluating the Robustness of Neural Networks. CoRR abs\/1608.04644 (2016). arXiv:1608.04644 http:\/\/arxiv.org\/abs\/1608.04644 Nicholas Carlini and David A. Wagner. 2016. Towards Evaluating the Robustness of Neural Networks. CoRR abs\/1608.04644 (2016). arXiv:1608.04644 http:\/\/arxiv.org\/abs\/1608.04644"},{"volume-title":"Proceedings Eighth Workshop on Hot Topics in Operating Systems. 133--138","author":"Peter","key":"e_1_3_2_1_8_1","unstructured":"Peter M. Chen and Brian D. Noble. 2001. When virtual is better than real {operating system relocation to virtual machines} . In Proceedings Eighth Workshop on Hot Topics in Operating Systems. 133--138 . Peter M. Chen and Brian D. Noble. 2001. When virtual is better than real {operating system relocation to virtual machines}. In Proceedings Eighth Workshop on Hot Topics in Operating Systems. 133--138."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502042"},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the 2005 USENIX Annual Technical Conference. USENIX Association","author":"Cui Weidong","year":"2005","unstructured":"Weidong Cui , Randy H. Katz , and Wai-tian Tan. 2005 . BINDER: An Extrusion-based Break-In Detector for Personal Computers . In Proceedings of the 2005 USENIX Annual Technical Conference. USENIX Association , Berkeley, CA, USA. https:\/\/www.microsoft.com\/en-us\/research\/publication\/binder-anextrusion-based-break-in-detector-for-personal-computers\/ Weidong Cui, Randy H. Katz, and Wai-tian Tan. 2005. BINDER: An Extrusion-based Break-In Detector for Personal Computers. In Proceedings of the 2005 USENIX Annual Technical Conference. USENIX Association, Berkeley, CA, USA. https:\/\/www.microsoft.com\/en-us\/research\/publication\/binder-anextrusion-based-break-in-detector-for-personal-computers\/"},{"key":"e_1_3_2_1_11_1","volume-title":"Inside India's CAPTCHA solving economy. (Aug","author":"Danchev Dancho","year":"2018","unstructured":"Dancho Danchev . 2018. Inside India's CAPTCHA solving economy. (Aug 2018 ). Retrieved July 6, 2019 from https:\/\/www.zdnet.com\/article\/inside-indias-captcha-solving-economy\/ Dancho Danchev. 2018. Inside India's CAPTCHA solving economy. (Aug 2018). Retrieved July 6, 2019 from https:\/\/www.zdnet.com\/article\/inside-indias-captcha-solving-economy\/"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00036"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.39"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346303"},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI'09)","author":"Gummadi Ramakrishna","year":"2009","unstructured":"Ramakrishna Gummadi , Hari Balakrishnan , Petros Maniatis , and Sylvia Ratnasamy . 2009 . Not-a-Bot: Improving Service Availability in the Face of Botnet Attacks . In Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI'09) . USENIX Association, Berkeley, CA, USA, 307--320. http:\/\/dl.acm.org\/citation.cfm?id=1558977.1558998 Ramakrishna Gummadi, Hari Balakrishnan, Petros Maniatis, and Sylvia Ratnasamy. 2009. Not-a-Bot: Improving Service Availability in the Face of Botnet Attacks. In Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI'09). USENIX Association, Berkeley, CA, USA, 307--320. http:\/\/dl.acm.org\/citation.cfm?id=1558977.1558998"},{"key":"e_1_3_2_1_16_1","volume-title":"Clickjacking: Attacks and Defenses. In Presented as part of the 21st USENIX Security Symposium (USENIX Security 12)","author":"Huang Lin-Shung","year":"2012","unstructured":"Lin-Shung Huang , Alex Moshchuk , Helen J. Wang , Stuart Schecter , and Collin Jackson . 2012 . Clickjacking: Attacks and Defenses. In Presented as part of the 21st USENIX Security Symposium (USENIX Security 12) . USENIX , Bellevue, WA , 413--428. https:\/\/www.usenix.org\/conference\/usenixsecurity12\/technical-sessions\/presentation\/huang Lin-Shung Huang, Alex Moshchuk, Helen J. Wang, Stuart Schecter, and Collin Jackson. 2012. Clickjacking: Attacks and Defenses. In Presented as part of the 21st USENIX Security Symposium (USENIX Security 12). USENIX, Bellevue, WA, 413--428. https:\/\/www.usenix.org\/conference\/usenixsecurity12\/technical-sessions\/presentation\/huang"},{"volume-title":"Retrieved","year":"2010","key":"e_1_3_2_1_17_1","unstructured":"Intel. 2010 . Intel\u00ae Trusted Execution Technology: White Paper. (2010) . Retrieved Nov 15, 2018 from https:\/\/www.intel.com\/content\/www\/us\/en\/architecture-and-technology\/trusted-execution-technology\/trusted-execution-technology-security-paper.html Intel. 2010. Intel\u00ae Trusted Execution Technology: White Paper. (2010). Retrieved Nov 15, 2018 from https:\/\/www.intel.com\/content\/www\/us\/en\/architecture-and-technology\/trusted-execution-technology\/trusted-execution-technology-security-paper.html"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2014.45"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2014.23076"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3210240.3210330"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3102980.3102996"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/1496711.1496728"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.17"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1352592.1352625"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2487726.2488368"},{"volume-title":"Microsoft ClearType overview. (Oct","year":"2017","key":"e_1_3_2_1_26_1","unstructured":"Microsoft. 2017. Microsoft ClearType overview. (Oct 2017 ). Retrieved July 6, 2019 from https:\/\/docs.microsoft.com\/en-us\/typography\/cleartype\/ Microsoft. 2017. Microsoft ClearType overview. (Oct 2017). Retrieved July 6, 2019 from https:\/\/docs.microsoft.com\/en-us\/typography\/cleartype\/"},{"volume-title":"Proceedings of the 2003 International Conference on Computational Science and Its Applications: PartI (ICCSA'03)","author":"Subhas","key":"e_1_3_2_1_27_1","unstructured":"Subhas C. Misra and Virendra C. Bhavsar. 2003. Relationships Between Selected Software Measures and Latent Bug-density: Guidelines for Improving Quality . In Proceedings of the 2003 International Conference on Computational Science and Its Applications: PartI (ICCSA'03) . Springer-Verlag, Berlin, Heidelberg, 724--732. http:\/\/dl.acm.org\/citation.cfm?id=1756748.1756832 Subhas C. Misra and Virendra C. Bhavsar. 2003. Relationships Between Selected Software Measures and Latent Bug-density: Guidelines for Improving Quality. In Proceedings of the 2003 International Conference on Computational Science and Its Applications: PartI (ICCSA'03). Springer-Verlag, Berlin, Heidelberg, 724--732. http:\/\/dl.acm.org\/citation.cfm?id=1756748.1756832"},{"volume-title":"Record and Capture your Greatest Gaming Moments. (June","year":"2017","key":"e_1_3_2_1_28_1","unstructured":"Nvidia. 2017. Record and Capture your Greatest Gaming Moments. (June 2017 ). Retrieved July 6, 2019 from https:\/\/www.nvidia.com\/en-us\/geforce\/geforce-experience\/shadowplay\/ Nvidia. 2017. Record and Capture your Greatest Gaming Moments. (June 2017). Retrieved July 6, 2019 from https:\/\/www.nvidia.com\/en-us\/geforce\/geforce-experience\/shadowplay\/"},{"key":"e_1_3_2_1_29_1","volume-title":"Google's new CAPTCHA security login raises 'legitimate privacy concerns'. (Feb","author":"O'Reilly Lara","year":"2015","unstructured":"Lara O'Reilly . 2015. Google's new CAPTCHA security login raises 'legitimate privacy concerns'. (Feb 2015 ). Retrieved Dec 7, 2018 from https:\/\/www.businessinsider.com.au\/google-no-captcha-adtruth-privacy-research-2015-2 Lara O'Reilly. 2015. Google's new CAPTCHA security login raises 'legitimate privacy concerns'. (Feb 2015). Retrieved Dec 7, 2018 from https:\/\/www.businessinsider.com.au\/google-no-captcha-adtruth-privacy-research-2015-2"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3052973.3053009"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243785"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICIP.2000.899541"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508293.1508311"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2015.11"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945466"},{"key":"e_1_3_2_1_36_1","volume-title":"Retrieved","author":"Trusted Computing Group","year":"2016","unstructured":"Trusted Computing Group . 2016 . TPM 2.0 Library Specification. (2016) . Retrieved Nov 15, 2018 from https:\/\/trustedcomputinggroup.org\/resource\/tpm-library-specification\/ Trusted Computing Group. 2016. TPM 2.0 Library Specification. (2016). Retrieved Nov 15, 2018 from https:\/\/trustedcomputinggroup.org\/resource\/tpm-library-specification\/"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.36"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2014.27"}],"event":{"name":"APSys '19: 10th ACM SIGOPS Asia-Pacific Workshop on Systems","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Hangzhou China","acronym":"APSys '19"},"container-title":["Proceedings of the 10th ACM SIGOPS Asia-Pacific Workshop on Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3343737.3343739","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3343737.3343739","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:44:24Z","timestamp":1750203864000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3343737.3343739"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,19]]},"references-count":38,"alternative-id":["10.1145\/3343737.3343739","10.1145\/3343737"],"URL":"https:\/\/doi.org\/10.1145\/3343737.3343739","relation":{},"subject":[],"published":{"date-parts":[[2019,8,19]]},"assertion":[{"value":"2019-08-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}