BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:www.tcs.tifr.res.in/event/1425
DTSTAMP:20240527T102107Z
SUMMARY:Bridging the Theory and Practice of Cryptography
DESCRIPTION:Speaker: Ashrujit Ghoshal (Carnegie Mellon University)\n\nAbstr
act: \nIn the current internet landscape\, cryptography plays a central r
ole in securing communication. We rely on mathematical proofs to ensure s
ecurity of the cryptographic systems that are deployed in practice. Howev
er\, in many cases\, due to issues like efficiency constraints\, there is
a gap between what these deployments need and what we can prove. In this
talk\, I will describe how my research identifies these gaps and makes p
rogress towards bridging these gaps using new theoretical insights and tec
hniques from different areas of computer science like complexity theory\,
algorithms\, combinatorics\, information theory\, etc.More concretely\,
my work contributes towards bridging these gaps in three different ways. F
irst\, I provide exact security analyses of cryptographic systems that hav
e been deployed at scale that did not have such analyses before. With the
exact analyses available\, practitioners can set parameters of the cryptog
raphic system in a way that maximizes efficiency without sacrificing secur
ity. Secondly\, I construct new cryptographic schemes that are better than
existing schemes in terms of efficiency. This work helps make purely theo
retical cryptographic notions practical. Finally\, my work incorporates ne
wer perspectives into the framework of security proofs that captures a mor
e complete picture of the real world. This is in contrast to prior work wh
ere only certain adversarial resources were taken into account. A more com
plete picture of adversarial resources often helps in setting parameters i
n a way that increases efficiency of cryptographic systems.\nShort Bio: As
hrujit Ghoshal is a postdoctoral fellow at Carnegie Mellon University. He
received his PhD from the University of Washington in 2023. His research
focuses on bridging the gap between the theory and practice of cryptogra
phy by developing new theory that characterizes security and efficiency o
f cryptographic systems as precisely as possible. In particular his work
has provided exact security analyses for cryptography that is widely used
in practice e.g.\, standard hash functions like SHA-2 and SHA-3\, TLS\,
etc. His work has also made progress towards making theoretical cryptogra
phic functionalities like private information retrieval more practical by
giving new concretely efficient constructions. These works have led to m
ultiple papers at the two top cryptography conferences- CRYPTO and EUROCR
YPT.\n
URL:https://www.tcs.tifr.res.in/web/events/1425
DTSTART;TZID=Asia/Kolkata:20240605T160000
DTEND;TZID=Asia/Kolkata:20240605T170000
LOCATION:via Zoom in A201
END:VEVENT
END:VCALENDAR