| |
 |
|
|
Science Forum Index » Cryptography Forum » TCC 2004: The First Theory of Cryptography Conference
Page 1 of 1
|
| Author |
Message |
| Theory of Cryptography Pr |
 Posted: Tue Jan 06, 2004 1:27 pm |
|
|
|
Guest
|
The First Theory of Cryptography Conference
MIT, Cambridge MA, USA
February 19-21 2004
TCC Steering Committee Chair: Mihir Bellare, UCSD
General Conference Chair: Shafi Goldwasser, MIT and Weizmann Institute
Program Committee Chair: Moni Naor, Weizmann Institute
Conference web page: http://www.cs.ucsd.edu/users/mihir/tcc/tcc04/
Location:
MIT EECS Grier Room, Bldg 34-401B
Massachusetts Institute of Technology
Cambridge, Massachusetts, USA
Deadlines:
Early Registration Fee: Registration and payment must be received by 29 January 2004
Special Hotel Rate: Must be booked by 18 January 2004
On line Registration closes: 8 February 2004
To register, go to:
http://web.mit.edu/afs/athena.mit.edu/org/c/conf-serv/www/tccterms.html.
A block of rooms have been reserved at the Hotel at MIT at the
price of $145 including shuttle up until JANUARY 18. Please be sure
to make your hotel reservation before that date if you need a room.
Note too the early conference registration fee is only effective
until January 29.
For info about your hotel reservation, go to:
http://theory.lcs.mit.edu/~joanne/tcc04-local.html.
TCC Preliminary Program
=======================
Wednesday Feb. 18 2004
6:00-8:00 PM Reception at Radcliffe
Thursday, Feb. 19 2004
======================
9:00am-10:00am Welcome and Registration
SESSION 1: 10:00am-12:00pm Session Chair: Joe Kilian
Notions of Reducibility between Cryptographic Primitives
by Omer Reingold, Luca Trevisan and Salil Vadhan
Indifferentiability, Impossibility Results on Reductions, and
Applications to the Random Oracle Methodology
by Ueli Maurer, Renato Renner and Clemens Holenstein
On the random-oracle methodology as applied to
length-restricted signature schemes
by Ran Canetti, Oded Goldreich and Shai Halevi
Universally Composable Commitments Using Random Oracles
by Dennis Hofheinz and Joern Mueller-Quade
LUNCH BREAK 12:00pm-2:00pm (catered lunch)
SESSION 2 2:00pm-3:30pm Session Chair: Yuval Ishai
Transformation of Digital Signature Schemes into
Designated Confirmer Signature Schemes
by Shafi Goldwasser and Erez Waisbard
List-Decoding of Linear Functions and Analysis of a Two-Round
Zero-Knowledge Argument
by Cynthia Dwork, Ronen Shaltiel, Adam Smith and Luca Trevisan
On the Possibility of One Message Weak Zero-Knowledge
by Boaz Barak and Rafael Pass
COFFEE BREAK 3:30pm-4:00pm
SESSION 3 4:00pm-5:30pm Session Chair: Ronald Cramer
Soundness of formal encryption in the presence of active adversaries
by Daniele Micciancio and Bogdan Warinschi
Rerandomizable and Replayable Adaptive Chosen Ciphertext
Secure Cryptosystems
by Jens Groth
Alternatives to Non-Malleability: Definitions, Constructions and Applications
by Philip MacKenzie, Michael K. Reiter and Ke Yang
Evening program: Business Meeting/Rump session 8:00pm-10:00pm
(at Hotel at MIT)
Friday Feb. 20 2004
====================
SESSION 4 9:00am-10:30am Session Chair: Birgit Pfitzmann
A note on Constant-Round Zero-Knowledge Proofs for NP
by Alon Rosen
Lower Bounds for Concurrent Self Composition
by Yehuda Lindell
Secret-Key Zero-Knowledge and Non-Interactive Verifiable Exponentiation
by Ronald Cramer and Ivan Damgard
COFFEE BREAK 10:30am-11:00am
SESSION 5 11:00am-12:30pm Session Chair: Ran Canetti
A Quantitative Approach to Reductions in Secure Computation
by Amos Beimel and Tal Malkin
Tamper Proof Security: Theoretical Foundations for Security
Against Hardware Tampering
by Rosario Gennaro, Anna Lysyanskaya, Tal Malkin, Silvio Micali and Tal Rabin
Physically Observable Cryptography
by Silvio Micali and Leonid Reyzin
LUNCH BREAK 12:30pm-2:00pm (lunch NOT provided)
SESSION 6 14:00pm-15:30pm Session Chair: Salil Vadhan
Efficient and Universally Composable Committed Oblivious
Transfer and Applications
by Juan A. Garay, Philip MacKenzie and Ke Yang
A Universally Composable Mix-Net
by Douglas Wikstrצm
A General Composition Theorem for Secure Reactive Systems
by Michael Backes, Birgit Pfitzmann and Michael Waidner
COFFEE BREAK 3:30pm-4:00pm
PANEL 4:00pm-5:30pm Moderator: Cynthia Dwork
Subject: Cryptography and Formal Methods
Saturday Feb. 21 2004
=====================
SESSION 7 9:00am-10:30am Session Chair: Omer Reingold
Unfair Noisy Channels and Oblivious Transfer
by Ivan Damgaard, Serge Fehr, Kirill Morozov and Louis Salvail
Computational Collapse of Quantum State and Its Application to
Oblivious Transfer
by Claude Crepeau, Paul Dumais, Dominic Mayers and Louis Salvail
Implementing Oblivious Transfer using collection of dense
trapdoor permutations
by Iftach Haitner
COFFEE BREAK 10:30am-11:00am
SESSION 8 11:00am-12:30pm Session Chair: Philip MacKenzie
Composition of Random Systems: Sometimes Two Weak Make One Strong
by Ueli Maurer and Krzysztof Pietrzak
Simpler session-key generation from short random passwords
by Minh-Huyen Nguyen and Salil Vadhan
Constant-Round Oblivious Transfer in the Bounded Storage Model
by Yan Zong Ding, Danny Harnik, Alon Rosen and Ronen Shaltiel
LUNCH BREAK 12:30pm-2:00pm (catered lunch)
SESSION 9 2:00pm-3:30pm Session Chair: Daniele Micciancio
Hierarchical Threshold Secret Sharing
by Tamir Tassa
On Compressing Encrypted Data Without the Encryption Key
by Mark Johnson, David Wagner and Kannan Ramchandran
On the Notion of Pseudo-Free Groups
by Ronald L. Rivest
Farewell |
|
|
| Back to top |
|
| |
|
Page 1 of 1
All times are GMT - 5 Hours
The time now is Fri Dec 05, 2008 6:28 am
|
|