{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,28]],"date-time":"2025-05-28T02:29:18Z","timestamp":1748399358762,"version":"3.28.0"},"reference-count":36,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/secpri.2004.1301316","type":"proceedings-article","created":{"date-parts":[[2004,6,10]],"date-time":"2004-06-10T10:19:45Z","timestamp":1086862785000},"page":"71-85","source":"Crossref","is-referenced-by-count":42,"title":["Symmetric encryption in automatic analyses for con .dentiality against active adversaries"],"prefix":"10.1109","author":[{"given":"P.","family":"Laud","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/509978.509980"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1145\/359636.359712"},{"key":"17","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/3-540-44647-8_2","article-title":"Universally composable commitments","volume":"2139","author":"canetti","year":"2001","journal-title":"Advances in Cryptology - CRYPTO 2001 21st Annual International Cryptology Conference"},{"key":"36","doi-asserted-by":"crossref","first-page":"167","DOI":"10.3233\/JCS-1996-42-304","article-title":"A sound type system for secure flow analysis","volume":"4","author":"volpano","year":"1996","journal-title":"Journal of Computer Security"},{"key":"18","first-page":"337","article-title":"Universally composable notions of key exchange and secure channels","volume":"2332","author":"canetti","year":"2002","journal-title":"Advances in Cryptology - EURO-CRYPT 2002 International Conference on the Theory and Application of Cryptographic Techniques"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1948.tb01338.x"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2004.1310742"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1145\/360051.360056"},{"key":"16","article-title":"A unified framework for analyzing security of protocols","volume":"8","author":"canetti","year":"2001","journal-title":"Electronic Colloquium on Computational Complexity (ECCC)"},{"key":"13","doi-asserted-by":"crossref","DOI":"10.1145\/888251.888252","article-title":"Automatic verification of cryptographic protocols: A logic programming approach (invited talk)","author":"blanchet","year":"2003","journal-title":"5th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP'03)"},{"key":"14","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/978-3-540-39650-5_16","article-title":"Symmetric authentication within a simulatable cryptographic library","volume":"2808","author":"backes","year":"2003","journal-title":"Computer Security ESORICS 2003 8th European Symposium on Research in Computer Security"},{"key":"11","first-page":"675","article-title":"Cryptographically sound and machine-assisted verification of security protocols","volume":"2607","author":"backes","year":"2003","journal-title":"STACS 2003 20th Annual Symposium on Theoretical Aspects of Computer Science Ser"},{"key":"12","doi-asserted-by":"crossref","DOI":"10.1145\/948109.948140","article-title":"A universally composable cryptographic library","author":"backes","year":"2003","journal-title":"Proceedings of the 10th ACM conference on Computer and communications security"},{"key":"21","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1007\/BFb0055718","article-title":"Relations among notions of security for public-key encryption schemes","volume":"1462","author":"bellare","year":"1998","journal-title":"Advances in Cryptology - CRYPTO '98 18th Annual International Cryptology Conference"},{"journal-title":"Computational Soundness of Formal Adversaries","year":"2002","author":"herzog","key":"20"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/168588.168596"},{"key":"23","doi-asserted-by":"crossref","first-page":"548","DOI":"10.1007\/978-3-540-45146-4_32","article-title":"Plaintext awareness via key registration","volume":"2729","author":"herzog","year":"2003","journal-title":"Advances in Cryptology - CRYPTO 2003 23rd Annual International Cryptology Conference"},{"key":"24","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1007\/3-540-44448-3_41","article-title":"Authenticated Encryption: Relations among Notions and Analysis of the Generic Composition Paradigm","volume":"1976","author":"bellare","year":"2000","journal-title":"Advances in Cryptology - ASIACRYPT 2000 6th International Conference on the Theory and Application of Cryptology and Information Security"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1997.646128"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/100216.100273"},{"key":"27","first-page":"433","article-title":"Non-interactive zero-knowledge proof of knowledge and chosen ciphertext attack","volume":"576","author":"rackoff","year":"1991","journal-title":"Advances in Cryptology CRYPTO '91 11th Annual International Cryptology Conference"},{"key":"28","doi-asserted-by":"crossref","first-page":"191","DOI":"10.3233\/JCS-1999-72-304","article-title":"Strand spaces: Proving security protocols correct","volume":"7","author":"thayer","year":"1999","journal-title":"Journal of Computer Security"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1145\/225058.225084"},{"journal-title":"Kru?ptograafiliste Protokollide Turvalisuse Analu?u?s (Security Analysis of Cryptographic Protocols)","year":"0","author":"hermann","key":"3"},{"key":"2","first-page":"82","article-title":"Formal eavesdropping and its computational interpretation","volume":"2215","author":"abadi","year":"2001","journal-title":"Theoretical Aspects of Computer Software 4th International Symposium TACS 2001"},{"journal-title":"Cryptographically Sound Analysis of Security Protocols","year":"2002","author":"backes","key":"10"},{"key":"1","first-page":"3","article-title":"Reconciling two views of cryptography (the computational soundness of formal encryption)","volume":"1872","author":"abadi","year":"2000","journal-title":"International Conference IFIP TCS 2000"},{"key":"30","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1109\/SFCS.1982.45","article-title":"Theory and applications of trapdoor functions (extended abstract)","author":"yao","year":"1982","journal-title":"23rd Annual Symposium on Foundations of Computer Science"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00095-7"},{"key":"6","first-page":"159","article-title":"Handling encryption in analyses for secure information flow","volume":"2618","year":"2003","journal-title":"Programming Languages and Systems 12th European Symposium on Programming 2003"},{"key":"32","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1145\/288090.288117","article-title":"A probabilistic poly-time framework for protocol analysis","author":"lincoln","year":"1998","journal-title":"CCS '98 Proceedings of the 5th ACM conference on Computer and communications security"},{"journal-title":"Computationally Secure Information Flow","year":"2002","key":"5"},{"key":"31","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1007\/BFb0054294","article-title":"A semantic approach to secure information flow","volume":"1422","author":"leino","year":"1998","journal-title":"Mathematics of Program Construction 98"},{"key":"4","article-title":"Symmetric encryption in automatic analyses for confidentiality against active adversaries","author":"laud","year":"2004","journal-title":"Cybernetica Tech Rep"},{"key":"9","first-page":"184","article-title":"A model for asynchronous reactive systems and its application to secure message transmission","year":"2001","journal-title":"2001 IEEE Symposium on Security and Privacy"},{"key":"8","first-page":"245","article-title":"Composition and integrity preservation of secure reactive systems","author":"pfitzmann","year":"2000","journal-title":"CCS 2000 Proceedings of the 7th ACM Conference on Computer and Communications Security"}],"event":{"name":"IEEE Symposium on Security and Privacy, 2004. 2004","location":"Berkeley, CA, USA"},"container-title":["IEEE Symposium on Security and Privacy, 2004. Proceedings. 2004"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9120\/28916\/01301316.pdf?arnumber=1301316","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,23]],"date-time":"2021-06-23T01:48:07Z","timestamp":1624412887000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1301316\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/secpri.2004.1301316","relation":{},"subject":[]}}