{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:24:58Z","timestamp":1750307098765,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,10,16]],"date-time":"2012-10-16T00:00:00Z","timestamp":1350345600000},"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":[[2012,10,16]]},"DOI":"10.1145\/2382196.2382290","type":"proceedings-article","created":{"date-parts":[[2012,10,15]],"date-time":"2012-10-15T17:13:12Z","timestamp":1350321192000},"page":"894-905","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["TreeDroid"],"prefix":"10.1145","author":[{"given":"Mads","family":"Dam","sequence":"first","affiliation":[{"name":"KTH Royal Institute of Technology, Stockholm, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gurvan","family":"Le Guernic","sequence":"additional","affiliation":[{"name":"KTH Royal Institute of Technology, Stockholm, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Lundblad","sequence":"additional","affiliation":[{"name":"KTH Royal Institute of Technology, Stockholm, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,10,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68237-0_19"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1370175.1370213"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03013-0_10"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1655121.1655125"},{"key":"e_1_3_2_1_5_1","volume-title":"Tree automata techniques and applications. Available on: http:\/\/www.grappa.univ-lille3.fr\/tata","author":"Comon H.","year":"2007","unstructured":"H. Comon , M. Dauchet , R. Gilleron , C. L\u00f6ding , F. Jacquemard , D. Lugiez , S. Tison , and M. Tommasi . Tree automata techniques and applications. Available on: http:\/\/www.grappa.univ-lille3.fr\/tata , 2007 . release October, 12th 2007. H. Comon, M. Dauchet, R. Gilleron, C. L\u00f6ding, F. Jacquemard, D. Lugiez, S. Tison, and M. Tommasi. Tree automata techniques and applications. Available on: http:\/\/www.grappa.univ-lille3.fr\/tata, 2007. release October, 12th 2007."},{"key":"e_1_3_2_1_6_1","unstructured":"M. Dam B. Jacobs A. Lundblad and F. Piessens. Security monitor inlining and certification for multithreaded Java. To appear in Mathematical Structures in Computer Science.  M. Dam B. Jacobs A. Lundblad and F. Piessens. Security monitor inlining and certification for multithreaded Java. To appear in Mathematical Structures in Computer Science."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03013-0_25"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/1734234.1734235"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24851-4_21"},{"key":"e_1_3_2_1_10_1","first-page":"1","volume-title":"Proc. conf. Operating systems design and implementation, OSDI'10","author":"Enck W.","year":"2010","unstructured":"W. Enck , P. Gilbert , B.-G. Chun , L. P. Cox , J. Jung , P. McDaniel , and A. N. Sheth . Taintdroid: an information-flow tracking system for realtime privacy monitoring on smartphones . In Proc. conf. Operating systems design and implementation, OSDI'10 , pages 1 -- 6 , Berkeley, CA, USA , 2010 . USENIX Association. W. Enck, P. Gilbert, B.-G. Chun, L. P. Cox, J. Jung, P. McDaniel, and A. N. Sheth. Taintdroid: an information-flow tracking system for realtime privacy monitoring on smartphones. In Proc. conf. Operating systems design and implementation, OSDI'10, pages 1--6, Berkeley, CA, USA, 2010. USENIX Association."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2046614.2046618"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/641909.641912"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/646062.676173"},{"key":"e_1_3_2_1_15_1","volume-title":"Accessed","author":"Gartner I.","year":"2012","unstructured":"I. Gartner . Gartner says sales of mobile devices in second quarter of 2011 grew 16.5 percent year-on-year; smartphone sales grew 74 percent. http:\/\/www.gartner.com\/it\/page.jsp?id=1764714 . Accessed February 17, 2012 . I. Gartner. Gartner says sales of mobile devices in second quarter of 2011 grew 16.5 percent year-on-year; smartphone sales grew 74 percent. http:\/\/www.gartner.com\/it\/page.jsp?id=1764714. Accessed February 17, 2012."},{"key":"e_1_3_2_1_16_1","volume-title":"The Sixth NASA Langley Formal Methods Workshop (LFM 2008)","author":"Ghoshal S.","year":"2008","unstructured":"S. Ghoshal , S. Manimaran , G. Rosu , T. F.c Serbanuta , and G.c Stefanescu. Monitoring IVHM systems using a monitor-oriented programming framework . In The Sixth NASA Langley Formal Methods Workshop (LFM 2008) , 2008 . S. Ghoshal, S. Manimaran, G. Rosu, T. F.c Serbanuta, and G.c Stefanescu. Monitoring IVHM systems using a monitor-oriented programming framework. In The Sixth NASA Langley Formal Methods Workshop (LFM 2008), 2008."},{"key":"e_1_3_2_1_17_1","volume-title":"Accessed","author":"Inc. Google play: Bankdroid","year":"2012","unstructured":"Google, Inc. Google play: Bankdroid . https:\/\/play.google.com\/store\/apps\/details?id=com.liato.bankdroid . Accessed April 23, 2012 . Google, Inc. Google play: Bankdroid. https:\/\/play.google.com\/store\/apps\/details?id=com.liato.bankdroid. Accessed April 23, 2012."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSAC.2005.21"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375696.1375699"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134744.1134748"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-004-0046-8"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/1888881.1888889"},{"key":"e_1_3_2_1_24_1","volume-title":"TreeDroid: Tree Automaton Based Policy Inlining. https:\/\/sites.google.com\/site\/treedroidcasestudies. Accessed","author":"Lundblad A.","year":"2012","unstructured":"A. Lundblad and T. Andr\u00e9asson . TreeDroid: Tree Automaton Based Policy Inlining. https:\/\/sites.google.com\/site\/treedroidcasestudies. Accessed May 4, 2012 . A. Lundblad and T. Andr\u00e9asson. TreeDroid: Tree Automaton Based Policy Inlining. https:\/\/sites.google.com\/site\/treedroidcasestudies. Accessed May 4, 2012."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-010-0063-y"},{"key":"e_1_3_2_1_26_1","series-title":"EPTCS","first-page":"55","volume-title":"Proc. Work. Formal Languages and Analysis of Contract-Oriented Software","author":"Montazeri S. M.","year":"2011","unstructured":"S. M. Montazeri , N. Roy , and G. Schneider . From Contracts in Structured English to CL Specifications . In Proc. Work. Formal Languages and Analysis of Contract-Oriented Software , volume 68 of EPTCS , pages 55 -- 69 , M\u00e1laga , Spain, Sept 2011 . S. M. Montazeri, N. Roy, and G. Schneider. From Contracts in Structured English to CL Specifications. In Proc. Work. Formal Languages and Analysis of Contract-Oriented Software, volume 68 of EPTCS, pages 55--69, M\u00e1laga, Spain, Sept 2011."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_25"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1975.9939"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/353323.353382"},{"key":"e_1_3_2_1_30_1","first-page":"260","volume-title":"Proc. Asian Computing Science Conference","author":"Sen K.","year":"2004","unstructured":"K. Sen , G. Rosu , and G. Agha . Generating optimal linear temporal logic monitors by coinduction . In Proc. Asian Computing Science Conference , pages 260 -- 275 . Springer-Verlag , 2004 . K. Sen, G. Rosu, and G. Agha. Generating optimal linear temporal logic monitors by coinduction. In Proc. Asian Computing Science Conference, pages 260--275. Springer-Verlag, 2004."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312929"},{"key":"e_1_3_2_1_32_1","volume-title":"http:\/\/www.symantec.com\/security_response\/writeup.jsp?docid=2011-072806%-2905-99. Accessed","author":"Symantec Corporation","year":"2012","unstructured":"Symantec Corporation . Android.lovetrap. http:\/\/www.symantec.com\/security_response\/writeup.jsp?docid=2011-072806%-2905-99. Accessed May 3, 2012 . Symantec Corporation. Android.lovetrap. http:\/\/www.symantec.com\/security_response\/writeup.jsp?docid=2011-072806%-2905-99. Accessed May 3, 2012."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2011.26"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542486"},{"key":"e_1_3_2_1_35_1","first-page":"81","volume-title":"WOOT","author":"Vidas T.","year":"2011","unstructured":"T. Vidas , D. Votipka , and N. Christin . All your droid are belong to us: A survey of current android attacks . In WOOT , pages 81 -- 90 , 2011 . T. Vidas, D. Votipka, and N. Christin. All your droid are belong to us: A survey of current android attacks. In WOOT, pages 81--90, 2011."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/363516.363520"}],"event":{"name":"CCS'12: the ACM Conference on Computer and Communications Security","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Raleigh North Carolina USA","acronym":"CCS'12"},"container-title":["Proceedings of the 2012 ACM conference on Computer and communications security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2382196.2382290","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2382196.2382290","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:34:48Z","timestamp":1750239288000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2382196.2382290"}},"subtitle":["a tree automaton based approach to enforcing data processing policies"],"short-title":[],"issued":{"date-parts":[[2012,10,16]]},"references-count":34,"alternative-id":["10.1145\/2382196.2382290","10.1145\/2382196"],"URL":"https:\/\/doi.org\/10.1145\/2382196.2382290","relation":{},"subject":[],"published":{"date-parts":[[2012,10,16]]},"assertion":[{"value":"2012-10-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}