{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,26]],"date-time":"2026-09-26T04:18:47Z","timestamp":1790396327553,"version":"4.1.0"},"publisher-location":"Cham","reference-count":52,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030171377","type":"print"},{"value":"9783030171384","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-17138-4_3","type":"book-chapter","created":{"date-parts":[[2019,4,2]],"date-time":"2019-04-02T14:04:43Z","timestamp":1554213883000},"page":"51-75","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["A Dependently Typed Library for Static Information-Flow Control in Idris"],"prefix":"10.1007","author":[{"given":"Simon","family":"Gregersen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S\u00f8ren Eller","family":"Thomsen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Aslan","family":"Askarov","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2019,4,3]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/978-3-540-88313-5_22","volume-title":"Computer Security - ESORICS 2008","author":"A Askarov","year":"2008","unstructured":"Askarov, A., Hunt, S., Sabelfeld, A., Sands, D.: Termination-insensitive noninterference leaks more than just a bit. In: Jajodia, S., Lopez, J. (eds.) ESORICS 2008. LNCS, vol. 5283, pp. 333\u2013348. Springer, Heidelberg (2008). \n                    https:\/\/doi.org\/10.1007\/978-3-540-88313-5_22"},{"key":"3_CR2","doi-asserted-by":"publisher","unstructured":"Askarov, A., Myers, A.C.: Attacker control and impact for confidentiality and integrity. Log. Methods Comput. Sci. 7(3) (2011). \n                    https:\/\/doi.org\/10.2168\/LMCS-7(3:17)2011","DOI":"10.2168\/LMCS-7(3:17)2011"},{"key":"3_CR3","doi-asserted-by":"publisher","unstructured":"Askarov, A., Sabelfeld, A.: Gradual release: unifying declassification, encryption and key release policies. In: 2007 IEEE Symposium on Security and Privacy (S&P 2007), Oakland, California, USA, 20\u201323 May 2007, pp. 207\u2013221. IEEE Computer Society (2007). \n                    https:\/\/doi.org\/10.1109\/SP.2007.22","DOI":"10.1109\/SP.2007.22"},{"key":"3_CR4","doi-asserted-by":"publisher","unstructured":"Askarov, A., Sabelfeld, A.: Localized delimited release: combining the what and where dimensions of information release. In: Hicks, M.W. (ed.) Proceedings of the 2007 Workshop on Programming Languages and Analysis for Security, PLAS 2007, San Diego, California, USA, 14 June 2007, pp. 53\u201360. ACM (2007). \n                    https:\/\/doi.org\/10.1145\/1255329.1255339","DOI":"10.1145\/1255329.1255339"},{"key":"3_CR5","doi-asserted-by":"publisher","unstructured":"Askarov, A., Sabelfeld, A.: Tight enforcement of information-release policies for dynamic languages. In: Proceedings of the 22nd IEEE Computer Security Foundations Symposium, CSF 2009, Port Jefferson, New York, USA, 8\u201310 July 2009, pp. 43\u201359. IEEE Computer Society (2009). \n                    https:\/\/doi.org\/10.1109\/CSF.2009.22","DOI":"10.1109\/CSF.2009.22"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Bastys, I., Piessens, F., Sabelfeld, A.: Prudent design principles for information flow control. In: Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, pp. 17\u201323. ACM (2018)","DOI":"10.1145\/3264820.3264824"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Bell, D.E., La Padula, L.J.: Secure computer system: unified exposition and multics interpretation. Technical report. MITRE Corp., Bedford, MA (1976)","DOI":"10.21236\/ADA023588"},{"key":"3_CR8","doi-asserted-by":"publisher","unstructured":"Brady, E.: IDRIS\u2014systems programming meets full dependent types. In: Jhala, R., Swierstra, W. (eds.) Proceedings of the 5th ACM Workshop Programming Languages meets Program Verification, PLPV 2011, Austin, TX, USA, 29 January 2011, pp. 43\u201354. ACM (2011). \n                    https:\/\/doi.org\/10.1145\/1929529.1929536","DOI":"10.1145\/1929529.1929536"},{"issue":"5","key":"3_CR9","doi-asserted-by":"publisher","first-page":"552","DOI":"10.1017\/S095679681300018X","volume":"23","author":"E Brady","year":"2013","unstructured":"Brady, E.: Idris, a general-purpose dependently typed programming language: design and implementation. J. Funct. Program. 23(5), 552\u2013593 (2013). \n                    https:\/\/doi.org\/10.1017\/S095679681300018X","journal-title":"J. Funct. Program."},{"key":"3_CR10","unstructured":"Brady, E.: State machines all the way down, January 2016. \n                    http:\/\/idris-lang.org\/drafts\/sms.pdf"},{"key":"3_CR11","doi-asserted-by":"publisher","unstructured":"Buiras, P., Vytiniotis, D., Russo, A.: HLIO: mixing static and dynamic typing for information-flow control in Haskell. In: Fisher, K., Reppy, J.H. (eds.) Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, Vancouver, BC, Canada, 1\u20133 September 2015, pp. 289\u2013301. ACM (2015). \n                    https:\/\/doi.org\/10.1145\/2784731.2784758","DOI":"10.1145\/2784731.2784758"},{"key":"3_CR12","doi-asserted-by":"publisher","unstructured":"Chapman, R., Hilton, A.: Enforcing security and safety models with an information flow analysis tool. In: McCormick, J.W., Sward, R.E. (eds.) Proceedings of the 2004 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems Using Ada and Related Technologies 2004, Atlanta, GA, USA, 14 November 2004, pp. 39\u201346. ACM (2004). \n                    https:\/\/doi.org\/10.1145\/1032297.1032305","DOI":"10.1145\/1032297.1032305"},{"issue":"2\/3","key":"3_CR13","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0890-5401(88)90005-3","volume":"76","author":"T Coquand","year":"1988","unstructured":"Coquand, T., Huet, G.P.: The calculus of constructions. Inf. Comput. 76(2\/3), 95\u2013120 (1988). \n                    https:\/\/doi.org\/10.1016\/0890-5401(88)90005-3","journal-title":"Inf. Comput."},{"issue":"7","key":"3_CR14","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1145\/359636.359712","volume":"20","author":"DE Denning","year":"1977","unstructured":"Denning, D.E., Denning, P.J.: Certification of programs for secure information flow. Commun. ACM 20(7), 504\u2013513 (1977). \n                    https:\/\/doi.org\/10.1145\/359636.359712","journal-title":"Commun. ACM"},{"key":"3_CR15","unstructured":"Gregersen, S., Thomsen, S.E., Askarov, A.: A dependently typed library for static information-flow control in Idris (2019). \n                    arXiv:1902.06590"},{"issue":"1","key":"3_CR16","doi-asserted-by":"publisher","first-page":"5:1","DOI":"10.1145\/1410234.1410239","volume":"12","author":"JY Halpern","year":"2008","unstructured":"Halpern, J.Y., O\u2019Neill, K.R.: Secrecy in multiagent systems. ACM Trans. Inf. Syst. Secur. 12(1), 5:1\u20135:47 (2008). \n                    https:\/\/doi.org\/10.1145\/1410234.1410239","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"3_CR17","doi-asserted-by":"publisher","unstructured":"Hedin, D., Birgisson, A., Bello, L., Sabelfeld, A.: JSFlow: tracking information flow in Javascript and its APIs. In: Cho, Y., Shin, S.Y., Kim, S., Hung, C., Hong, J. (eds.) Symposium on Applied Computing, SAC 2014, Gyeongju, Republic of Korea, 24\u201328 March 2014, pp. 1663\u20131671. ACM (2014). \n                    https:\/\/doi.org\/10.1145\/2554850.2554909","DOI":"10.1145\/2554850.2554909"},{"issue":"1\u20133","key":"3_CR18","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/S0167-6423(99)00023-4","volume":"37","author":"J Hughes","year":"2000","unstructured":"Hughes, J.: Generalising monads to arrows. Sci. Comput. Program. 37(1\u20133), 67\u2013111 (2000). \n                    https:\/\/doi.org\/10.1016\/S0167-6423(99)00023-4","journal-title":"Sci. Comput. Program."},{"key":"3_CR19","doi-asserted-by":"publisher","unstructured":"Li, P., Zdancewic, S.: Downgrading policies and relaxed noninterference. In: Palsberg, J., Abadi, M. (eds.) Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, 12\u201314 January 2005, pp. 158\u2013170. ACM (2005). \n                    https:\/\/doi.org\/10.1145\/1040305.1040319","DOI":"10.1145\/1040305.1040319"},{"key":"3_CR20","doi-asserted-by":"publisher","unstructured":"Li, P., Zdancewic, S.: Encoding information flow in Haskell. In: 19th IEEE Computer Security Foundations Workshop (CSFW-19 2006), Venice, Italy, 5\u20137 July 2006, p. 16. IEEE Computer Society (2006). \n                    https:\/\/doi.org\/10.1109\/CSFW.2006.13","DOI":"10.1109\/CSFW.2006.13"},{"issue":"19","key":"3_CR21","doi-asserted-by":"publisher","first-page":"1974","DOI":"10.1016\/j.tcs.2010.01.025","volume":"411","author":"P Li","year":"2010","unstructured":"Li, P., Zdancewic, S.: Arrows for secure information flow. Theor. Comput. Sci. 411(19), 1974\u20131994 (2010). \n                    https:\/\/doi.org\/10.1016\/j.tcs.2010.01.025","journal-title":"Theor. Comput. Sci."},{"key":"3_CR22","doi-asserted-by":"publisher","unstructured":"Liu, J., George, M.D., Vikram, K., Qi, X., Waye, L., Myers, A.C.: Fabric: a platform for secure distributed computation and storage. In: Matthews, J.N., Anderson, T.E. (eds.) Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, SOSP 2009, Big Sky, Montana, USA, 11\u201314 October 2009, pp. 321\u2013334. ACM (2009). \n                    https:\/\/doi.org\/10.1145\/1629575.1629606","DOI":"10.1145\/1629575.1629606"},{"key":"3_CR23","doi-asserted-by":"publisher","unstructured":"Louren\u00e7o, L., Caires, L.: Dependent information flow types. In: Rajamani, S.K., Walker, D. (eds.) Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, 15\u201317 January 2015, pp. 317\u2013328. ACM (2015). \n                    https:\/\/doi.org\/10.1145\/2676726.2676994","DOI":"10.1145\/2676726.2676994"},{"key":"3_CR24","volume-title":"Intuitionistic Type Theory","author":"P Martin-L\u00f6f","year":"1984","unstructured":"Martin-L\u00f6f, P., Sambin, G.: Intuitionistic Type Theory, vol. 9. Bibliopolis, Naples (1984)"},{"key":"3_CR25","doi-asserted-by":"publisher","unstructured":"Morgenstern, J., Licata, D.R.: Security-typed programming within dependently typed programming. In: Hudak, P., Weirich, S. (eds.) Proceeding of the 15th ACM SIGPLAN International Conference on Functional Programming, ICFP 2010, Baltimore, Maryland, USA, 27\u201329 September 2010, pp. 169\u2013180. ACM (2010). \n                    https:\/\/doi.org\/10.1145\/1863543.1863569","DOI":"10.1145\/1863543.1863569"},{"key":"3_CR26","doi-asserted-by":"publisher","unstructured":"Myers, A.C.: JFlow: practical mostly-static information flow control. In: Appel, A.W., Aiken, A. (eds.) Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1999, San Antonio, TX, USA, 20\u201322 January 1999, pp. 228\u2013241. ACM (1999). \n                    https:\/\/doi.org\/10.1145\/292540.292561","DOI":"10.1145\/292540.292561"},{"issue":"4","key":"3_CR27","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1145\/363516.363526","volume":"9","author":"AC Myers","year":"2000","unstructured":"Myers, A.C., Liskov, B.: Protecting privacy using the decentralized label model. ACM Trans. Softw. Eng. Methodol. 9(4), 410\u2013442 (2000). \n                    https:\/\/doi.org\/10.1145\/363516.363526","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"3_CR28","doi-asserted-by":"publisher","unstructured":"Myers, A.C., Sabelfeld, A., Zdancewic, S.: Enforcing robust declassification. In: 17th IEEE Computer Security Foundations Workshop (CSFW-17 2004), Pacific Grove, CA, USA, 28\u201330 June 2004, pp. 172\u2013186. IEEE Computer Society (2004). \n                    https:\/\/doi.org\/10.1109\/CSFW.2004.9","DOI":"10.1109\/CSFW.2004.9"},{"key":"3_CR29","unstructured":"Myers, A.C., Zheng, L., Zdancewic, S., Chong, S., Nystrom, N.: Jif 3.0: Java information flow, July 2006"},{"key":"3_CR30","doi-asserted-by":"publisher","unstructured":"Nanevski, A., Banerjee, A., Garg, D.: Verification of information flow and access control policies with dependent types. In: 32nd IEEE Symposium on Security and Privacy, S&P 2011, Berkeley, California, USA, 22\u201325 May 2011, pp. 165\u2013179. IEEE Computer Society (2011). \n                    https:\/\/doi.org\/10.1109\/SP.2011.12","DOI":"10.1109\/SP.2011.12"},{"key":"3_CR31","volume-title":"Programming in Martin-L\u00f6f\u2019s Type Theory: An Introduction","author":"B Nordstr\u00f6m","year":"1990","unstructured":"Nordstr\u00f6m, B., Petersson, K., Smith, J.M.: Programming in Martin-L\u00f6f\u2019s Type Theory: An Introduction. Clarendon Press, New York (1990)"},{"key":"3_CR32","unstructured":"Norell, U.: Towards a Practical Programming Language Based on Dependent Type Theory, vol. 32. Citeseer (2007)"},{"key":"3_CR33","doi-asserted-by":"publisher","unstructured":"Rajani, V., Garg, D.: Types for information flow control: labeling granularity and semantic models. In: 31st IEEE Computer Security Foundations Symposium, CSF 2018, Oxford, United Kingdom, 9\u201312 July 2018, pp. 233\u2013246. IEEE Computer Society (2018). \n                    https:\/\/doi.org\/10.1109\/CSF.2018.00024","DOI":"10.1109\/CSF.2018.00024"},{"key":"3_CR34","doi-asserted-by":"publisher","unstructured":"Russo, A.: Functional pearl: two can keep a secret, if one of them uses Haskell. In: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, Vancouver, BC, Canada, 1\u20133 September 2015, pp. 280\u2013288 (2015). \n                    https:\/\/doi.org\/10.1145\/2784731.2784756","DOI":"10.1145\/2784731.2784756"},{"key":"3_CR35","doi-asserted-by":"publisher","unstructured":"Russo, A., Claessen, K., Hughes, J.: A library for light-weight information-flow security in Haskell. In: Gill, A. (ed.) Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008, pp. 13\u201324. ACM (2008). \n                    https:\/\/doi.org\/10.1145\/1411286.1411289","DOI":"10.1145\/1411286.1411289"},{"issue":"1","key":"3_CR36","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1109\/JSAC.2002.806121","volume":"21","author":"A Sabelfeld","year":"2003","unstructured":"Sabelfeld, A., Myers, A.C.: Language-based information-flow security. IEEE J. Sel. Areas Commun. 21(1), 5\u201319 (2003). \n                    https:\/\/doi.org\/10.1109\/JSAC.2002.806121","journal-title":"IEEE J. Sel. Areas Commun."},{"key":"3_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-540-37621-7_9","volume-title":"Software Security - Theories and Systems","author":"A Sabelfeld","year":"2004","unstructured":"Sabelfeld, A., Myers, A.C.: A model for delimited information release. In: Futatsugi, K., Mizoguchi, F., Yonezaki, N. (eds.) ISSS 2003. LNCS, vol. 3233, pp. 174\u2013191. Springer, Heidelberg (2004). \n                    https:\/\/doi.org\/10.1007\/978-3-540-37621-7_9"},{"key":"3_CR38","doi-asserted-by":"publisher","unstructured":"Sabelfeld, A., Sands, D.: Dimensions and principles of declassification. In: 18th IEEE Computer Security Foundations Workshop (CSFW-18 2005), Aix-en-Provence, France, 20\u201322 June 2005, pp. 255\u2013269. IEEE Computer Society (2005). \n                    https:\/\/doi.org\/10.1109\/CSFW.2005.15","DOI":"10.1109\/CSFW.2005.15"},{"key":"3_CR39","unstructured":"Simonet, V.: Flow Caml in a nutshell. In: Hutton, G. (ed.) Proceedings of the first APPSEM-II Workshop, Nottingham, United Kingdom, March 2003"},{"key":"3_CR40","doi-asserted-by":"publisher","first-page":"e5","DOI":"10.1017\/S0956796816000241","volume":"27","author":"D Stefan","year":"2017","unstructured":"Stefan, D., Mazi\u00e8res, D., Mitchell, J.C., Russo, A.: Flexible dynamic information flow control in the presence of exceptions. J. Funct. Program. 27, e5 (2017). \n                    https:\/\/doi.org\/10.1017\/S0956796816000241","journal-title":"J. Funct. Program."},{"key":"3_CR41","doi-asserted-by":"publisher","unstructured":"Stefan, D., Russo, A., Buiras, P., Levy, A., Mitchell, J.C., Mazi\u00e8res, D.: Addressing covert termination and timing channels in concurrent information flow systems. In: Thiemann, P., Findler, R.B. (eds.) ACM SIGPLAN International Conference on Functional Programming, ICFP 2012, Copenhagen, Denmark, 9\u201315 September 2012, pp. 201\u2013214. ACM (2012). \n                    https:\/\/doi.org\/10.1145\/2364527.2364557","DOI":"10.1145\/2364527.2364557"},{"key":"3_CR42","doi-asserted-by":"publisher","unstructured":"Stefan, D., Russo, A., Mitchell, J.C., Mazi\u00e8res, D.: Flexible dynamic information flow control in Haskell. In: Claessen, K. (ed.) Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, Haskell 2011, Tokyo, Japan, 22 September 2011, pp. 95\u2013106. ACM (2011). \n                    https:\/\/doi.org\/10.1145\/2034675.2034688","DOI":"10.1145\/2034675.2034688"},{"key":"3_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/978-3-642-11957-6_28","volume-title":"Programming Languages and Systems","author":"N Swamy","year":"2010","unstructured":"Swamy, N., Chen, J., Chugh, R.: Enforcing stateful authorization and information flow policies in Fine. In: Gordon, A.D. (ed.) ESOP 2010. LNCS, vol. 6012, pp. 529\u2013549. Springer, Heidelberg (2010). \n                    https:\/\/doi.org\/10.1007\/978-3-642-11957-6_28"},{"key":"3_CR44","doi-asserted-by":"publisher","unstructured":"Swamy, N., Chen, J., Fournet, C., Strub, P., Bhargavan, K., Yang, J.: Secure distributed programming with value-dependent types. In: Chakravarty, M.M.T., Hu, Z., Danvy, O. (eds.) Proceeding of the 16th ACM SIGPLAN International Conference on Functional Programming, ICFP 2011, Tokyo, Japan, 19\u201321 September 2011, pp. 266\u2013278. ACM (2011). \n                    https:\/\/doi.org\/10.1145\/2034773.2034811","DOI":"10.1145\/2034773.2034811"},{"key":"3_CR45","doi-asserted-by":"publisher","unstructured":"Tsai, T., Russo, A., Hughes, J.: A library for secure multi-threaded information flow in Haskell. In: 20th IEEE Computer Security Foundations Symposium, CSF 2007, Venice, Italy, 6\u20138 July 2007, pp. 187\u2013202. IEEE Computer Society (2007). \n                    https:\/\/doi.org\/10.1109\/CSF.2007.6","DOI":"10.1109\/CSF.2007.6"},{"key":"3_CR46","doi-asserted-by":"publisher","unstructured":"Vassena, M., Russo, A.: On formalizing information-flow control libraries. In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, 24 October 2016, pp. 15\u201328 (2016). \n                    https:\/\/doi.org\/10.1145\/2993600.2993608","DOI":"10.1145\/2993600.2993608"},{"key":"3_CR47","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1016\/j.jlamp.2017.12.003","volume":"95","author":"M Vassena","year":"2018","unstructured":"Vassena, M., Russo, A., Buiras, P., Waye, L.: MAC a verified static information-flow control library. J. Log. Algebr. Methods Program. 95, 148\u2013180 (2018). \n                    http:\/\/www.sciencedirect.com\/science\/article\/pii\/S235222081730069X","journal-title":"J. Log. Algebr. Methods Program."},{"issue":"POPL","key":"3_CR48","doi-asserted-by":"publisher","first-page":"76:1","DOI":"10.1145\/2694344.2694372","volume":"3","author":"M Vassena","year":"2019","unstructured":"Vassena, M., Russo, A., Garg, D., Rajani, V., Stefan, D.: From fine- to coarse-grained dynamic information flow control and back. PACMPL 3(POPL), 76:1\u201376:31 (2019). \n                    https:\/\/doi.org\/10.1145\/2694344.2694372","journal-title":"PACMPL"},{"key":"3_CR49","doi-asserted-by":"publisher","unstructured":"Zdancewic, S., Myers, A.C.: Robust declassification. In: 14th IEEE Computer Security Foundations Workshop (CSFW-14 2001), Cape Breton, Nova Scotia, Canada, 11\u201313 June 2001, pp. 15\u201323. IEEE Computer Society (2001). \n                    https:\/\/doi.org\/10.1109\/CSFW.2001.930133","DOI":"10.1109\/CSFW.2001.930133"},{"key":"3_CR50","doi-asserted-by":"publisher","unstructured":"Zhang, D., Wang, Y., Suh, G.E., Myers, A.C.: A hardware design language for timing-sensitive information-flow security. In: \u00d6zturk, \u00d6., Ebcioglu, K., Dwarkadas, S. (eds.) Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2015, Istanbul, Turkey, 14\u201318 March 2015, pp. 503\u2013516. ACM (2015). \n                    https:\/\/doi.org\/10.1145\/2694344.2694372","DOI":"10.1145\/2694344.2694372"},{"key":"3_CR51","series-title":"IFIP International Federation for Information Processing","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/0-387-24098-5_3","volume-title":"Formal Aspects in Security and Trust","author":"L Zheng","year":"2005","unstructured":"Zheng, L., Myers, A.C.: Dynamic security labels and noninterference (extended abstract). In: Dimitrakos, T., Martinelli, F. (eds.) Formal Aspects in Security and Trust. IFIP, vol. 173, pp. 27\u201340. Springer, Boston (2005). \n                    https:\/\/doi.org\/10.1007\/0-387-24098-5_3"},{"issue":"2\u20133","key":"3_CR52","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/s10207-007-0019-9","volume":"6","author":"L Zheng","year":"2007","unstructured":"Zheng, L., Myers, A.C.: Dynamic security labels and static information flow control. Int. J. Inf. Secur. 6(2\u20133), 67\u201384 (2007). \n                    https:\/\/doi.org\/10.1007\/s10207-007-0019-9","journal-title":"Int. J. Inf. Secur."}],"container-title":["Lecture Notes in Computer Science","Principles of Security and Trust"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-17138-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T09:16:57Z","timestamp":1558343817000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-17138-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030171377","9783030171384"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-17138-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"3 April 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"POST","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Principles of Security and Trust","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Prague","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Czech Republic","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 April 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 April 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"post2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.etaps.org\/2019\/post","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}