{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:52Z","timestamp":1750220632199,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,15]],"date-time":"2020-11-15T00:00:00Z","timestamp":1605398400000},"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":[],"published-print":{"date-parts":[[2020,11,15]]},"DOI":"10.1145\/3426430.3429452","type":"proceedings-article","created":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T18:41:54Z","timestamp":1606243314000},"page":"7-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Gradual value-dependent information flow control"],"prefix":"10.1145","author":[{"given":"Eduardo","family":"Geraldo","sequence":"first","affiliation":[{"name":"NOVA-LINCS, Portugal \/ Nova University of Lisbon, Portugal"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,11,15]]},"reference":[{"unstructured":"J. Arthur and S. Azadegan. 2005. Spring framework for rapid open source J2EE Web application development: a case study ( SNPDSAWN'05). 90-95.  J. Arthur and S. Azadegan. 2005. Spring framework for rapid open source J2EE Web application development: a case study ( SNPDSAWN'05). 90-95.","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","volume-title":"Damien Octeau, and Patrick McDaniel.","author":"Arzt Steven","year":"2014","unstructured":"Steven Arzt , Siegfried Rasthofer , Christian Fritz , Eric Bodden , Alexandre Bartel , Jacques Klein , Yves Le Traon , Damien Octeau, and Patrick McDaniel. 2014 . FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps. In (PLDI '14). Steven Arzt, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre Bartel, Jacques Klein, Yves Le Traon, Damien Octeau, and Patrick McDaniel. 2014. FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps. In (PLDI'14)."},{"key":"e_1_3_2_1_3_1","volume-title":"Austin and Cormac Flanagan","author":"Thomas","year":"2009","unstructured":"Thomas H. Austin and Cormac Flanagan . 2009 . Eficient PurelyDynamic Information Flow Analysis (PLAS '09). Thomas H. Austin and Cormac Flanagan. 2009. Eficient PurelyDynamic Information Flow Analysis (PLAS '09)."},{"doi-asserted-by":"crossref","unstructured":"Niklas Broberg Bart van Delft and David Sands. 2013. Paragon for Practical Programming with Information-Flow Control. In Programming Languages and Systems.  Niklas Broberg Bart van Delft and David Sands. 2013. Paragon for Practical Programming with Information-Flow Control. In Programming Languages and Systems.","key":"e_1_3_2_1_4_1","DOI":"10.1145\/2637113.2637122"},{"doi-asserted-by":"crossref","unstructured":"Dorothy E. Denning. 1976. A Lattice Model of Secure Information Flow. Commun. ACM ( 1976 ) 236-243.  Dorothy E. Denning. 1976. A Lattice Model of Secure Information Flow. Commun. ACM ( 1976 ) 236-243.","key":"e_1_3_2_1_5_1","DOI":"10.1145\/360051.360056"},{"key":"e_1_3_2_1_6_1","volume-title":"Sheth","author":"Enck William","year":"2014","unstructured":"William Enck , Peter Gilbert , Byung-Gon Chun , Landon P. Cox , Jaeyeon Jung , Patrick McDaniel , and Anmol N . Sheth . 2014 . TaintDroid: An Information-Flow Tracking System for Realtime Privacy Monitoring on Smartphones. Commun. ACM ( 2014 ). William Enck, Peter Gilbert, Byung-Gon Chun, Landon P. Cox, Jaeyeon Jung, Patrick McDaniel, and Anmol N. Sheth. 2014. TaintDroid: An Information-Flow Tracking System for Realtime Privacy Monitoring on Smartphones. Commun. ACM ( 2014 )."},{"doi-asserted-by":"crossref","unstructured":"Lu\u00edsa Louren\u00e7o and Lu\u00eds Caires. 2015. Dependent Information Flow Types. SIGPLAN Not. ( 2015 ) 317-328.  Lu\u00edsa Louren\u00e7o and Lu\u00eds Caires. 2015. Dependent Information Flow Types. SIGPLAN Not. ( 2015 ) 317-328.","key":"e_1_3_2_1_7_1","DOI":"10.1145\/2775051.2676994"},{"doi-asserted-by":"crossref","unstructured":"Greg Morrisett David Walker Karl Crary and Neal Glew. 1999. From System F to Typed Assembly Language. ACM Trans. Program. Lang. Syst. ( 1999 ) 527-568.  Greg Morrisett David Walker Karl Crary and Neal Glew. 1999. From System F to Typed Assembly Language. ACM Trans. Program. Lang. Syst. ( 1999 ) 527-568.","key":"e_1_3_2_1_8_1","DOI":"10.1145\/319301.319345"},{"key":"e_1_3_2_1_9_1","volume-title":"Myers and Barbara Liskov","author":"Andrew","year":"2000","unstructured":"Andrew C. Myers and Barbara Liskov . 2000 . Protecting Privacy Using the Decentralized Label Model. ACM Trans. Softw. Eng. Methodol . ( 2000 ), 410-442. Andrew C. Myers and Barbara Liskov. 2000. Protecting Privacy Using the Decentralized Label Model. ACM Trans. Softw. Eng. Methodol. ( 2000 ), 410-442."},{"unstructured":"Andrew C. Myers Lantian Zheng Steve Zdancewic Stephen Chong and Nathaniel Nystrom. 2006. Jif 3.0: Java information flow. htp: \/\/www.cs.cornell.edu\/jif  Andrew C. Myers Lantian Zheng Steve Zdancewic Stephen Chong and Nathaniel Nystrom. 2006. Jif 3.0: Java information flow. htp: \/\/www.cs.cornell.edu\/jif","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","volume-title":"Hennessy","author":"Patterson David A.","year":"1990","unstructured":"David A. Patterson and John L . Hennessy . 1990 . Computer Architecture : A Quantitative Approach . David A. Patterson and John L. Hennessy. 1990. Computer Architecture: A Quantitative Approach."},{"doi-asserted-by":"crossref","unstructured":"Benjamin C. Pierce. 2004. Advanced Topics in Types and Programming Languages.  Benjamin C. Pierce. 2004. Advanced Topics in Types and Programming Languages.","key":"e_1_3_2_1_12_1","DOI":"10.7551\/mitpress\/1104.001.0001"},{"doi-asserted-by":"crossref","unstructured":"A. Sabelfeld and A. C. Myers. 2003. Language-based information-flow security. IEEE Journal on Selected Areas in Communications ( 2003 ).  A. Sabelfeld and A. C. Myers. 2003. Language-based information-flow security. IEEE Journal on Selected Areas in Communications ( 2003 ).","key":"e_1_3_2_1_13_1","DOI":"10.1109\/JSAC.2002.806121"},{"key":"e_1_3_2_1_14_1","volume-title":"In Scheme and Functional Programming Workshop. 81-92","author":"Siek Jeremy G.","year":"2006","unstructured":"Jeremy G. Siek . 2006 . Gradual typing for functional languages . In In Scheme and Functional Programming Workshop. 81-92 . Jeremy G. Siek. 2006. Gradual typing for functional languages. In In Scheme and Functional Programming Workshop. 81-92."},{"volume-title":"Proceedings of the ifrst APPSEM-II workshop. 152-165","author":"Simonet Vincent","unstructured":"Vincent Simonet . [n.d.]. Flow Caml in a Nutshell . In Proceedings of the ifrst APPSEM-II workshop. 152-165 . Vincent Simonet. [n.d.]. Flow Caml in a Nutshell. In Proceedings of the ifrst APPSEM-II workshop. 152-165.","key":"e_1_3_2_1_15_1"},{"doi-asserted-by":"crossref","unstructured":"Gregor Snelting Dennis Gifhorn J\u00fcrgen Graf Christian Hammer Martin Hecker Martin Mohr and Daniel Wasserrab. 2014. Checking Probabilistic Noninterference Using JOANA. it-Information Technology ( 2014 ).  Gregor Snelting Dennis Gifhorn J\u00fcrgen Graf Christian Hammer Martin Hecker Martin Mohr and Daniel Wasserrab. 2014. Checking Probabilistic Noninterference Using JOANA. it-Information Technology ( 2014 ).","key":"e_1_3_2_1_16_1","DOI":"10.1515\/itit-2014-1051"},{"doi-asserted-by":"crossref","unstructured":"Mat\u00edas Toro Ronald Garcia and \u00c9ric Tanter. 2018. Type-Driven Gradual Security with References. ACM Transactions on Programming Languages and Systems ( 2018 ).  Mat\u00edas Toro Ronald Garcia and \u00c9ric Tanter. 2018. Type-Driven Gradual Security with References. ACM Transactions on Programming Languages and Systems ( 2018 ).","key":"e_1_3_2_1_17_1","DOI":"10.1145\/3229061"},{"volume-title":"Soot-a Java Bytecode Optimization Framework (CASCON '99)","author":"Vall\u00e9e-Rai Raja","unstructured":"Raja Vall\u00e9e-Rai , Phong Co , Etienne Gagnon , Laurie Hendren , Patrick Lam , and Vijay Sundaresan . 1999. Soot-a Java Bytecode Optimization Framework (CASCON '99) . IBM Press . Raja Vall\u00e9e-Rai, Phong Co, Etienne Gagnon, Laurie Hendren, Patrick Lam, and Vijay Sundaresan. 1999. Soot-a Java Bytecode Optimization Framework (CASCON '99). IBM Press.","key":"e_1_3_2_1_18_1"},{"key":"e_1_3_2_1_19_1","volume-title":"PLID'04)","author":"Zdancewic Steve","year":"2004","unstructured":"Steve Zdancewic . 2004 . Challenges for information-flow security . PLID'04) ( 2004 ). Steve Zdancewic. 2004. Challenges for information-flow security. PLID'04) ( 2004 )."}],"event":{"sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"acronym":"SPLASH '20","name":"SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity","location":"Virtual USA"},"container-title":["Companion Proceedings of the 2020 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3426430.3429452","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3426430.3429452","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:01:45Z","timestamp":1750197705000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3426430.3429452"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,15]]},"references-count":19,"alternative-id":["10.1145\/3426430.3429452","10.1145\/3426430"],"URL":"https:\/\/doi.org\/10.1145\/3426430.3429452","relation":{},"subject":[],"published":{"date-parts":[[2020,11,15]]},"assertion":[{"value":"2020-11-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}