BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:www.tcs.tifr.res.in/event/1727
DTSTAMP:20260601T123407Z
SUMMARY:Logical explorations for security theory
DESCRIPTION:Speaker: Vaishnavi Sundararajan (IIT Delhi)\n\nAbstract: \nLogi
 cs play a large role in the formal study and analysis of systems\, especia
 lly for formal verification. The exact shape of the syntax and inference r
 ules involved depend heavily on the systems being modelled and verified. I
 n this talk\, we will introduce a logical syntax for communicated messages
  and an associated proof system originally used in the verification of cry
 ptographic protocols\, dating back to a very robust model from 1983\, whic
 h captures even the operational aspects of today’s internet. We will sho
 w how to extend this system to be able to better handle protocols that inv
 olve the communication of certificates\, and investigate some of the vario
 us logical and algorithmic questions that manifest during this endeavour.\
 nBio: Vaishnavi Sundararajan is an assistant professor in the department o
 f computer science and engineering at IIT Delhi\, where she is also associ
 ated with Center of Excellence in Cyber Systems and Information Assurance.
  She did her PhD at the Chennai Mathematical Institute and was at CNRS\, E
 ricsson Research and University of California in Santa Cruz before joining
  IIT Delhi. Her research interests are broadly in formal methods and logic
  with a focus on applications to security.\n
URL:https://www.tcs.tifr.res.in/web/events/1727
DTSTART;TZID=Asia/Kolkata:20260706T160000
DTEND;TZID=Asia/Kolkata:20260706T170000
LOCATION:AG-69
END:VEVENT
END:VCALENDAR