Thursday, November 1

• 1:00 PM Companion eye systems in assistive and automotive markets: Dr. Riad Hammoud, BAE Systems

Monday, November 5

• 10:00 AM Practical Verified Computation with Streaming Interactive Proofs: Justin Thaler, Harvard

Friday, November 9

• 1:00 PM POSTPONED - Optimizing On-Demand Resource Deployment For Peer-Assisted Content Delivery: Ray Sweha, PhD Defense

Sunday, November 11

• 10:00 AM Turing 100: Two days of lectures to celebrate the 100th anniversary of Alan Turing's birth.

Monday, November 12

• 9:30 AM Turing 100
• 1:00 PM Collective Behavior Analysis and Simulation: Diane Theriault, PhD Oral Exam

Tuesday, November 13

• 1:00 PM Workshop on Internet Visualization

Wednesday, November 14

• All Day Internet Measurement Conference (IMC '12)
• 9:30 AM On the (Im)Possibility of Tamper-Resilient Cryptography Using Fourier Analysis in Computer Viruses: Mohammad Mahmoody, Cornell

Thursday, November 15

• All Day Internet Measurement Conference (IMC '12)
• 1:30 PM Software Defined Networks and OpenFlow: Alex Reimers, Big Switch Networks
• 5:30 PM CS Interview/Resume Workshop

Friday, November 16

• All Day Internet Measurement Conference (IMC '12)

Monday, November 19

• 9:00 AM Optimizing On-Demand Resource Deployment For Peer-Assisted Content Delivery: Ray Sweha, PhD Defense
• 10:00 AM Constant-Round Concurrent Zero Knowledge From Falsifiable Assumptions: Rachel Huijia Lin, BU/MIT

Tuesday, November 20

• 1:00 PM A Fault-Tolerant Turing Machine: Ilir Capuni, PhD Defense

Monday, November 26

• 10:00 AM Resource-based Corruptions and the Combinatorics of Hidden Diversity: Aggelos Kiayias, U. of Athens & UCONN

Wednesday, November 28

• 10:00 AM Signature Schemes Secure against Hard-to-Invert Leakage: Angela Zottarel

Friday, November 30

• 5:00 PM Artemis Info Session

Monday, December 3

• 10:00 AM Succinct functional encryption and applications: reusable garbled circuits and beyond: Raluca Popa, MIT

Wednesday, December 5

• 11:00 AM Characterizing the Sample Complexity of Private Learners: Kobbi Nissim, Ben Gurion University

Monday, December 10

• 10:00 AM Techniques for performing secure computation on encrypted data: Chris Fletcher, MIT

Wednesday, December 12

• 9:30 AM Graph Embeddings for Low-Stretch Greedy Routing: Andrej Cvetkovski, PhD Proposal

Monday, December 17

• 11:00 AM Naiad: a system for incremental, iterative and interactive parallel computation: Frank McSherry, MSR