{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:02:59Z","timestamp":1729652579779,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/ccst.2017.8167844","type":"proceedings-article","created":{"date-parts":[[2017,12,7]],"date-time":"2017-12-07T18:28:21Z","timestamp":1512671301000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["Ensuring information security by using Haskell's advanced type system"],"prefix":"10.1109","author":[{"given":"Matteo","family":"Di Pirro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauro","family":"Conti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Riccardo","family":"Lazzeretti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Advanced Topics in Types and Programming Languages","year":"2005","author":"pierce","key":"ref10"},{"journal-title":"Ensuring information security by using haskell's advanced type system","year":"2017","author":"pirro","key":"ref11"},{"journal-title":"Jif Language-based Information-flow Security in Java","year":"2014","author":"pullicino","key":"ref12"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1145\/1543134.1411289","article-title":"A library for lightweight information-flow security in haskell","volume":"44","author":"russo","year":"2008","journal-title":"ACM SIGPLAN Notices"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2005.15"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2011.12.013"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.26"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500602"},{"key":"ref18","first-page":"152","article-title":"Flow caml in a nutshell","author":"simonet","year":"2003","journal-title":"Proceedings of the first APPSEM-II workshop"},{"key":"ref19","article-title":"Singleton kinds and singleton types","author":"stone","year":"2000","journal-title":"DTIC Document"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/360051.360056"},{"journal-title":"Ide plugins for detecting input-validation vulnerabilities","year":"2017","author":"baset","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(99)00023-4"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-015-5422-7"},{"key":"ref8","first-page":"12","article-title":"Encoding information flow in haskell","author":"li","year":"2006","journal-title":"19th IEEE Computer Security Foundations Workshop (CSFW'06)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84882-912-1_14"},{"journal-title":"Monad","year":"2017","key":"ref2"},{"journal-title":"Applicative functor","year":"2017","key":"ref1"},{"journal-title":"Dynamic Taint Analysis for Automatic Detection Analysis and Signature Generation of Exploits on Commodity Software","year":"2005","author":"newsome","key":"ref9"},{"key":"ref20","article-title":"Challenges for information-flow security","author":"zdancewic","year":"2004","journal-title":"Proc The 1st International Workshop on Programming Language Interference and Dependence"}],"event":{"name":"2017 International Carnahan Conference on Security Technology (ICCST)","start":{"date-parts":[[2017,10,23]]},"location":"Madrid","end":{"date-parts":[[2017,10,26]]}},"container-title":["2017 International Carnahan Conference on Security Technology (ICCST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8122075\/8167784\/08167844.pdf?arnumber=8167844","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,7]],"date-time":"2019-10-07T13:38:00Z","timestamp":1570455480000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8167844\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/ccst.2017.8167844","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}