12. CCS 2005: Alexandria, VA, USA

Vijay Atluri, Catherine Meadows, Ari Juels (Eds.): Proceedings of the 12th ACM Conference on Computer and Communications Security, CCS 2005, Alexandria, VA, USA, November 7-11, 2005. ACM 2005, ISBN 1-59593-226-7 BibTeX

Keynote address

W. Douglas Maughan:
Homeland security: cyber security R&D initiatives. 1
Electronic Edition (ACM DL) BibTeX

Formal analysis of crypto protocols

Changhua He, Mukund Sundararajan, Anupam Datta, Ante Derek, John C. Mitchell:
A modular correctness proof of IEEE 802.11i and TLS. 2-15
Electronic Edition (ACM DL) BibTeX
Mathieu Baudet:
Deciding security of protocols against off-line guessing attacks. 16-25
Electronic Edition (ACM DL) BibTeX
Peeter Laud:
Secrecy types for a simulatable cryptographic library. 26-35
Electronic Edition (ACM DL) BibTeX

Trust management

Keith Irwin, Ting Yu:
Preventing attribute information leakage in automated trust negotiation. 36-45
Electronic Edition (ACM DL) BibTeX
Jiangtao Li, Ninghui Li, William H. Winsborough:
Automated trust negotiation using cryptographic credentials. 46-57
Electronic Edition (ACM DL) BibTeX
Mohamed Shehab, Elisa Bertino, Arif Ghafoor:
Secure collaboration in mediator-free environments. 58-67
Electronic Edition (ACM DL) BibTeX

Privacy and anonymity

Qiang Huang, David Jao, Helen J. Wang:
Applications of secure electronic voting to automated privacy-preserving troubleshooting. 68-80
Electronic Edition (ACM DL) BibTeX
Xinyuan Wang, Shiping Chen, Sushil Jajodia:
Tracking anonymous peer-to-peer VoIP calls on the internet. 81-91
Electronic Edition (ACM DL) BibTeX
Giuseppe Ateniese, Jan Camenisch, Breno de Medeiros:
Untraceable RFID tags via insubvertible encryption. 92-101
Electronic Edition (ACM DL) BibTeX
Arvind Narayanan, Vitaly Shmatikov:
Obfuscated databases and group privacy. 102-111
Electronic Edition (ACM DL) BibTeX

Authentication

Mario Di Raimondo, Rosario Gennaro:
New approaches for deniable authentication. 112-121
Electronic Edition (ACM DL) BibTeX
Jean-Pierre Seifert:
On authenticated computing and RSA-based authentication. 122-127
Electronic Edition (ACM DL) BibTeX
Meiyuan Zhao, Sean W. Smith, David M. Nicol:
Aggregated path authentication for efficient BGP security. 128-138
Electronic Edition (ACM DL) BibTeX
Onur Aciiçmez, Werner Schindler, Çetin Kaya Koç:
Improving Brumley and Boneh timing attack on unprotected SSL implementations. 139-146
Electronic Edition (ACM DL) BibTeX

Access control

Kevin Borders, Xin Zhao, Atul Prakash:
CPOL: high-performance policy evaluation. 147-157
Electronic Edition (ACM DL) BibTeX
Jason Crampton:
Understanding and developing role-based administrative models. 158-167
Electronic Edition (ACM DL) BibTeX
Marianne Winslett, Charles C. Zhang, Piero A. Bonatti:
PeerAccess: a logic for distributed authorization. 168-179
Electronic Edition (ACM DL) BibTeX

Key management, key exchange, & pseudo-random generation

Jonathan Katz, Ji Sun Shin:
Modeling insider attacks on group key-exchange protocols. 180-189
Electronic Edition (ACM DL) BibTeX
Mikhail J. Atallah, Keith B. Frikken, Marina Blanton:
Dynamic and efficient key management for access hierarchies. 190-202
Electronic Edition (ACM DL) BibTeX
Boaz Barak, Shai Halevi:
A model and architecture for pseudo-random generation with applications to /dev/random. 203-212
Electronic Edition (ACM DL) BibTeX

