Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Computer Security - ESORICS 2010: 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings > A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Σ-Protocols
Computer Security - ESORICS 2010: 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings |
Dimitris Gritzalis; Bart Preneel; Marianthi Theoharidou
Springer Berlin Heidelberg
Computer Security - ESORICS 2010: 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Σ-Protocols
Authors

José Bacelar Almeida; Endre Bangerter; Manuel Barbosa; Stephan Krenn; Ahmad-Reza Sadeghi; Thomas Schneider

ARI Id

1664765800001_3128730

Access

Not Available Free

Pages

151-167

DOI

10.1007/978-3-642-15497-3_10

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-642-15497-3_10

Table of Contents of Book
Showing 1 to 20 of 44 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
A New Framework for RFID Privacy
Robert H. Deng; Yingjiu Li; Moti Yung; Yunlei Zhao
1-18
Readers Behaving Badly
Rishab Nithyanand; Gene Tsudik; Ersin Uzun
19-36
Privacy-Preserving, Taxable Bank Accounts
Elli Androulaki; Binh Vo; Steven Bellovin
37-54
Formal Analysis of Privacy for Vehicular Mix-Zones
Morten Dahl; Stéphanie Delaune; Graham Steel
55-70
IntPatch: Automatically Fix Integer-Overflow-to-Buffer-Overflow Vulnerability at Compile-Time
Chao Zhang; Tielei Wang; Tao Wei; Yu Chen; Wei Zou
71-86
A Theory of Runtime Enforcement, with Results
Jay Ligatti; Srikar Reddy
87-100
Enforcing Secure Object Initialization in Java
Laurent Hubert; Thomas Jensen; Vincent Monfort; David Pichardie
101-115
Flexible Scheduler-Independent Security
Heiko Mantel; Henning Sudbrock
116-133
Secure Multiparty Linear Programming Using Fixed-Point Arithmetic
Octavian Catrina; Sebastiaan de Hoogh
134-150
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Σ-Protocols
José Bacelar Almeida; Endre Bangerter; Manuel Barbosa; Stephan Krenn; Ahmad-Reza Sadeghi; Thomas Schneider
151-167
Short Generic Transformation to Strongly Unforgeable Signature in the Standard Model
Joseph K. Liu; Man Ho Au; Willy Susilo; Jianying Zhou
168-181
DR@FT: Efficient Remote Attestation Framework for Dynamic Systems
Wenjuan Xu; Gail-Joon Ahn; Hongxin Hu; Xinwen Zhang; Jean-Pierre Seifert
182-198
Website Fingerprinting and Identification Using Ordered Feature Sequences
Liming Lu; Ee-Chien Chang; Mun Choon Chan
199-214
Web Browser History Detection as a Real-World Privacy Threat
Artur Janc; Lukasz Olejnik
215-231
On the Secrecy of Spread-Spectrum Flow Watermarks
Xiapu Luo; Junjie Zhang; Roberto Perdisci; Wenke Lee
232-248
Traffic Analysis against Low-Latency Anonymity Networks Using Available Bandwidth Estimation
Sambuddho Chakravarty; Angelos Stavrou; Angelos D. Keromytis
249-267
A Hierarchical Adaptive Probabilistic Approach for Zero Hour Phish Detection
Guang Xiang; Bryan A. Pendleton; Jason Hong; Carolyn P. Rose
268-285
Kamouflage: Loss-Resistant Password Management
Hristo Bojinov; Elie Bursztein; Xavier Boyen; Dan Boneh
286-302
Sequential Protocol Composition in Maude-NPA
Santiago Escobar; Catherine Meadows; José Meseguer; Sonia Santiago
303-318
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 44 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings