TCC 2006

March 4-7 2006, Columbia University
New York, NY USA

Rump Session

The rump session is an informal session in which participants give short presentations on recent results, work in progress, and other topics of interest to the TCC community. It was held on Sunday, March 5 2006, at 7:30pm in Davis hall (at the entrance level of the Schapiro Center), and was chaired by Charlie Rackoff.

Rump Session Program

Can We Achieve Security Against an Analogue Adversary?: Charles Rackoff
On the Compressibility of NP Instances (for the Future) and (Today's) Cryptographic Applications: Danny Harnik
Zero Knowledge with Efficient Provers: Minh-Huyen Nguyen
Perfect Soundness ZK proofs are in RP: Lior Malka
Enhanced versus Plain Trapdoor Permutations for Non-Interactive Zero-Knowledge and Oblivious Transfer: Tal Malkin
Interactive Input ZK Proofs of Knowledge: Moti Yung
Verifiable Random Permutations: Prashant Puniya
Generalized Compact Knapsacks are Collision Resistant: Daniele Micciancio
Stateful Public-Key Cryptosystems: Encryption with One 160-bit Exponentiation: Mihir Bellare
New Proofs for NMAC and HMAC: Security Without Collision-Resistance: Mihir Bellare
Deniable Authentication and Key Exchange: Rosario Gennaro
Strengthening Digital Signatures via Randomized Hashing: Hugo Krawczyk
Chosen-Ciphertext Secure Key-Encapsulation based on Hashed Diffie-Hellman: Eike Kiltz
Group Public Key Encryption: Moti Yung
Research on Password-Authenticated Group Key Encryption: Jeong Ok Kwon
On (Threshold) Cryptography over Mobile Ad Hoc Networks: Giovanni Di Crescenzo
MPC for Comparing Two Shared Secrets without Bit-Decomposition: Takashi Nishide
Ring Signature in UC Framework: Kazuki Yoneyama
Breaking and Fixing Public-Key Kerberos: Joe-Kai Tsay
Using Task-Structured Probabilistic I/O Automata to Analyze Cryptographic Protocols: Olivier Pereira
Secure Key Exchange and Composition: Anupam Datta
Finding Neverland: Hoeteck Wee