CACE - Publications

Publications

Public CACE Deliverables

1^st project year

D1.1 - Detailed CAO and qhasm language definitions

D2.1 - Prototype cryptography library

D2.2 - Prototype networking and cryptography library

D3.1 - Initial report on unified theoretical framework of efficient ZK-POK

D3.2 - Initial specification of protocol language

D3.3 - Prototype release of protocol language and runtime compiler

D4.1 - Applications of MPC

D4.2 - Domain specific language specifications with benchmark requirements

D4.3 - MPC virtual machine specification

D4.4 - Protocol requirements

D5.1 - Security policies for cryptographic software

M5.1 - End-user and partner meeting for security policy identification

M5.2 - Formal Verification and Validation Tool Specificiations

D6.1 - Project website and internal IT communication infrastructure

D6.2 - Project dissemination plan

D6.3 - First Periodic Report - Publishable Summary

2^nd project year

D1.2 Implementation of shared run-time library components in CAO and qhasm

D2.3 Networking and Cryptography library

D3.4 Initial specification of ZK-POK language and initial design of protocol compiler
D3.5 Final report on unified theoretical framework of efficient ZK-POK

D3.6 Prototype release of ZK-POK language and runtime compiler

D4.5 Compilers/Interpreters
D4.6 MPC virtual machine implementation

D5.2 Formal specification language definitions and security policy extensions

D6.4 Midterm standardisation report
D6.6 Annual reports according to EC regulations of the model contract

CACE Scientific Publications

WP-All Publications

E. Bangerter, M. Barbosa, D.J. Bernstein, I. Damgard, D.Page, J.I. Pagter, A.-R. Sadeghi, S. Sovio:

Using Compilers to Enhance Cryptographic Product Development.
Information Security Solutions Europe (ISSE), 291-301, 2010.

WP1 Publications

A. Moss, D. Page:

Program Interpolation.

Partial Evaluation and Program Manipulation (PEPM), 31-40, 2009.

M. Barbosa, A. Moss, D. Page:

Constructive and Destructive Use of Compilers in Elliptic Curve Cryptography

Journal of Cryptology,Vol 22, 259-281, 2009.

K.U. Järvinen:

On repeated squarings in binary fields .

Selected Areas in Cryptography (SAC), 331-349, 2009.

B.B. Brumley, K. Nyberg:

Cache-timing template attacks.

AsiaCrypt 2009, 667-684, 2010.

A. Moss, D. Page:

Bridging the gap between symbolic and efficient AES implementations.

Partial Evaluation and Program Manipulation (PEPM), 101-110, 2010.

WP2 Publications

D.J. Bernstein, P. Schwabe:

New AES Software Speed Records

INDOCRYPT 2008, 322-336, 2008.

M. Naehrig, P.S.L.M. Barreto, P. Schwabe:

On compressible pairings and their computation .

AfricaCrypt 2008, 371-388, 2008.

WP3 Publications

I. Damgård, J.B. Nielsen, D. Wichs:

Isolated proofs of knowledge and isolated zero-knowledge .

EuroCrypt 2008, 509-526, 2008.

E.Bangerter, J. Camenisch, S. Krenn, A.-R. Sadeghi, T.Schneider:

Automatic Generation of sound Zero-Knowledge Protocols.

EuroCrypt 2009, Poster Session

[Poster] [Extended Poster Abstract]

R. Cramer, I. Damgård:

On the Amortized Complexity of Zero-knowledge.

Crypto 2009, 177-191, 2009.

E. Bangerter, S. Barzan, S. Krenn, A.-R. Sadeghi, T. Schneider, J.-K. Tsay:
Bringing Zero-Knowledge Proofs of Knowledge to Practice.
To appear SPW 2009, 2009.

E. Bangerter, T. Briner, W. Henecka, S. Krenn, A.-R. Sadeghi, T. Schneider:
Automatic Generation of Sigma-Protocols.
To Appear EUROPKI 2009.

E. Ghadafi, N.P. Smart, B. Warinschi:

