 The Check Point Institute Crypto and Security Day
Wddnesday, October 13 2010
Melamed Hall, Shenkar building, Tel Aviv University
The event is open to the public. To help us plan, please confirm attendance by sending mail to cpiis@tau.ac.il.
Program:
| 8:30-9:00: |
Gathering and Coffee |
|
|
| 9:00-9:10: |
Welcome (Dorit Dor, Check Point) |
|
 |
| 9:10-9:40: |
Moni Naor, Weizmann
The Privacy of Traitor Tracing |
|
|
| |
|
|
| 9:40-10:10: |
Avi Rubin, JHU
Using Attribute-Based Encryption to Secure Electronic Medical Records |
 |
|
| 10:40-11:10: |
Avishai Wool, TAU
Trends in Firewall Configuration Errors - Measuring the Holes in Swiss Cheese |
|
|
| 11:10-11:40: |
Benny Applebaum, TAU
From Secrecy to Soundness: Efficient Verification via Secure Computation |
|
|
| |
|
|
| 11:40-1210: |
Ben Riva, TAU
Verifiable Computation with Two Clouds |
|
|
| |
Lunch (provided) |
|
| 1:50-2:30 |
Yehuda Lindell, Bar Ilan
Techniques for Efficient Secure Two-Party Computation with Malicious Adversaries |
|
|
| 2:30-3:00: |
Alon Rosen, IDC
Sequential Rationality in Cryptographic Protocols |
|
|
| |
|
|
| 3:00-3:30: |
Sebastian Gajek, TAU
Towards Composable Automated Analysis of Cryptographic Protocols |
|
| 4:00-4:30: |
Iftah Haitner, TAU
Efficiency Improvements in Constructing Pseudorandom Generator from One-way Function |
|
| 4:30-5:00: |
Shai Halevi, IBM
Fully Homomorphic Encryption over the Integers |
|
| |
|
|
|
|
| |
|
|
|
| |
|
|
| |
|
|
| |
|
|
| |
|
|
| |
|
|
| |
|
|
| |
|
|
| |
|
|
|
