Title: Sequences of Games: A Tool for Taming Complexity in Security Proofs


Speaker: Zhang Yuan-yuan


Date: (2015/05/06, Wed) 6:30PM - 9:00PM


Address:Technology Building 502-2