{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:12:47Z","timestamp":1775873567344,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":49,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,11,3]],"date-time":"2014-11-03T00:00:00Z","timestamp":1414972800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100003339","name":"Consejo Superior de Investigaciones Cient\u00edficas","doi-asserted-by":"publisher","award":["Convocatoria 2012 Proyectos I + D"],"award-info":[{"award-number":["Convocatoria 2012 Proyectos I + D"]}],"id":[{"id":"10.13039\/501100003339","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,11,3]]},"DOI":"10.1145\/2660267.2660283","type":"proceedings-article","created":{"date-parts":[[2014,11,11]],"date-time":"2014-11-11T13:40:05Z","timestamp":1415713205000},"page":"1267-1279","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":84,"title":["System-level Non-interference for Constant-time Cryptography"],"prefix":"10.1145","author":[{"given":"Gilles","family":"Barthe","sequence":"first","affiliation":[{"name":"IMDEA Software Institute, Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gustavo","family":"Betarte","sequence":"additional","affiliation":[{"name":"Universidad de la Rep\u00fablica, Montevideo, Uruguay"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan","family":"Campo","sequence":"additional","affiliation":[{"name":"Universidad de la Rep\u00fablica, Montevideo, Uruguay"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos","family":"Luna","sequence":"additional","affiliation":[{"name":"Universidad de la Rep\u00fablica, Montevideo, Uruguay"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Pichardie","sequence":"additional","affiliation":[{"name":"ENS Rennes\/IRISA\/INRIA, Rennes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,11,3]]},"reference":[{"key":"e_1_3_2_1_1_1","series-title":"LNCS","first-page":"256","volume-title":"CT-RSA'08","author":"Acii\u00e7mez O.","year":"2008","unstructured":"O. Acii\u00e7mez and W. Schindler . A vulnerability in rsa implementations due to instruction cache analysis and its demonstration on openssl . In CT-RSA'08 , volume 4964 of LNCS , pages 256 -- 273 . Springer , 2008 . O. Acii\u00e7mez and W. Schindler. A vulnerability in rsa implementations due to instruction cache analysis and its demonstration on openssl. In CT-RSA'08, volume 4964 of LNCS, pages 256--273. Springer, 2008."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11967668_18"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/325694.325702"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2382196.2382271"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516652"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28641-4_20"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535839"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796804005453"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/2021296.2021322"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2012.17"},{"key":"e_1_3_2_1_12_1","volume-title":"System-level non-interference for constant-time cryptography (full version)","author":"Barthe G.","year":"2014","unstructured":"G. Barthe , G. Betarte , J. D. Campo , C. Luna , and D. Pichardie . System-level non-interference for constant-time cryptography (full version) , 2014 . G. Barthe, G. Betarte, J. D. Campo, C. Luna, and D. Pichardie. System-level non-interference for constant-time cryptography (full version), 2014."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/2033036.2033043"},{"key":"e_1_3_2_1_14_1","volume-title":"POST","author":"Barthe G.","year":"2014","unstructured":"G. Barthe , B. Kopf , L. Mauborgne , and M. Ochoa . Leakage resilience against concurrent cache attacks . In POST , 2014 . G. Barthe, B. Kopf, L. Mauborgne, and M. Ochoa. Leakage resilience against concurrent cache attacks. In POST, 2014."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1762174.1762189"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2006.13"},{"key":"e_1_3_2_1_17_1","volume-title":"Cache-timing attacks on AES","author":"Bernstein D. J.","year":"2005","unstructured":"D. J. Bernstein . Cache-timing attacks on AES , 2005 . Available from author's webpage. D. J. Bernstein. Cache-timing attacks on AES, 2005. Available from author's webpage."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706350"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/11894063_16"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARES.2012.63"},{"key":"e_1_3_2_1_21_1","volume-title":"INRIA","author":"Canteaut A.","year":"2006","unstructured":"A. Canteaut , C. Lauradoux , and A. Seznec . Understanding cache attacks. Rapport de recherche RR-5881 , INRIA , 2006 . A. Canteaut, C. Lauradoux, and A. Seznec. Understanding cache attacks. Rapport de recherche RR-5881, INRIA, 2006."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/2025968.2025977"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806643"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2009.19"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516702"},{"key":"e_1_3_2_1_26_1","first-page":"2013","article-title":"Cacheaudit: A tool for the static analysis of cache side channels","author":"Doychev G.","year":"2013","unstructured":"G. Doychev , D. Feld , B. Kopf , L. Mauborgne , and J. Reineke . Cacheaudit: A tool for the static analysis of cache side channels . In Usenix Security 2013 , 2013 . G. Doychev, D. Feld, B. Kopf, L. Mauborgne, and J. Reineke. Cacheaudit: A tool for the static analysis of cache side channels. In Usenix Security 2013, 2013.","journal-title":"Usenix Security"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2011.8"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOCS.2008.56"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2011.22"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04138-9_1"},{"key":"e_1_3_2_1_32_1","author":"Kelsey J.","year":"2000","unstructured":"J. Kelsey , B. Schneier , D. Wagner , and C. Hall . Side Channel Cryptanalysis of Product Ciphers. Journal of Computer Security, 8(2--3):141--158 , 2000 . J. Kelsey, B. Schneier, D. Wagner, and C. Hall. Side Channel Cryptanalysis of Product Ciphers. Journal of Computer Security, 8(2--3):141--158, 2000.","journal-title":"Journal of Computer Security, 8(2--3):141--158"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/512927.512945"},{"key":"e_1_3_2_1_34_1","first-page":"11","volume-title":"USENIX Security","author":"Kim T.","year":"2012","unstructured":"T. Kim , M. Peinado , and G. Mainar-Ruiz . Stealthmem: system-level protection against cache-based side channel attacks in the cloud . In USENIX Security 2012 , pages 11 -- 11 , Berkeley, CA , USA, 2012. USENIX Association . T. Kim, M. Peinado, and G. Mainar-Ruiz. Stealthmem: system-level protection against cache-based side channel attacks in the cloud. In USENIX Security 2012, pages 11--11, Berkeley, CA, USA, 2012. USENIX Association."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"key":"e_1_3_2_1_36_1","series-title":"LNCS","first-page":"104","volume-title":"CRYPTO'96","author":"Kocher P.","year":"1996","unstructured":"P. Kocher . Timing Attacks on Implementations of Diffe-Hellman , RSA , DSS, and Other Systems . In CRYPTO'96 , volume 1109 of LNCS , pages 104 -- 113 . Springer , 1996 . P. Kocher. Timing Attacks on Implementations of Diffe-Hellman, RSA, DSS, and Other Systems. In CRYPTO'96, volume 1109 of LNCS, pages 104--113. Springer, 1996."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10868-6_26"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111042"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2013.11"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/11734727_14"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.35"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1653662.1653687"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35308-6_5"},{"key":"e_1_3_2_1_44_1","volume-title":"Technical Report CSL-92-02","author":"Rushby J. M.","year":"1992","unstructured":"J. M. Rushby . Noninterference, Transitivity, and Channel-Control Security Policies . Technical Report CSL-92-02 , SRI International , 1992 . J. M. Rushby. Noninterference, Transitivity, and Channel-Control Security Policies. Technical Report CSL-92-02, SRI International, 1992."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.5555\/2033939.2033965"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1859204.1859226"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"crossref","unstructured":"D.\n      Stefan P.\n      Buiras E. Z.\n      Yang A.\n      Levy D.\n      Terei A.\n      Russo and \n      D.\n      Mazi\u00e8res\n  . \n  Eliminating cache-based timing attacks with instruction-based scheduling\n  . In J. Crampton S. Jajodia and K. Mayes editors ESORICS volume \n  8134\n   of \n  Lecture Notes in Computer Science pages \n  718\n  --\n  735\n  . \n  Springer 2013\n  .  D. Stefan P. Buiras E. Z. Yang A. Levy D. Terei A. Russo and D. Mazi\u00e8res. Eliminating cache-based timing attacks with instruction-based scheduling. In J. Crampton S. Jajodia and K. Mayes editors ESORICS volume 8134 of Lecture Notes in Computer Science pages 718--735. Springer 2013.","DOI":"10.1007\/978-3-642-40203-6_40"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00145-009-9049-y"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45238-6_6"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250662.1250723"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2046707.2046772"}],"event":{"name":"CCS'14: 2014 ACM SIGSAC Conference on Computer and Communications Security","location":"Scottsdale Arizona USA","acronym":"CCS'14","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2660267.2660283","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2660267.2660283","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:56:10Z","timestamp":1750229770000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2660267.2660283"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,3]]},"references-count":49,"alternative-id":["10.1145\/2660267.2660283","10.1145\/2660267"],"URL":"https:\/\/doi.org\/10.1145\/2660267.2660283","relation":{},"subject":[],"published":{"date-parts":[[2014,11,3]]},"assertion":[{"value":"2014-11-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}