{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:29:28Z","timestamp":1750307368203,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,6,10]],"date-time":"2010-06-10T00:00:00Z","timestamp":1276128000000},"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":[[2010,6,10]]},"DOI":"10.1145\/1814217.1814219","type":"proceedings-article","created":{"date-parts":[[2010,6,11]],"date-time":"2010-06-11T18:52:58Z","timestamp":1276282378000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Attack model for verification of interval security properties for smart card C codes"],"prefix":"10.1145","author":[{"given":"P.","family":"Berthom\u00e9","sequence":"first","affiliation":[{"name":"Centre-Val de Loire Universit\u00e9, Bourges, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Heydemann","sequence":"additional","affiliation":[{"name":"UPMC\/LIP6, Paris Cedex, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"X.","family":"Kauffmann-Tourkestansky","sequence":"additional","affiliation":[{"name":"Oberthur Technologies, Nanterre, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.-F.","family":"Lalande","sequence":"additional","affiliation":[{"name":"Centre-Val de Loire Universit\u00e9, Bourges, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,6,10]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Smartcard Integrated Circuit Protection Profile September 1998. PP\/9806. Smartcard Integrated Circuit Protection Profile September 1998. PP\/9806."},{"key":"e_1_3_2_1_2_1","volume-title":"Oakland","author":"Anderson R.","year":"1996","unstructured":"R. Anderson and M. Kuhn . Tamper resistance - a cautionary note. In The second USENIX Workshop on Electronic Commerce, pages 1--11 , Oakland , California , November 1996 . R. Anderson and M. Kuhn. Tamper resistance - a cautionary note. In The second USENIX Workshop on Electronic Commerce, pages 1--11, Oakland, California, November 1996."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2005.862424"},{"key":"e_1_3_2_1_4_1","volume-title":"CEA LIST and INRIA","author":"Baudin P.","year":"2009","unstructured":"P. Baudin , J.-C. Filli\u00e2tre , C. March\u00e9 , B. Monate , Y. Moy , and V. Prevosto . ACSL: ANSI\/ISO C specification language. Technical report , CEA LIST and INRIA , 2009 --2010. Preliminary Design ( v 1.4). P. Baudin, J.-C. Filli\u00e2tre, C. March\u00e9, B. Monate, Y. Moy, and V. Prevosto. ACSL: ANSI\/ISO C specification language. Technical report, CEA LIST and INRIA, 2009--2010. Preliminary Design (v 1.4)."},{"key":"e_1_3_2_1_5_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1007\/BFb0052259","volume-title":"Advances in Cryptology - CRYPTO '97","author":"Biham E.","year":"1997","unstructured":"E. Biham and A. Shamir . Differential fault analysis of secret key cryptosystems . In Advances in Cryptology - CRYPTO '97 , volume 1294 of Lecture Notes in Computer Science , pages 513 -- 525 , Santa Barbara, California, USA , August 1997 . Springer Berlin\/Heidelberg . E. Biham and A. Shamir. Differential fault analysis of secret key cryptosystems. In Advances in Cryptology - CRYPTO '97, volume 1294 of Lecture Notes in Computer Science, pages 513--525, Santa Barbara, California, USA, August 1997. Springer Berlin\/Heidelberg."},{"key":"e_1_3_2_1_6_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/3-540-69053-0_4","volume-title":"Advances in Cryptology - EUROCRYPT '97","author":"Boneh D.","year":"1997","unstructured":"D. Boneh , R. A. DeMillo , and R. J. Lipton . On the importance of checking cryptographic protocols for faults . In Advances in Cryptology - EUROCRYPT '97 , volume 1233 of Lecture Notes in Computer Science , pages 37 -- 51 , Konstanz, Germany, January 1997 . Springer Berlin\/Heidelberg . D. Boneh, R. A. DeMillo, and R. J. Lipton. On the importance of checking cryptographic protocols for faults. In Advances in Cryptology - EUROCRYPT '97, volume 1233 of Lecture Notes in Computer Science, pages 37--51, Konstanz, Germany, January 1997. Springer Berlin\/Heidelberg."},{"key":"e_1_3_2_1_7_1","volume-title":"CEA LIST","author":"Correnson L.","year":"2010","unstructured":"L. Correnson , P. Cuoq , A. Puccetti , and J. Signoles . Frama-C User Manual . CEA LIST , 2010 . L. Correnson, P. Cuoq, A. Puccetti, and J. Signoles. Frama-C User Manual. CEA LIST, 2010."},{"key":"e_1_3_2_1_8_1","volume-title":"CEA LIST","author":"Cuoq P.","year":"2010","unstructured":"P. Cuoq and V. Prevosto . Frama-C's value analysis plug-in. Technical report , CEA LIST , 2010 . P. Cuoq and V. Prevosto. Frama-C's value analysis plug-in. Technical report, CEA LIST, 2010."},{"key":"e_1_3_2_1_9_1","first-page":"55","volume-title":"Eurosmart Security Conference","author":"Hess E.","year":"2000","unstructured":"E. Hess , N. Janssen , B. Meyer , and T. Sch\u00fctze . Information leakage attacks against smart card implementations of cryptographic algorithms and countermeasures -- a survey . In Eurosmart Security Conference , pages 55 -- 64 , Marseilles, France , June 2000 . E. Hess, N. Janssen, B. Meyer, and T. Sch\u00fctze. Information leakage attacks against smart card implementations of cryptographic algorithms and countermeasures -- a survey. In Eurosmart Security Conference, pages 55--64, Marseilles, France, June 2000."},{"key":"e_1_3_2_1_10_1","first-page":"9","volume-title":"USENIX Workshop on Smartcard Technology","author":"K\u00f6mmerling O.","year":"1999","unstructured":"O. K\u00f6mmerling and M. G. Kuhn . Design principles for tamper-resistant smartcard processors . In USENIX Workshop on Smartcard Technology , pages 9 -- 20 , Chicago, Illinois, USA , May 1999 . O. K\u00f6mmerling and M. G. Kuhn. Design principles for tamper-resistant smartcard processors. In USENIX Workshop on Smartcard Technology, pages 9--20, Chicago, Illinois, USA, May 1999."},{"key":"e_1_3_2_1_11_1","volume-title":"Morgan Kaufmann","author":"Muchnick S. S.","year":"1998","unstructured":"S. S. Muchnick . Advanced Compiler Design and Implementation . Morgan Kaufmann , 1998 . S. S. Muchnick. Advanced Compiler Design and Implementation. Morgan Kaufmann, 1998."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/940322"},{"issue":"12","key":"e_1_3_2_1_13_1","first-page":"21","article-title":"Attack trees","volume":"24","author":"Schneier B.","year":"1999","unstructured":"B. Schneier . Attack trees . Dr. Dobb's journal , 24 ( 12 ): 21 -- 29 , 1999 . B. Schneier. Attack trees. Dr. Dobb's journal, 24(12):21--29, 1999.","journal-title":"Dr. Dobb's journal"},{"key":"e_1_3_2_1_14_1","first-page":"1","volume-title":"Foundations for Forgery-Resilient Cryptographic Hardware","author":"Teuwen P.","year":"2010","unstructured":"P. Teuwen . How to Make Smartcards Resistant to Hackers' Lightsabers? In J. Guajardo and B. Preneel and A.-R. Sadeghi and P. Tuyls, editor , Foundations for Forgery-Resilient Cryptographic Hardware , pages 1 -- 8 , Dagstuhl , 2010 . P. Teuwen. How to Make Smartcards Resistant to Hackers' Lightsabers? In J. Guajardo and B. Preneel and A.-R. Sadeghi and P. Tuyls, editor, Foundations for Forgery-Resilient Cryptographic Hardware, pages 1--8, Dagstuhl, 2010."}],"event":{"name":"PLDI '10: ACM SIGPLAN Conference on Programming Language Design and Implementation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Toronto Canada","acronym":"PLDI '10"},"container-title":["Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1814217.1814219","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1814217.1814219","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:22:46Z","timestamp":1750245766000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1814217.1814219"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6,10]]},"references-count":14,"alternative-id":["10.1145\/1814217.1814219","10.1145\/1814217"],"URL":"https:\/\/doi.org\/10.1145\/1814217.1814219","relation":{},"subject":[],"published":{"date-parts":[[2010,6,10]]},"assertion":[{"value":"2010-06-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}