Guest: Dr. Andrei Popescu

Dr. Andrei Popescu from TU Munich visited the MAIS group on May 23, 2011. He gave a talk about "Proving probabilistic noninterference" in the MAIS graduate seminar.