SECURE DATA-INTENSIVE APPLICATIONS THROUGH AUTOMATIC FORMAL REASONING

Time and Location:

March 11, 2020 at 2PM; 60 Fifth Avenue, Room 150

Speaker:

Gowtham Kaki, Purdue University