21:12[PLDI'23] CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract(…)ACM SIGPLAN28 viewsView & Download
23:13[POPL'23] Stratified Commutativity in Verification Algorithms for Concurrent ProgramsACM SIGPLAN112 viewsView & Download
1:01Mechanized Verification of Fine-grained Concurrent Programs: PLDI'15 Video AbstractIlya Sergey1.5K viewsView & Download
3:29:42[TutorialFest@POPL'24] Scaling Verification of Concurrent Programs with the Civl VerifierACM SIGPLAN436 viewsView & Download
18:45NSDI '26 - Defending against Traffic Analysis Attacks with Flexible In-Network ObfuscationUSENIX70 viewsView & Download
14:17NahamCon 2023 - Flow walkthrough (Client-Side Data Exposure)CTF Security104 viewsView & Download
34:09Phil Venables on AI for Security & Security for AI: the Future of Agentic Risk | NHIcon 2026Aembit45 viewsView & Download
0:47Concurrent Programs, Finalizers and Cleaners in Java Security ProblemsIBIMA Media23 viewsView & Download
6:27Concurrency Patterns That Scale: From Basics to ProductionSP Learning Labs36 viewsView & Download
22:59USENIX ATC '23 - SecretFlow-SPU: A Performant and User-Friendly Framework for Privacy-Preserving...USENIX511 viewsView & Download
1:15Concurrency and Performance Challenges in Large-Scale Distributed ApplicationsIntl J of nw security & its applications (IJNSA)0 viewsView & Download
![[PLDI'23] CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract(…) — ACM SIGPLAN — pldi23 commcsl proving information flow security for concurrent programs using abstract YouTube to MP3 & MP4 download on TubeGalore](/api/image/fQ8FCXvlPsI/mqdefault)
![[POPL'23] Stratified Commutativity in Verification Algorithms for Concurrent Programs — ACM SIGPLAN — pldi23 commcsl proving information flow security for concurrent programs using abstract YouTube to MP3 & MP4 download on TubeGalore](/api/image/64jcmculty0/mqdefault)
![[TutorialFest@POPL'24] Scaling Verification of Concurrent Programs with the Civl Verifier — ACM SIGPLAN — pldi23 commcsl proving information flow security for concurrent programs using abstract YouTube to MP3 & MP4 download on TubeGalore](/api/image/IupUuKU7UdQ/mqdefault)
