A big surprise and generous gift from @Apple security team for the bugs found by SyzGen, which aims to automatically generate syscall specifications to boost fuzzing. Check out our paper (https://t.co/Vv6e0RhEfa) for more details if you are interested.
We have a postdoc opening in cybersecurity, covering areas from static analysis and systems security to AI for security. RTs are appreciated!
https://t.co/nlCyKpwduL
@CIS_Penn is hiring a tenure-track faculty in computer security this year. We just got a brand new cybersecurity center and a new building! Apply here: https://t.co/XKlMZlLKDI.
We're opening 3 TT positions focusing on cyber-physical security, security and privacy, and learning sciences. Join us at one of the top research universities and clearly the most beautiful place in🇨🇭with lake and mountains nearby https://t.co/KUz4u9tpDr @EPFL_en@ICepfl Plese RT
Zheng will present his work at @USENIXSecurity on Thursday morning about the accurate bisection of bugs found by fuzzers -- figuring out which commit introduced the bug. Useful for #aixcc potentially, but unfortunately we didn't get a chance to use it ourselves. #usesec24
Our paper on building a fully verified security module for confidential VMs just won the Jay Lepreau Best Paper Award from #OSDI 2024! Congratulations to Ziqiao Zhou, Anjali, Weiteng Chen, Sishuai Gong and Chris Hawblitzel!
The #NDSSsymposium2024 Program is Live!
Start circling which of the 3 tracks and 8 co-located events you'll be sitting in on over the five days. https://t.co/FBVe6r9cp9
Had a similar idea before, but sadly my boss does not like fuzzing. Instead, we have two interns this summer working on leveraging LLMs for formal verification and bug triaging. Hopefully we can also share something soon.
I will be presenting our paper "CodaMOSA: Escaping Coverage Plateaus in Test Generation with Pre-trained Large Language Models" at @ICSEconf#ICSE2023 in Melbourne!! pre-print: https://t.co/AjoZjOOiGM
Big shout out to my advisor @pkqzy888 without whom I could not have achieved any of these. Special thanks go to all other members of the committee @heng_yin@laosong and Srikanth Krishnamurthy.
Also, I'm currently working on refactoring the code to make it easily extensible for other targets (you can expect Linux support to come soon) and implementing new ideas to make it work better. Stay tuned!
A big surprise and generous gift from @Apple security team for the bugs found by SyzGen, which aims to automatically generate syscall specifications to boost fuzzing. Check out our paper (https://t.co/Vv6e0RhEfa) for more details if you are interested.