Financial Cryptography and Data Security

Secure Computation with Fixed-Point Numbers

Catrina, Octavian (et al.)

Pages 35-50

Implementing a High-Assurance Smart-Card OS

Karger, Paul A. (et al.)

Pages 51-65

Unlinkable Priced Oblivious Transfer with Rechargeable Wallets

Camenisch, Jan (et al.)

Pages 66-81

Multiple Denominations in E-cash with Compact Transaction Data

Canard, Sébastien (et al.)

Pages 82-97

What’s in a Name?

Bonneau, Joseph (et al.)

Pages 98-113

Cryptographic Protocol Analysis of AN.ON

Westermann, Benedikt (et al.)

Pages 114-128

A CDH-Based Ring Signature Scheme with Short Signatures and Public Keys

Schäge, Sven (et al.)

Pages 129-142

Practical Private Set Intersection Protocols with Linear Complexity

Cristofaro, Emiliano (et al.)

Pages 143-159

Design and Implementation of a Key-Lifecycle Management System

Björkqvist, Mathias (et al.)

Pages 160-174

Measuring the Perpetrators and Funders of Typosquatting

Moore, Tyler (et al.)

Pages 175-191

A Learning-Based Approach to Reactive Security

Barth, Adam (et al.)

Pages 192-206

Embedded SFE: Offloading Server and Network Using Hardware Tokens

Järvinen, Kimmo (et al.)

Pages 207-221

The Phish-Market Protocol: Securely Sharing Attack Data between Competitors

Moran, Tal (et al.)

Pages 222-237

Building Incentives into Tor

“Johnny” Ngan, Tsuen-Wan (et al.)

Pages 238-256

Tree-Homomorphic Encryption and Scalable Hierarchical Secret-Ballot Elections

Kiayias, Aggelos (et al.)

Pages 257-271

Automatically Preparing Safe SQL Queries

Bisht, Prithvi (et al.)

Pages 272-288

PKI Layer Cake: New Collision Attacks against the Global X.509 Infrastructure

Kaminsky, Dan (et al.)

Pages 289-303

Three-Round Abuse-Free Optimistic Contract Signing with Everlasting Secrecy

Chen, Xiaofeng (et al.)

Pages 304-311

Designing for Audit: A Voting Machine with a Tiny TCB

Gardner, Ryan W. (et al.)

Pages 312-319

Attacking of SmartCard-Based Banking Applications with JavaScript-Based Rootkits

Bußmeyer, Daniel (et al.)

Pages 320-327

Security Applications of Diodes with Unique Current-Voltage Characteristics

Rührmair, Ulrich (et al.)

Pages 328-335

Verified by Visa and MasterCard SecureCode: Or, How Not to Design Authentication

Murdoch, Steven J. (et al.)

Pages 336-342

All You Can Eat or Breaking a Real-World Contactless Payment System

Kasper, Timo (et al.)

Pages 343-350

Shoulder-Surfing Safe Login in a Partially Observable Attacker Model

Perković, Toni (et al.)

Pages 351-358

Using Sphinx to Improve Onion Routing Circuit Construction

Kate, Aniket (et al.)

Pages 359-366

Secure Multiparty AES

Damgård, Ivan (et al.)

Pages 367-374

Modulo Reduction for Paillier Encryptions and Application to Secure Statistical Analysis

Guajardo, Jorge (et al.)

Pages 375-382

On Robust Key Agreement Based on Public Key Authentication

Hao, Feng

Pages 383-390

A Formal Approach for Automated Reasoning about Off-Line and Undetectable On-Line Guessing

Groza, Bogdan (et al.)

Pages 391-399

Signatures of Reputation

Bethencourt, John (et al.)

Pages 400-407

Intention-Disguised Algorithmic Trading

Yuen, William (et al.)

Pages 408-415

When Information Improves Information Security

Grossklags, Jens (et al.)

Pages 416-423

BetterThanPin: Empowering Users to Fight Phishing (Poster)

Tan, Teik Guan

Pages 424-424

Certification Intermediaries and the Alternative (Poster)

Chia, Pern Hui

Pages 425-425

SeDiCi: An Authentication Service Taking Advantage of Zero-Knowledge Proofs

Grzonkowski, Sławomir

Pages 426-426

Poster Abstract: Security in Commercial Applications of Vehicular Ad-Hoc Networks

Caballero-Gil, Pino (et al.)

Pages 427-427

Domain Engineering for Automatic Analysis of Financial Applications of Cryptographic Protocols

Georgieva, Lilia

Pages 428-428

hPIN/hTAN: Low-Cost e-Banking Secure against Untrusted Computers

Li, Shujun (et al.)

Pages 429-429