Secure Information Flow: Formal Modelling, Analysis and Practical Applications
Speaker:
N.V. Narendrakumar
(School of Technology and Computer Science
Tata Institute of Fundamental Research
Homi Bhabha Road
Navy Nagar
Mumbai 400005)
Date:
Friday, 2 May 2014, 14:30 to 16:00
Venue:
D-405 (D-Block Seminar Room)