Abstract is missing.
- A New Framework for RFID PrivacyRobert H. Deng, Yingjiu Li, Moti Yung, Yunlei Zhao. 1-18 [doi]
- Readers Behaving Badly - Reader Revocation in PKI-Based RFID SystemsRishab Nithyanand, Gene Tsudik, Ersin Uzun. 19-36 [doi]
- Privacy-Preserving, Taxable Bank AccountsElli Androulaki, Binh Vo, Steven M. Bellovin. 37-54 [doi]
- Formal Analysis of Privacy for Vehicular Mix-ZonesMorten Dahl, Stéphanie Delaune, Graham Steel. 55-70 [doi]
- IntPatch: Automatically Fix Integer-Overflow-to-Buffer-Overflow Vulnerability at Compile-TimeChao Zhang, Tielei Wang, Tao Wei, Yu Chen, Wei Zou. 71-86 [doi]
- A Theory of Runtime Enforcement, with ResultsJay Ligatti, Srikar Reddy. 87-100 [doi]
- Enforcing Secure Object Initialization in JavaLaurent Hubert, Thomas P. Jensen, Vincent Monfort, David Pichardie. 101-115 [doi]
- Flexible Scheduler-Independent SecurityHeiko Mantel, Henning Sudbrock. 116-133 [doi]
- Secure Multiparty Linear Programming Using Fixed-Point ArithmeticOctavian Catrina, Sebastiaan de Hoogh. 134-150 [doi]
- A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-ProtocolsJosé Bacelar Almeida, Endre Bangerter, Manuel Barbosa, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider 0003. 151-167 [doi]
- Short Generic Transformation to Strongly Unforgeable Signature in the Standard ModelJoseph K. Liu, Man Ho Au, Willy Susilo, Jianying Zhou. 168-181 [doi]
- DR@FT: Efficient Remote Attestation Framework for Dynamic SystemsWenjuan Xu, Gail-Joon Ahn, Hongxin Hu, Xinwen Zhang, Jean-Pierre Seifert. 182-198 [doi]
- Website Fingerprinting and Identification Using Ordered Feature SequencesLiming Lu, Ee-Chien Chang, Mun Choon Chan. 199-214 [doi]
- Web Browser History Detection as a Real-World Privacy ThreatArtur Janc, Lukasz Olejnik. 215-231 [doi]
- On the Secrecy of Spread-Spectrum Flow WatermarksXiapu Luo, Junjie Zhang, Roberto Perdisci, Wenke Lee. 232-248 [doi]
- Traffic Analysis against Low-Latency Anonymity Networks Using Available Bandwidth EstimationSambuddho Chakravarty, Angelos Stavrou, Angelos D. Keromytis. 249-267 [doi]
- A Hierarchical Adaptive Probabilistic Approach for Zero Hour Phish DetectionGuang Xiang, Bryan A. Pendleton, Jason I. Hong, Carolyn Penstein Rosé. 268-285 [doi]
- Kamouflage: Loss-Resistant Password ManagementHristo Bojinov, Elie Bursztein, Xavier Boyen, Dan Boneh. 286-302 [doi]
- Sequential Protocol Composition in Maude-NPASantiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago. 303-318 [doi]
- Verifying Security Property of Peer-to-Peer Systems Using CSPTien Tuan Anh Dinh, Mark Ryan. 319-339 [doi]
- Modeling and Analyzing Security in the Presence of Compromising AdversariesDavid A. Basin, Cas J. F. Cremers. 340-356 [doi]
- On Bounding Problems of Quantitative Information FlowHirotoshi Yasuoka, Tachio Terauchi. 357-372 [doi]
- On E-Vote Integrity in the Case of Malicious Voter ComputersSven Heiberg, Helger Lipmaa, Filip van Laenen. 373-388 [doi]
- Election Verifiability in Electronic Voting ProtocolsSteve Kremer, Mark Ryan, Ben Smyth. 389-404 [doi]
- Pretty Good Democracy for More Expressive Voting SchemesJames Heather, Peter Y. A. Ryan, Vanessa Teague. 405-423 [doi]
- Efficient Multi-dimensional Key Management in Broadcast ServicesMarina Blanton, Keith B. Frikken. 424-440 [doi]
- Caught in the Maze of Security StandardsJan Meier, Dieter Gollmann. 441-454 [doi]
- User-Role Reachability Analysis of Evolving Administrative Role Based Access ControlMikhail I. Gofman, Ruiqi Luo, Ping Yang. 455-471 [doi]
- An Authorization Framework Resilient to Policy Evaluation FailuresJason Crampton, Michael Huth. 472-487 [doi]
- Optimistic Fair Exchange with Multiple ArbitersAlptekin Küpçü, Anna Lysyanskaya. 488-507 [doi]
- Speaker Recognition in Encrypted Voice StreamsMichael Backes, Goran Doychev, Markus Dürmuth, Boris Köpf. 508-523 [doi]
- Evaluating Adversarial PartitionsAndreas Pashalidis, Stefan Schiffner. 524-539 [doi]
- Providing Mobile Users Anonymity in Hybrid NetworksClaudio Agostino Ardagna, Sushil Jajodia, Pierangela Samarati, Angelos Stavrou. 540-557 [doi]
- Complexity of Anonymity for Security ProtocolsFerucio Laurentiu Tiplea, Loredana Vamanu, Cosmin Vårlan. 558-572 [doi]
- ::::k::::-Zero Day Safety: Measuring the Security Risk of Networks against Unknown AttacksLingyu Wang, Sushil Jajodia, Anoop Singhal, Steven Noel. 573-587 [doi]
- Are Security Experts Useful? Bayesian Nash Equilibria for Network Security Games with Limited InformationBenjamin Johnson, Jens Grossklags, Nicolas Christin, John Chuang. 588-606 [doi]
- RatFish: A File Sharing Protocol Provably Secure against Rational UsersMichael Backes, Oana Ciobotaru, Anton Krohmer. 607-625 [doi]
- A Service Dependency Model for Cost-Sensitive Intrusion ResponseNizar Kheir, Nora Cuppens-Boulahia, Frédéric Cuppens, Hervé Debar. 626-642 [doi]
- Secure Code Update for Embedded Devices via Proofs of Secure ErasureDaniele Perito, Gene Tsudik. 643-662 [doi]
- D(e|i)aling with VoIP: Robust Prevention of DIAL AttacksAlexandros Kapravelos, Iasonas Polakis, Elias Athanasopoulos, Sotiris Ioannidis, Evangelos P. Markatos. 663-678 [doi]
- Low-Cost Client Puzzles Based on Modular ExponentiationGhassan Karame, Srdjan Capkun. 679-697 [doi]
- Expressive, Efficient and Obfuscation Resilient Behavior Based IDSArnur G. Tokhtabayev, Victor A. Skormin, Andrey M. Dolgikh. 698-715 [doi]