Intrusion detection and prevention

Zhenkai Liang, R. Sekar:
Fast and automated generation of attack signatures: a basis for building self-protecting servers. 213-222
Electronic Edition (ACM DL) BibTeX
Jun Xu, Peng Ning, Chongkyung Kil, Yan Zhai, Christopher Bookholt:
Automatic diagnosis and response to memory corruption vulnerabilities. 223-234
Electronic Edition (ACM DL) BibTeX
Jedidiah R. Crandall, Zhendong Su, Shyhtsun Felix Wu, Frederic T. Chong:
On deriving unknown vulnerabilities from zero-day polymorphic and metamorphic worm exploits. 235-248
Electronic Edition (ACM DL) BibTeX
Angelos Stavrou, Angelos D. Keromytis:
Countering DoS attacks with stateless multipath overlays. 249-259
Electronic Edition (ACM DL) BibTeX

Security for diffuse computing

Karl Krukow, Mogens Nielsen, Vladimiro Sassone:
A framework for concrete reputation-systems with applications to history-based access control. 260-269
Electronic Edition (ACM DL) BibTeX
Shai Rubin, Mihai Christodorescu, Vinod Ganapathy, Jonathon T. Giffin, Louis Kruger, Hao Wang, Nicholas Kidd:
An auctioning reputation system based on anomaly. 270-279
Electronic Edition (ACM DL) BibTeX
Matthew Yurkewych, Brian Neil Levine, Arnold L. Rosenberg:
On the cost-ineffectiveness of redundancy in commercial P2P computing. 280-288
Electronic Edition (ACM DL) BibTeX
Mudhakar Srivatsa, Ling Liu:
Securing publish-subscribe overlay services with EventGuard. 289-298
Electronic Edition (ACM DL) BibTeX

Cryptography

Craig Gentry, Philip D. MacKenzie, Zulfikar Ramzan:
Password authenticated key exchange using hidden smooth subgroups. 299-309
Electronic Edition (ACM DL) BibTeX
Giuseppe Ateniese, Susan Hohenberger:
Proxy re-signatures: new definitions, algorithms, and applications. 310-319
Electronic Edition (ACM DL) BibTeX
Xavier Boyen, Qixiang Mei, Brent Waters:
Direct chosen ciphertext security from identity-based techniques. 320-329
Electronic Edition (ACM DL) BibTeX

Automated analysis

Vinod Ganapathy, Trent Jaeger, Somesh Jha:
Automatic placement of authorization hooks in the linux security modules framework. 330-339
Electronic Edition (ACM DL) BibTeX
Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti:
Control-flow integrity. 340-353
Electronic Edition (ACM DL) BibTeX
Michael F. Ringenburg, Dan Grossman:
Preventing format-string attacks via automatic and efficient dynamic checking. 354-363
Electronic Edition (ACM DL) BibTeX

Attacking passwords and bringing down the network

Arvind Narayanan, Vitaly Shmatikov:
Fast dictionary attacks on passwords using time-space tradeoff. 364-372
Electronic Edition (ACM DL) BibTeX
Li Zhuang, Feng Zhou, J. D. Tygar:
Keyboard acoustic emanations revisited. 373-382
Electronic Edition (ACM DL) BibTeX
Rob Sherwood, Bobby Bhattacharjee, Ryan Braud:
Misbehaving TCP receivers can cause internet-wide congestion collapse. 383-392
Electronic Edition (ACM DL) BibTeX
William Enck, Patrick Traynor, Patrick McDaniel, Thomas F. La Porta:
Exploiting open functionality in SMS-capable cellular networks. 393-404
Electronic Edition (ACM DL) BibTeX

Industry track invited talks

Peter P. Swire:
Security market: incentives for disclosure of vulnerabilities. 405
Electronic Edition (ACM DL) BibTeX
Guido Appenzeller:
Identity-based encryption from algorithm to enterprise deployment. 406
Electronic Edition (ACM DL) BibTeX
Vance Bjorn:
Biometrics hit the mainstream: an analysis of security and privacy implications. 407
Electronic Edition (ACM DL) BibTeX