iiinova — where your digital self keeps evolving

Somesh Jha @someshjha.bsky.social · 12/01/2026

#TPDP2026 One of the co-chairs is Amrita who is alum of our group. Way to go Amrita.

010

Somesh Jha @someshjha.bsky.social · 10/12/2025

Last year SAGAI workshop had the most attendees out of all the workshops at IEEE S&P. Don't miss out.

000

Somesh Jha @someshjha.bsky.social · 04/08/2025

Thanks for inviting me @simonsinstitute.bsky.social The audience interaction was incredible.

030

Somesh Jha @someshjha.bsky.social · 21/07/2025

LLM-integrated applications and agents are vulnerable to prompt injection attacks, in which adversaries embed malicious instructions within seemingly benign user inputs to manipulate the LLM’s intended behavior.

110

Somesh Jha @someshjha.bsky.social · 16/07/2025

Recently, we received a DARPA grant on the problem of LLM-assisted translation of C to Rust. The team consists of amazing set of PIs from UW, Berkeley, UIUC, and Edinburgh. Really excited about what we can do. Full article can be found here: www.cs.wisc.edu/2025/07/15/t...

cs.wisc.edu

Translating Legacy Code for a Safer Future: DARPA Backs Effort to Convert C to Rust

The C programming language—powering everything from operating systems to aircraft control software—has long been a cornerstone of modern computing. But its flexibility comes at a cost: memory safety i...

140

Somesh Jha @someshjha.bsky.social · 30/06/2025

I have interacted with @gautamkamath.com and highly recommend him for this position. Please vote for him.

120

Somesh Jha @someshjha.bsky.social · 05/06/2025

This research took a while to complete, but very proud of the result. Will do a detailed post soon.

020

Somesh Jha @someshjha.bsky.social · 11/05/2025

SAGAI 2025 program is now complete. What an amazing program! Don't miss it. sites.google.com/corp/ucsd.ed...

sites.google.com

SAGAI'25 @ IEEE S&P - Program

07:30 - 08:45 am

020

Somesh Jha @someshjha.bsky.social · 31/03/2025

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.

sites.google.com

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...

132

Somesh Jha @someshjha.bsky.social · 31/03/2025

Interesting! Didn't know that sifr and sunya are connected.

100

Somesh Jha @someshjha.bsky.social · 19/03/2025

Lorenzo graduated from my group and did some cool work on system and network security during his Ph.D. Congrats, Lorenzo! Proud of you.

020

Somesh Jha @someshjha.bsky.social · 18/03/2025

Have you ever wondered: In federated learning, what if we could leverage clients' private data without compromising privacy—what more could we achieve? 🚀 We're excited to introduce SLVR (Securely Leveraging Client Validation for Robust Federated Learning). Paper: arxiv.org/pdf/2502.08055

arxiv.org

120

Somesh Jha @someshjha.bsky.social · 10/02/2025

Have you wondered about the following question? Is it possible to design an image watermark that (a) preserves the robustness of deep watermarks and (b) meets a well-defined notion of unforgeability and public-detectability? We address this question in arxiv.org/pdf/2502.04901

arxiv.org

140

Somesh Jha @someshjha.bsky.social · 29/01/2025

If you want me to respond to your email, please don't start the email with "Dear Sheldon":-)

040

Somesh Jha @someshjha.bsky.social · 21/01/2025

Amazing program at @satml.org 2025 in now online.

010

Somesh Jha @someshjha.bsky.social · 16/01/2025

Finally, after few attempts our paper will appear in iacr communications of cryptology. cic.iacr.org/p/1/4/31 Our paper presents the first provable watermarking scheme for large language models (LLMS) with public detectability or verifiability

cic.iacr.org

Publicly-Detectable Watermarking for Language Models

150

Somesh Jha @someshjha.bsky.social · 15/01/2025

I was saddened to learn about Prof. Bob Brayton's demise. Interesting anecdote. My advisor, Ed Clarke, had a grant with him (I think from SRC). After the events, he wanted to go to a resturant but insisted in going where students eat and not something fancy.

100

Somesh Jha @someshjha.bsky.social · 04/01/2025

In-person PC meetings have become relics of the past. I remember them very fondly, and in my opinion in-person PC meetings led to better decisions. Thoughts?

110

Somesh Jha @someshjha.bsky.social · 01/01/2025

Happy New Year to all! May 2025 be prosperous and full of great success.

030

Somesh Jha @someshjha.bsky.social · 20/12/2024

Registration for @satml.org is open. The program is shaping up to be really interesting. eventsignup.ku.dk/ieeesatml202...

eventsignup.ku.dk

IEEE SaTML 2025

063

Somesh Jha @someshjha.bsky.social · 12/12/2024

Technical question. Is there a notion of how "hard" a probability distribution is? Let me explain. Intuitively, a distribution induced by a probabilistic finite-state machine (FSM) is "harder" than one induced by a probabilistic CFG.

110

Somesh Jha @someshjha.bsky.social · 29/11/2024

Happy to share the following paper on watermarking with an amazing set of co-authors. The paper led by Xuandong Zhao deals with several questions related to watermarking. Feedback welcome, and please reshare. arxiv.org/html/2411.18...

arxiv.org

SoK: Watermarking for AI-Generated Content

082

Somesh Jha @someshjha.bsky.social · 29/11/2024

Recollection about the paper. David Long already had the algorithm but didn't have the proof. He told me if I can prove its correctness, he will put my name. Worked full 2-3 weeks to get the proof. Ah, such is ambition of youth...

070

Somesh Jha @someshjha.bsky.social · 27/11/2024

Registration is open for SaTML. Travel scholarships are also available. Will appreciate reshares. satml.org

satml.org

IEEE SaTML

IEEE Conference on Secure and Trustworthy Machine Learning

024

Somesh Jha @someshjha.bsky.social · 19/11/2024

Registration for SaTML is open! Should be a great conferences. Also, check out the great keynote speakers. Please share. satml.org

satml.org

IEEE SaTML

IEEE Conference on Secure and Trustworthy Machine Learning

011

Somesh Jha @someshjha.bsky.social · 17/11/2024

Are folks simultaneously maintaining handles on both Bluesky and X?

420