Postdoc at the Max Planck Institute for Security and Privacy.

Bochum, Germany
Joined February 2016
Like PL? Like security? Have interesting work to discuss? Submit your radical new idea (or previously published paper) to PLAS 2022 by Nov 14! plas2022.github.io/
2
10
1
15
I should probably mention it's chaired by the amazing @musardballiu and myself, and we have a great group of PC members (with more to come!) that you can find at our website!
1
Another paper, another video abstract! youtu.be/5N0Ofhlw5ZM Check out "SoK: Practical Foundations for Software Spectre Defenses" (arxiv.org/abs/2105.05801) at IEEE S&P 2022, a great resource that @craigdissel, @danielmgmi, @deiandelmars, Gilles Barthe, and I put together!
3
8
Sunjay Cauligi retweeted
Tell all your student friends to apply to PLMW @ PLDI 2022! Scholarship applications until 26/4/22: pldi22.sigplan.org/track/PLM… . .
Also not for nothing but uh 2021 Mar - AMD white paper on "Predictive Store Forwarding" amd.com/system/files/documen… 2019 Oct - v1 of arxiv.org/abs/1910.01755 published (see subsection "Aliasing prediction")
1
2
and 2020 Nov is when the first AMD processors with PSF were released, so
1
Sunjay Cauligi retweeted
Traditional guarantees for high-assurance cryptography are outdated in the new Spectre era: don't miss our talk this Wednesday  @IEEESSP #SP21 to get an update! ++ new verification methods built atop the Jasmin  framework:  eprint.iacr.org/2020/1104.pd…
6
18
Sunjay Cauligi retweeted
Our work "Swivel: Hardening WebAssembly against Spectre", S Narayan, @craigdissel, @danielmgmi, @scauligi, E Johnson, Z Gang, @ovahldy, R Sahita, @hovav, D Tullsen & @deiandelmars will appear at @USENIXSecurity 2021. arXiv: arxiv.org/pdf/2102.12730.pdf @ucsd_cse 1/4
3
7
3
53
Sunjay Cauligi retweeted
Curious about @deiandelmars, Sunjay Cauligi and @craigdissel's paper titled "Constant-Time Foundations for the New Spectre Era"? Check out this video which breaks down their paper and research ⤵️ youtu.be/3Gf1c7ZkEdU
Replying to @deiandelmars
@deiandelmars, Sunjay Cauligi & @craigdissel put together a really engaging video as finalists! Enjoy! youtu.be/3Gf1c7ZkEdU View their paper at: arxiv.org/abs/1910.01755 @TamaraRezk, @GillesBarthe, Dean Tullsen, Klaus v. Gleissenthall #security #Defense #Crypto
1
6
12
Also completely forgot I had a Twitter, relevant research retweets to follow as I catch up
4
We were finalists for @IntelSecurity's Hardware Security Academic Award at @IEEESSP #21 for our work on Pitchfork (arxiv.org/abs/1910.01755)! Check out the short video @craigdissel and I made explaining our research! youtu.be/3Gf1c7ZkEdU
2
11
In case you missed @PLDI '20, you can check out my talk here. It was a blast to make! youtu.be/iLjbMNEynY8
1
6
Sunjay Cauligi retweeted
check our semantics to understand how Spectre attacks work and Pitchfork to find v1/v1.1/v4 attacks Our paper @PLDI on constant time foundations with @scauligi @craigdissel @kgleissen D. Tullsen, @deiandelmars G. Barthe left this question opened: is Spectre-MOB exploitable?
1
3
9
Just finished the 1-minute abstract for our upcoming PLDI talk: youtu.be/wdESrFEAo8Y You can find our paper at arxiv.org/abs/1910.01755, "Constant-Time Foundations for the New Spectre Era" Huge thanks to co-author and video editor extraordinaire @craigdissel!
4
1
10
Verifying myself: I am sunjayc on Keybase.io. sUXxhr4zWQiWnRICjU4QLxcIOPJVNJOb5sq7 / keybase.io/sunjayc/sigs/sUXx…
1
My talk at PLDI'19 was posted to YouTube (a month ago, but I only just found out)! Watch me talk about FaCT, a DSL for writing constant-time cryptographic code! youtu.be/DRPdQk_Uqeo
2
10
Security peeps! Looking for a great way to start your day? Look no further. This 1-minute video made by @scauligi, @thedjrenren, and Natalie Popescu is 100% worth your time: youtu.be/dSPZ0hm-XVU We do cool stuff @ucsd_cse @UCSDJacobs and we have fun while doing it too ;)
1
4
16