BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Ashoka University - ECPv6.18.2//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Ashoka University
X-ORIGINAL-URL:https://www.ashoka.edu.in
X-WR-CALDESC:Events for Ashoka University
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Asia/Kolkata
BEGIN:STANDARD
TZOFFSETFROM:+0530
TZOFFSETTO:+0530
TZNAME:IST
DTSTART:20230101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Asia/Kolkata:20241127T103000
DTEND;TZID=Asia/Kolkata:20241127T120000
DTSTAMP:20241125T053045Z
CREATED:20241124T231316Z
LAST-MODIFIED:20241125T053045Z
UID:67941-1732703400-1732708800@www.ashoka.edu.in
SUMMARY:CS Colloquium
DESCRIPTION:Zoom Link: https://zoom.us/j/92026461047?pwd=9sxUrCEnM2ijBaCEDU77kDG6K3dMKH.1 \nAbstract: Security protocols underpin most aspects of our digital lives nowadays\, with finance\, health\, and even citizenship requiring some online interaction. Mere testing does not suffice for such critical systems\, since even one missed test-case could prove to be incredibly costly. So we turn to formal verification\, which converts the system into some “abstract” model\, casts properties as statements over this model\, and then checks if the model satisfies those statements. Formal verification has been done for many security protocols (including TLS\, and the Signal messaging protocol) and even found many bugs. The standard verification framework was proposed by Danny Dolev and Andy Yao in a 1983 paper\, where the network is assumed to be adversarial\, and all communicated messages are modelled as terms in an algebra. We will see a few examples of how this model can be used to find logical flaws in protocols. We recently extended this model to deal with protocols for the internet age which involve certification\, by distinguishing between “normal” messages (like encrypted or hashed terms) and “assertions” (statements of the form “this message is an encryption of a 0 or a 1”) using two different algebras. This allows us to better represent such security protocols and avoid human errors in the modelling phase\, as well as make the resultant protocol description more readable. We will see some examples of protocols modelled using assertions\, and if time permits\, briefly discuss that this expressivity comes at no extra cost\, i.e. protocol verification is no harder in the presence of an actively malicious adversary in this new model than it was in the original Dolev-Yao model.  \nAbout the Speaker: Vaishnavi Sundararajan is a Chandruka New Faculty Fellow and Assistant Professor in the Department of Computer Science and Engineering at the Indian Institute of Technology Delhi. She is also associated with the Center of Excellence in Cyber Systems and Information Assurance (CSIA). She is interested in applying formal methods and logic to various fields\, primarily security. Vaishnavi completed her PhD at the Chennai Mathematical Institute\, where she was advised by R Ramanujam and S P Suresh. She has also done postdoctoral stints at CNRS (IRISA)\, Ericsson Research\, and UC Santa Cruz.
URL:https://www.ashoka.edu.in/event/cs-colloquium/
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Kolkata:20241127T133000
DTEND;TZID=Asia/Kolkata:20241127T150000
DTSTAMP:20241122T043609Z
CREATED:20241122T043609Z
LAST-MODIFIED:20241122T043609Z
UID:67911-1732714200-1732719600@www.ashoka.edu.in
SUMMARY:CS Colloquium
DESCRIPTION:Abstract: \nThe advent of multimodal agents represents a transformative leap in AI\, pushing the boundaries of what intelligent systems can achieve by integrating diverse data sources—visual\, auditory\, contextual\, and more. These agents have the potential to profoundly reshape healthcare\, education\, social services\, and other essential areas of society. However\, as we strive to create agents that can perceive\, reason\, and act with human-like sophistication\, the need for social responsibility becomes paramount. \nThis talk explores the journey toward socially responsible multimodal agents\, examining how we can design these systems not only to be highly capable but also to uphold the values and ethics that define humanity. By embedding social responsibility and self-correction mechanisms into the design\, we aim to create agents that align with human welfare\, inclusivity\, and fairness. This requires a shift in focus: away from mere technical accomplishment and toward systems that respect user autonomy\, privacy\, and societal values.  We explore what values we would like to see in these intelligent agents that serve humanity while embedding tools that will prevent and minimize their abuse. \nAbout the Speaker:  \nDr. Ramesh Jain is a Professor Emeritus at the University of California\, Irvine\, and a Distinguished Associated Faculty at Ashoka University. He has been an active researcher in Computer Vision\, Artificial Intelligence\, Multimedia Computing\, Experiential computing\, and Digital Health and has co-founded multiple companies including VicaraHealth. While at the University of Michigan\, Ann Arbor\, he founded and directed the artificial intelligence laboratory in 1987; and at the University of California\, San Diego\, he founded the visual computing lab in 1995. He was also the founding Editor-in-Chief of IEEE MultiMedia magazine and Machine Vision and Applications journal. At UC Irvine\, he is the founding director of the UCI Institute for Future Health and is working on building a community in Technology for food and lifestyle to keep people healthy and go to medicine only when needed. He is the recipient of several awards including the ACM SIGMM Technical Achievement Award 2010\, and his recent IEEE TCMC Impact award for his “pioneering and wide-spread impact to multimedia computing for the past four decades.” Most notably\, in 2023\, Dr. Jain received the ACM Distinguished Service Award for establishing the ACM Special Interest Group on Multimedia Systems (SIGMM)\, and for outstanding leadership and sustained services to ACM and the computing community for the past four decades. His current research is in building computing and data-driven Navigational approaches for Future Health and among other things\, he is a co-founder of social entrepreneurship companies in AI for Health that are addressing open-source software development (Personicle.org) and open data for health research (HealthUnity.org).
URL:https://www.ashoka.edu.in/event/cs-colloquium/
END:VEVENT
END:VCALENDAR