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/
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!
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!
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")
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…
Sunjay Cauligi retweeted
If you missed the talk, you can watch it here youtu.be/9kgVKbgZPuM
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
Sunjay Cauligi retweeted
Check out our blog post on Blade, just published on PL Perspectives: blog.sigplan.org/2021/04/21/…
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
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
In case you missed @PLDI '20, you can check out my talk here. It was a blast to make! youtu.be/iLjbMNEynY8
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?
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!
Verifying myself: I am sunjayc on Keybase.io. sUXxhr4zWQiWnRICjU4QLxcIOPJVNJOb5sq7 / keybase.io/sunjayc/sigs/sUXx…
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
Sunjay Cauligi retweeted
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 ;)









