Co-located with FSTTCS 2025
20 Dec 2025
The Workshop on Compiler Oriented Software Security (CSS 2025) brings together researchers, practitioners, and tool developers to discuss the latest advancements in compiler design, automated bug detection, program analysis, and testing methodologies that will help in improving software security. The workshop will serve as a forum for exchanging ideas, presenting research, and fostering collaborations in the field of software security.
We invite high-quality submissions on topics related to compiler based software security, including (but not limited to):
Maximum 2 pages (excluding references) in the standard ACM format. Submission Portal.
| Speaker | Category | Title |
|---|---|---|
| Prof Uday Khedker | Invited Speaker | |
| Sushim Shrivastava | Invited Speaker | |
| Aaditya Aren | Presentation | Enhancing Bug Synthesis technique with KLEE |
| Ashutosh Pandey | Presentation | Security Aware Prompting Alone Does Not Prevent Crashes in LLM-Generated C Code |
| Madhur Kumar, Kamini Banait, Prajwal K P | Presentation | Comparative Analysis of Intermediate Representations for Security Tasks: An Empirical Study of Binary Lifting Frameworks |
| Aniket Mishra | Presentation | Formally Specifying the Rust Core |
| Divij Rawal | Presentation | Checking Equivalence of Two Programs |
| Harishankar P P | Presentation | Static Vulnerability Analysis of Neural Network Computational Graphs |
| Pranav Sharma | Presentation | Probable Security in Compilers: Bridging the correctness-Security Gap |
| Sara Mann | Presentation | Automated Test Case Generation for a Patch |
Registration is handled through the main FSTTCS conference. Registration.
For inquiries, please contact the workshop chairs at: ap[at]cs[dot]iitr[dot]ac.in