Honored to receive a Top Reviewer Award at CCS! This was my first time serving on the PC of a major security venue, and I am grateful for the opportunity to contribute to the community and learn from peers!
Thanks Andreas for bringing the award back!
By leveraging existing symbolic execution engines of runtime, we are able to reduce the required engineering efforts from a year to a matter of weeks. 2/2
Glad to share that our work on concolic execution of web applications got accepted to Oakland 2024! We propose a method to transform the runtime of web applications (like PHP interpreter) into a concolic execution engine. 1/2 #FirstTweet#SP24