Practical zero-knowledge proofs for circuit evaluation.

Cryptography and Coding, 469-494, 2009.

E. Bangerter, J. Camenisch, and S. Krenn:

Efficiency Limitations for Sigma-Protocols for Group Homomorphisms

To Appear TCC 2010.

R. Bendlin and I. Damgård:

Threshold Decryption and Zero-Knowledge Proofs for Lattice-Based Cryptosystem.

To appear TCC 2010.

E. Cesena, H. Löhr, G. Ramunni, A.-R. Sadeghi, D. Vernizzi:

Anonymous Authentication with TLS and DAA.

TRUST 2010, 47-62, 2010.

J.B. Almeida, E. Bangerter, M. Barbosa, S. Krenn, A.-R. Sadeghi and T. Schneider:

A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols.

To Appear ESORICS 2010.

WP4 Publications

V. Kolesnikov, T. Schneider:
Improved Garbled Circuit: Free XOR Gates and Applications.
ICALP 2008, pp 486-498, 2008.

Y. Lindell, B. Pinkas, N.P. Smart:
Implementing Two-Party Computation Efficiently with Security Against Malicious Adversaries.
SCN 2008, pp 2-20, 2008.

A.-R. Sadeghi, T. Schneider:

Generalized Universal Circuits for Secure Evaluation of Private Functions with Application to Data Classification.

ICISC '08, pp 336-353, 2008.

I. Damgård, J.B. Nielsen, C. Orlandi:

Essentially Optimal Universally Composable Oblivious Transfer

ICISC 2008, pp 318-335, 2008.

V. Kolesnikov, T. Schneider:

A practical universal circuit construction and secure evaluation of private functions .

Financial Cryptography 2008, 83-97, 2008.

I. Damgård, M. Geisler, M. Kroigaard:

Homomorphic encryption and secure comparison .

Int. Journal of Applied Cryptography, vol 1, 22-37, 2008.

I. Damgård, Y. Ishai, M. Kroigaard, J.B. Nielsen, A. Smith:

Scalable multiparty computation with nearly optimal work and resilience .

Crypto 2008, 241-261, 2008.

I. Damgård, J.B. Nielsen, D. Wichs:

Universally Composable Multiparty Computation with Partially Isolated Parties .

TCC 2009: 315-331, 2009.

J.B. Nielsen, C. Orlandi:

LEGO for Two-Party Secure Computation .

TCC 2009, 368-386, 2009.

P. Bogetoft, D.L. Christensen, I. Damgård, M. Geisler, T. Jakobsen, M. Kroigaard, J.D. Nielsen, J.B. Nielsen, K. Nielsen, J. Pagter, M. Schwartzbach, T. Toft:
Secure Multiparty Computation Goes Live .

Financial Cryptography 2009, 325-343, 2009.

I. Damgård, M. Geisler, M. Kroigaard, J.B. Nielsen:
Asynchronous Multiparty Computation: Theory and Implementation .

PKC 2009, 160-179, 2009.

A. Paus, A.-R. Sadeghi, T.Schneider:
Practical Secure Evaluation of Semi-Private Functions.
ACNS 2009, 89-106, 2009.

M. Barni, P. Failla, V. Kolesnikov, R. Lazzeretti, A.-R. Sadeghi, T. Schneider:
Secure Evaluation of Private Linear Branching Programs with Medical Applications .
ESORICS 2009, 424-439, 2010.

B. Pinkas, T. Schneider, N.P. Smart, S.C. Williams:

Secure Two-Party Computation is Practical.

Asiacrypt 2009, 250-267, 2009.

M. Geissler, N.P. Smart:

Distributing the Key Distribution Centre in Sakai-Kasahara based systems .

Cryptography and Coding, 252-262, 2009.

V. Kolesnikov, A.-R. Sadeghi, T. Schneider:

Improved Garbled Circuit Building Blocks and Applications to Auctions and Computing Minima .

CANS 2009, pp 1-20, 2009.