|
Date
|
Speaker
|
Topic/Abstract
|
Slides
|
|
Sep. 22
|
Birgit Pfitzmann
(IBM Zurich)
|
“Sound
cryptographic abstractions for automated proofs”; Abstract
|
|
|
Sep. 29
|
Ben Adida
|
“Secure
Voting Protocols”; Abstract
|
pdf
|
|
Oct. 6
|
Devavrat Shah
|
“Randomized
Gossip Algorithms for Distributed Computation”; Abstract
|
|
|
Oct. 13
|
Ling Cheung
|
"Randomized
Wait-Free Consensus Using An Atomicity Assumption"; Abstract
|
pdf
|
|
Oct. 20
|
Jake Beal
|
“Programming
Spatial Computers”; Abstract
|
pdf
|
|
Oct. 27
|
Sayan Mitra
|
“Approximate
Simulations for Probabilistic I/O Automata”; Abstract
|
pdf
|
|
Nov. 3
|
Laurent Michel
|
“Tempo”;
Abstract
|
web
|
|
Dec. 8
|
James Cowling
|
“HQ
Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance”;
Abstract
|
ppt
|
