| 2024 | IFM | Implementing, Specifying, and Verifying the QOI Format in Dafny: A Case Study. | Stefan Ciobaca, Diana-Elena Gratie |
| 2021 | WoLLIC | Verifying the Conversion into CNF in Dafny. | Viorel Iordache, Stefan Ciobaca |
| 2020 | ESOP | Trace-Relating Compiler Correctness and Secure Compilation. | Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, ric Tanter, Jrmy Thibault |
| 2018 | CADE | A Coinductive Approach to Proving Reachability Properties in Logically Constrained Term Rewriting Systems. | Stefan Ciobaca, Dorel Lucanu |
| 2018 | WoLLIC | Unification Modulo Builtins. | Stefan Ciobaca, Andrei Arusoaie, Dorel Lucanu |
| 2017 | SYNASC | A Comparison of Open-Source Static Analysis Tools for Vulnerability Detection in C/C++ Code. | Andrei Arusoaie, Stefan Ciobaca, Vlad Craciun, Dragos Gavrilut, Dorel Lucanu |
| 2014 | ICFEM | A Language-Independent Proof System for Mutual Program Equivalence. | Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu |
| 2014 | SYNASC | Reducing Partial Equivalence to Partial Correctness. | Stefan Ciobaca |
| 2013 | IFM | From Small-Step Semantics to Big-Step Semantics, Automatically. | Stefan Ciobaca |
| 2013 | LICS | One-Path Reachability Logic. | Grigore Rosu, Andrei Stefanescu, Stefan Ciobaca, Brandon M. Moore |
| 2012 | ESOP | Automated Verification of Equivalence Properties of Cryptographic Protocols. | Rohit Chadha, Stefan Ciobaca, Steve Kremer |
| 2009 | CADE | Computing Knowledge in Security Protocols under Convergent Equational Theories. | Stefan Ciobaca, Stphanie Delaune, Steve Kremer |