Mihai Christodorescu
mihaichr.bsky.social
Mihai Christodorescu
@mihaichr.bsky.social
Reposted by Mihai Christodorescu
Systems Security Foundations for Agentic Computing (Mihai Christodorescu, Earlence Fernandes, Ashish Hooda, Somesh Jha, Johann Rehberger, Khawaja Shams) ia.cr/2025/2173
December 2, 2025 at 10:42 PM
Reposted by Mihai Christodorescu
(As it turns out, the Torment Nexus had already been considerably improved in [Schmidhuber, 1993])
November 24, 2025 at 8:40 AM
Reposted by Mihai Christodorescu
Sci-Fi Author: In my book I invented the Torment Nexus as a cautionary tale.
[....]
Academic: Our project, if funded by the government, will considerably improve the efficiency of the existing Torment Nexus,
November 24, 2025 at 8:40 AM
Reposted by Mihai Christodorescu
Co-organized with @earlence.bsky.social @mihaichr.bsky.social Khawaja Shams (Google) and John Mitchell (Stanford).

Details can be found at: sites.google.com/corp/ucsd.ed...
SAGAI'25 @ IEEE S&P
Goal The workshop will investigate the safety, security, and privacy of GenAI agents from a system design perspective. We believe that this new category of important and critical system components req...
sites.google.com
March 31, 2025 at 7:32 PM
Reposted by Mihai Christodorescu
SAGAI'25 will investigate the safety, security, and privacy of GenAI agents from a system design perspective. We are experimenting with a new "Dagstuhl" like seminar with invited speakers and discussion. Really excited about this workshop at IEEE Security and Privacy Symposium.
SAGAI'25 @ IEEE S&P
Goal The workshop will investigate the safety, security, and privacy of GenAI agents from a system design perspective. We believe that this new category of important and critical system components req...
sites.google.com
March 31, 2025 at 7:32 PM
Reposted by Mihai Christodorescu
New paper PKC'25!

Joint work with Megan Chen (BU), Pousali Dey (ISI), Chaya Ganesh (IISC), Pratik Sarkar (Supra) and Swagata Sasmal (ISI)

1/n
February 26, 2025 at 1:15 PM