Optimus Template

Sunday, 19 September 2010

Monday, 20 September 2010

• Welcome address, S. Katsikas, ESORICS-2010 General Chair

• Technical Program Overview, B. Preneel and D. Gritzalis, Program Committee Chairs

• Local arrangements, N. Kyrloglou and M. Theoharidou, Organizing Committee Chairs

• Deng R., Li Y., Yung M., Zhao Y., “A New Framework for RFID Privacy”

• Nithyanand R., Tsudik G., Uzun E., “Readers Behaving Badly: Reader Revocation in PKI-Based RFID Systems”

• Androulaki E., Vo B., Bellovin S., “Privacy-Preserving, Taxable Bank Accounts”

• Dahl M., Delaune S., Steel G., “Formal Analysis of Privacy for Vehicular Mix-Zones”

• Zhang C., Wang T., Wei T., Chen Y., Zou W., “IntPatch: Automatically Fix Integer-Overflow-to-Buffer-Overflow Vulnerability at Compile-Time”

• Ligatti J., Reddy S., “A Theory of Runtime Enforcement, with Results”

• Hubert L., Jensen T., Monfort V., Pichardie D., “Enforcing Secure Object Initialization in Java”

• Mantel H., Sudbrock H., “Flexible Scheduler-Independent Security”

• Catrina O., de Hoogh S., “Secure Multiparty Linear Programming Using Fixed-Point Arithmetic”

• Almeida J.-B., Bangerter E., Barbosa M., Krenn S., Sadeghi A.-R.; Schneider T., “A Certifying Compiler for Zero-Knowledge Proofs of Knowledge based on Σ-Protocols”

• Liu J., Au M.-H., Susilo W., Zhou J., “Short Generic Transformation to Strongly Unforgeable Signature in the Standard Model”

• Xu W., Ahn G.-J., Hu H., Zhang X., Seifert J.-P., “DR@FT: Efficient Remote Attestation Framework for Dynamics Systems”

Tuesday, 21 September 2010

• Lu L., Chang E.-C., Chan M.-C., “Website Fingerprinting and Identification Using Ordered Feature Sequences”

• Janc A., Olejnik L., “Web Browser History Detection as a Real-World Privacy Threat”

• Luo X., Zhang J., Perdisci R., Lee W., “On the Secrecy of Spread-Spectrum Flow Watermarks”

• Chakravarty S., Stavrou A., Keromytis A., “Traffic Analysis against Low-Latency Anonymity Networks Using Available Bandwidth Estimation”

• Helmbrecht U., ENISA, “Cryptography and Privacy in Cloud Computing”

• Xiang G., Pendleton B., Hong J., Rose C., “A Hierarchical Adaptive Probabilistic Approach for Zero Hour Phish Detection”

• Bojinov H., Bursztein E., Boneh D., Boyen X., “Kamouflage: Loss-Resistant Password Management”

• Escobar S., Meadows C., Meseguer J., Santiago S., “Sequential Protocol Composition in Maude-NPA”

• Dinh T.-T.-A., Ryan M., “Verifying Security Property of Peer-to-Peer Systems Using CSP”

• Basin D., Cremers C., “Modeling and Analyzing Security in the Presence of Compromising Adversaries”

• Yasuoka H., Terauchi T., “On Bounding Problems of Quantitative Information Flow”

• Heiberg S., Lipmaa H., van Laenen F., “On E-Vote Integrity in the Case of Malicious Voter Computers”

• Kremer S., Smyth B., Ryan M., “Election verifiability in electronic voting protocols”

• Heather J., Ryan P., Teague V., “Pretty Good Democracy for more expressive voting schemes”

• Blanton M., Frikken K., “Efficient Multi-Dimensional Key Management in Broadcast Services”

Wednesday, 22 September 2010

• Meier J., Gollmann D., “Caught in the Maze of Security Standards”

• Gofman M., Luo R., Yang P., “User-Role Reachability Analysis of Evolving Administrative Role Based Access Control”

• Crampton J., Huth M., “An Authorization Framework Resilient to Policy Evaluation Failures”

• Küpçü A., Lysyanskaya A., “Optimistic Fair Exchange with Multiple Arbiters”

• Backes M., Doychev G., Duermuth M., Koepf B., “Speaker Recognition in Encrypted Voice Streams”

• Pashalidis A., Schiffner S., “Evaluating Adversarial Partitions”

• Ardagna C., Jajodia S., Samarati P., Stavrou A., “Providing Mobile Users' Anonymity in Hybrid Networks”

• Tiplea F.-L., Vamanu L., Varlan C., “Complexity of Anonymity for Security Protocols”

• Wang L., Jajodia S., Singhal A., Noel S., “k-Zero Day Safety: Measuring the Security Risk of Networks against Unknown Attacks”

• Johnson B., Grossklags J., Christin N., Chuang J., “Are Security Experts Useful? Bayesian Nash Equilibria for Network Security Games with Limited Information”

• Backes M., Ciobotaru O., Krohmer A., “RatFish: A File Sharing Protocol Provably Secure Against Rational Users”

• Kheir N., Cuppens-Boulahia N., Cuppens F., Debar H., “A Comprehensive Approach for Cost-Sensitive Intrusion Response”

• Perito D., Tsudik G., “Secure Code Update for Embedded Devices via Proofs of Secure Erasure”

• Kapravelos A., Polakis I., Athanasopoulos E., Ioannidis S., Markatos E., “D(e|i)aling with VoIP: Robust Prevention of DIAL Attacks”

• Karame G., Capkun S., “Low-Cost Client Puzzles based on Modular Exponentiation”

• Tokhtabayev A., Skormin V., Dolgikh A., “Expressive, Efficient and Obfuscation Resilient Behavior Based IDS”