Program
09:30 - 09:45
Coffee and tagging
09:45 - 10:00
Opening Remarks and Greeting
Shlomi Dolev, Ben-Gurion University of the Negev
10:00 - 10:40
Economical Graph Discovery
Noga Alon, Tel-Aviv University and Microsoft
10:40 - 11:20
Time Bounds and the Coordination of Events in a Distributed System
Yoram Moses, Technion
11:20 - 12:00
Student introductory presentations
Student Presentations
12:00 - 13:00
Lunch
13:00 - 13:40
Shellable Complexes: An application of Combinatorical Topology to Distributed Computing
Maurice Herlihy, Brown University
13:40 - 14:20
Distributed Computation and Cryptographic Protocols in a Quantum World
Michael Ben-Or, Hebrew University of Jerusalem
14:20 - 14:35
Coffee Break
14:35 - 15:15
TCP/IP: Still Vulnerable after all these years?!
Amir Herzberg, Bar-Ilan University
15:15 - 15:55
Directed Spanners via Flow-Based Linear Programs
Robert Krauthgamer, Weizmann Institute of Science
15:55
End of Distributed/Security/Theory Computing Day