| Home | Register | Program | Travel |
Program
All
talks are held in Beckman Institute Auditorium. Breakfasts and lunches
will be served in the courtyard (bring a sweater).
Names link to abstracts. Note slides are in varying formats.
| Thursday, December 15 | |
| 8:30 am | Breakfast |
| 9:00 am | Daniele
Micciancio (slides, pdf) Gaussian measures, point lattices and average case complexity |
| 9:50 am | Break |
| 10:20 am | Richard
Cleve (slides, ppt) Complexity-theoretic reductions in a quantum setting |
| 11:10 am | Louis
Salvail (slides1, slides2, pdf) Quantum encryption of classical message using sets of mutually unbiased bases |
| 12:00 noon | Lunch (provided) |
| 2:00 pm | Joshua
Guttman (slides, pdf) Trust and commitment in protocols |
| 2:50 pm | Jean Goubault-Larrecq Dolev-Yao models, extensions, and automated proofs of security |
| 3:40 pm | Break |
| 4:10 pm | Vincent
Danos (slides, pdf) Probabilistic model-checking of quantum protocols |
| 5:00 pm | Adjourn for the day |
| Friday, December 16 | |
| 8:30 am | Breakfast |
| 9:00 am | Salil
Vadhan (slides,
ppt) Zero-knowledge proofs |
| 9:50 am | Break |
| 10:20 am | Ran
Canetti (slides, ppt) Security and composition of cryptographic protocols |
| 11:10 am | Adam
Smith (slides,
ppt) Evolving notions of security for quantum protocols |
| 12:00 noon | Lunch |
| 2:00 pm | Rafail Ostrovsky Cryptography from anonymity |
| 2:50 pm |
Amit Sahai New notions of security through super-polynomial simulation |
| 3:40 pm |
Break |
| 4:10 pm | Boaz
Barak (slides, ppt) On non-black-box proofs of security |
| 5:00 pm | Adjourn for the day |
| Saturday, December 17 | |
| 8:30 am | Breakfast |
| 9:00 am | David
Pearson (slides, pdf) Building a QKD network with theories and devices |
| 9:50 am | Break |
| 10:20 am | Renato
Renner (paper, arxiv.org) Quantum key distribution and composability |
| 11:10 am | Hoi-Kwong
Lo (slides, ppt) Exploring new connections: from decoy states to gamma states |
| 12:00 noon | Lunch and Poster Session |
| Poster Session Dianmin Tong Feng Xun-Li Chunfeng Wu |
|
| Contributed Talks | |
| 3:00 pm | Alexei
Trifonov (slides,
pdf) Practical quantum cryptography |
| 3:25 pm | Romain
Alléaume (slides, pdf) Topology, architecture and protocols for a quantum key distribution network |
| 3:50 pm | Ben
Toner (slides, pdf; audio
file, mp3) Monogamy of nonlocal quantum correlations |
| 4:15 pm | Break |
| 4:45 pm | Lian-Ao Wu Scheme for protecting quantum memory against quantum malware |
| 5:10 pm | Paulo Mateus A process algebra for reasoning about quantum security |
| 5:35 pm | Rodney
Van Meter (slides, pdf) Fast quantum modular exponentiation |
| 6:30 pm | Reception and Conference Banquet After-Dinner Speaker: Charles Bennett (slides, pdf) |
| Sunday, December 18 | |
| 8:30 am | Breakfast |
| 9:00 am | Andris
Ambainis (slides, ppt) Multi-party protocols for coin flipping |
| 9:50 am | Break |
| 10:20 am | Peter Ryan (slides,
pdf) Spooky voting at a distance |
| 11:10 am | Daniel
Gottesman (slides, ppt) Quantum public key cryptography with information-theoretic security |
| 12:00 noon | Lunch |
| 2:00 pm |
Farewell! |