I am a professor in the computer sciences at UW-Madison. My technical interests in trustworthy ML, formal methods, and security. My other interests are Indian classical music, mindfulness, tennis, and pickleball.https://bsky.app/profile/someshjha.bsky.socialhttps://bsky.app/profile/someshjha.bsky.social/post/3mcayoi6ebs2x#TPDP2026 One of the co-chairs is Amrita who is alum of our group. Way to go Amrita. [contains quote post or other embedded content]12 Jan 2026 21:35 +0000at://did:plc:vxalrcjerct4hheuqa536hd7/app.bsky.feed.post/3mcayoi6ebs2xhttps://bsky.app/profile/someshjha.bsky.social/post/3m7npdjzpg22hLast year SAGAI workshop had the most attendees out of all the workshops at IEEE S&P. Don't miss out. [contains quote post or other embedded content]10 Dec 2025 18:37 +0000at://did:plc:vxalrcjerct4hheuqa536hd7/app.bsky.feed.post/3m7npdjzpg22hhttps://bsky.app/profile/someshjha.bsky.social/post/3m3nag7i6sc2jHappy Diwali to all. May this coming year be full of joy and prosperity. https://media.tenor.com/lvEJs6wrImAAAAAC/the-office-happy-diwali.gif?hh=280&ww=49820 Oct 2025 16:30 +0000at://did:plc:vxalrcjerct4hheuqa536hd7/app.bsky.feed.post/3m3nag7i6sc2jhttps://bsky.app/profile/someshjha.bsky.social/post/3lvlmgcg55k2kThanks for inviting me @simonsinstitute.bsky.social The audience interaction was incredible. [contains quote post or other embedded content]04 Aug 2025 16:28 +0000at://did:plc:vxalrcjerct4hheuqa536hd7/app.bsky.feed.post/3lvlmgcg55k2khttps://bsky.app/profile/someshjha.bsky.social/post/3luh25jl4bc24LLM-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.21 Jul 2025 03:25 +0000at://did:plc:vxalrcjerct4hheuqa536hd7/app.bsky.feed.post/3luh25jl4bc24https://bsky.app/profile/someshjha.bsky.social/post/3lu3hrfa6zc2lRecently, 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: https://www.cs.wisc.edu/2025/07/15/translating-legacy-code-for-a-safer-future/16 Jul 2025 12:57 +0000at://did:plc:vxalrcjerct4hheuqa536hd7/app.bsky.feed.post/3lu3hrfa6zc2lhttps://bsky.app/profile/someshjha.bsky.social/post/3lstsop4nwc2zI have interacted with @gautamkamath.com and highly recommend him for this position. Please vote for him. [contains quote post or other embedded content]30 Jun 2025 18:26 +0000at://did:plc:vxalrcjerct4hheuqa536hd7/app.bsky.feed.post/3lstsop4nwc2zhttps://bsky.app/profile/someshjha.bsky.social/post/3lqumyavge22nThis research took a while to complete, but very proud of the result. Will do a detailed post soon. [contains quote post or other embedded content]05 Jun 2025 15:26 +0000at://did:plc:vxalrcjerct4hheuqa536hd7/app.bsky.feed.post/3lqumyavge22nhttps://bsky.app/profile/someshjha.bsky.social/post/3lowjjrzl5c2gSAGAI 2025 program is now complete. What an amazing program! Don't miss it. https://sites.google.com/corp/ucsd.edu/sagai25-ieee-sp/program?authuser=0 [contains quote post or other embedded content]11 May 2025 22:39 +0000at://did:plc:vxalrcjerct4hheuqa536hd7/app.bsky.feed.post/3lowjjrzl5c2ghttps://bsky.app/profile/someshjha.bsky.social/post/3lohhvt3stc2jWelcome Lucy. [contains quote post or other embedded content]05 May 2025 23:00 +0000at://did:plc:vxalrcjerct4hheuqa536hd7/app.bsky.feed.post/3lohhvt3stc2jhttps://bsky.app/profile/someshjha.bsky.social/post/3llp3ycprbk22SAGAI'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. https://sites.google.com/corp/ucsd.edu/sagai25-ieee-sp/home31 Mar 2025 19:32 +0000at://did:plc:vxalrcjerct4hheuqa536hd7/app.bsky.feed.post/3llp3ycprbk22https://bsky.app/profile/someshjha.bsky.social/post/3lln3hvpqgk22Interesting! Didn't know that sifr and sunya are connected. [contains quote post or other embedded content]31 Mar 2025 00:18 +0000at://did:plc:vxalrcjerct4hheuqa536hd7/app.bsky.feed.post/3lln3hvpqgk22https://bsky.app/profile/someshjha.bsky.social/post/3llma6qknec2gEid Mubarak to anyone of my friends that celebrate it. https://www.youtube.com/watch?v=5hwXnz19snQ30 Mar 2025 16:10 +0000at://did:plc:vxalrcjerct4hheuqa536hd7/app.bsky.feed.post/3llma6qknec2ghttps://bsky.app/profile/someshjha.bsky.social/post/3lkt4m637zc2hExcellent place to work! [contains quote post or other embedded content]20 Mar 2025 16:29 +0000at://did:plc:vxalrcjerct4hheuqa536hd7/app.bsky.feed.post/3lkt4m637zc2hhttps://bsky.app/profile/someshjha.bsky.social/post/3lkr3ax46ms25Lorenzo graduated from my group and did some cool work on system and network security during his Ph.D. Congrats, Lorenzo! Proud of you. [contains quote post or other embedded content]19 Mar 2025 20:59 +0000at://did:plc:vxalrcjerct4hheuqa536hd7/app.bsky.feed.post/3lkr3ax46ms25https://bsky.app/profile/someshjha.bsky.social/post/3lkoogtuj422tHave 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 https://arxiv.org/pdf/2502.0805518 Mar 2025 22:05 +0000at://did:plc:vxalrcjerct4hheuqa536hd7/app.bsky.feed.post/3lkoogtuj422thttps://bsky.app/profile/someshjha.bsky.social/post/3lkdyi6d5i225Happy Holi to everyone who celebrates it. https://www.youtube.com/watch?v=-l8KkSCl-DY14 Mar 2025 16:05 +0000at://did:plc:vxalrcjerct4hheuqa536hd7/app.bsky.feed.post/3lkdyi6d5i225https://bsky.app/profile/someshjha.bsky.social/post/3ljy6pjoa3c2kICC Champions. Congrats. Great match. https://www.youtube.com/watch?v=6iqEwHfCPUs09 Mar 2025 23:25 +0000at://did:plc:vxalrcjerct4hheuqa536hd7/app.bsky.feed.post/3ljy6pjoa3c2khttps://bsky.app/profile/someshjha.bsky.social/post/3ljnvxn7et22qNicholas Carlini moves to Anthrophic. https://nicholas.carlini.com/writing/2025/career-update.html05 Mar 2025 21:22 +0000at://did:plc:vxalrcjerct4hheuqa536hd7/app.bsky.feed.post/3ljnvxn7et22qhttps://bsky.app/profile/someshjha.bsky.social/post/3lhtilwfl4k2xHave 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 https://arxiv.org/pdf/2502.0490110 Feb 2025 15:48 +0000at://did:plc:vxalrcjerct4hheuqa536hd7/app.bsky.feed.post/3lhtilwfl4k2xhttps://bsky.app/profile/someshjha.bsky.social/post/3lhgybeevw223👇 Thoughts? [contains quote post or other embedded content]05 Feb 2025 16:24 +0000at://did:plc:vxalrcjerct4hheuqa536hd7/app.bsky.feed.post/3lhgybeevw223https://bsky.app/profile/someshjha.bsky.social/post/3lgvfgzhljc2oIf you want me to respond to your email, please don't start the email with "Dear Sheldon":-)29 Jan 2025 16:32 +0000at://did:plc:vxalrcjerct4hheuqa536hd7/app.bsky.feed.post/3lgvfgzhljc2ohttps://bsky.app/profile/someshjha.bsky.social/post/3lgbpbfkkzk2cAmazing program at @satml.org 2025 in now online. [contains quote post or other embedded content]21 Jan 2025 20:34 +0000at://did:plc:vxalrcjerct4hheuqa536hd7/app.bsky.feed.post/3lgbpbfkkzk2chttps://bsky.app/profile/someshjha.bsky.social/post/3lfv62ty3zc2qFinally, 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 https://cic.iacr.org/p/1/4/3116 Jan 2025 20:54 +0000at://did:plc:vxalrcjerct4hheuqa536hd7/app.bsky.feed.post/3lfv62ty3zc2qhttps://bsky.app/profile/someshjha.bsky.social/post/3lfsd47sixc2p 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.15 Jan 2025 17:47 +0000at://did:plc:vxalrcjerct4hheuqa536hd7/app.bsky.feed.post/3lfsd47sixc2phttps://bsky.app/profile/someshjha.bsky.social/post/3lewzlvxi5s2vIn-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? [contains quote post or other embedded content]04 Jan 2025 21:15 +0000at://did:plc:vxalrcjerct4hheuqa536hd7/app.bsky.feed.post/3lewzlvxi5s2vhttps://bsky.app/profile/someshjha.bsky.social/post/3leps3ph3hk24Cool work! [contains quote post or other embedded content]02 Jan 2025 00:12 +0000at://did:plc:vxalrcjerct4hheuqa536hd7/app.bsky.feed.post/3leps3ph3hk24https://bsky.app/profile/someshjha.bsky.social/post/3leozmj4dgk2gHappy New Year to all! May 2025 be prosperous and full of great success.01 Jan 2025 16:54 +0000at://did:plc:vxalrcjerct4hheuqa536hd7/app.bsky.feed.post/3leozmj4dgk2ghttps://bsky.app/profile/someshjha.bsky.social/post/3ldp7da73a22zRegistration for @satml.org is open. The program is shaping up to be really interesting. https://eventsignup.ku.dk/ieeesatml2025/conference20 Dec 2024 01:11 +0000at://did:plc:vxalrcjerct4hheuqa536hd7/app.bsky.feed.post/3ldp7da73a22zhttps://bsky.app/profile/someshjha.bsky.social/post/3ld4pg2fszc2vTechnical 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.12 Dec 2024 16:38 +0000at://did:plc:vxalrcjerct4hheuqa536hd7/app.bsky.feed.post/3ld4pg2fszc2v