Sunjay Cauligi

Postdoc at the Max Planck Institute for Security and Privacy.

[Sunjay Cauligi @scauligi]

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!

[Sunjay Cauligi @scauligi]

Like PL? Like security? Have interesting work to discuss? Submit your radical new idea (or previously published paper) to PLAS 2022 by Nov 14!
https://t.co/QcVC5ALUiB

[Sunjay Cauligi @scauligi]

Another paper, another video abstract!
https://t.co/lP9ZCUU58e

Check out "SoK: Practical Foundations for Software Spectre Defenses" (https://t.co/c01EBas4Lg) at IEEE S&P 2022, a great resource that @craigdissel, @danielmgmi, @deiandelmars, Gilles Barthe, and I put together!

[Tamara Rezk @TamaraRezk]

Tell all your student friends to apply to PLMW @ PLDI 2022! Scholarship applications until 26/4/22: https://t.co/f3iIDYY3dd . .

[Sunjay Cauligi @scauligi]

oh hey im a dr now

[Sunjay Cauligi @scauligi]

and 2020 Nov is when the first AMD processors with PSF were released, so

[Sunjay Cauligi @scauligi]

Also not for nothing but uh
2021 Mar - AMD white paper on "Predictive Store Forwarding" https://t.co/QrmsKXjpMw
2019 Oct - v1 of https://t.co/qezDyARGV0 published (see subsection "Aliasing prediction")

[Tamara Rezk @TamaraRezk]

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:  https://t.co/WI25HAs5RC

[Marco Guarnieri @MarcoGuarnier1]

If you missed the talk, you can watch it here https://t.co/tseqgrtvrt

[Daniel Moghimi @flowyroll]

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: https://t.co/PBPXGSuK93

@ucsd_cse

1/4

[Craig Disselkoen @craigdissel]

Check out our blog post on Blade, just published on PL Perspectives: https://t.co/enEvtZJlEJ

[UCSD CSE @ucsd_cse]

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 ⤵️
https://t.co/IOwAeX7sNj

[Sunjay Cauligi @scauligi]

Also completely forgot I had a Twitter, relevant research retweets to follow as I catch up

[Sunjay Cauligi @scauligi]

We were finalists for @IntelSecurity's Hardware Security Academic Award at @IEEESSP #21 for our work on Pitchfork (https://t.co/qezDyARGV0)!
Check out the short video @craigdissel and I made explaining our research!
https://t.co/9yALZ4Aqbr

[Sunjay Cauligi @scauligi]

In case you missed @PLDI '20, you can check out my talk here. It was a blast to make! https://t.co/A59JW9DGCU

[Tamara Rezk @TamaraRezk]

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?

[Sunjay Cauligi @scauligi]

Just finished the 1-minute abstract for our upcoming PLDI talk: https://t.co/LY9wCgnG4V
You can find our paper at https://t.co/qezDyARGV0, "Constant-Time Foundations for the New Spectre Era"

Huge thanks to co-author and video editor extraordinaire @craigdissel!

[Sunjay Cauligi @scauligi]

Verifying myself: I am sunjayc on https://t.co/PdgDAoI1bH. sUXxhr4zWQiWnRICjU4QLxcIOPJVNJOb5sq7 / https://t.co/cARsnQC3ok

[Sunjay Cauligi @scauligi]

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!
https://t.co/Ik2eMOTai3

[Ariana Mirian (@[email protected]) @arimirian]

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: https://t.co/6ZfS89CRsH

We do cool stuff @ucsd_cse @UCSDJacobs and we have fun while doing it too ;)