| Automated verification of equivalence properties of cryptographic protocols R Chadha, V Cheval, Ş Ciobâcă, S Kremer ACM Transactions on Computational Logic (TOCL) 17 (4), 23, 2016 | 173 | 2016 |
| Automated Verification of Equivalence Properties of Cryptographic Protocols. R Chadha, S Ciobâca, S Kremer ESOP 7211, 108-127, 2012 | 173* | 2012 |
| One-path reachability logic G Rosu, A Stefanescu, S Ciobâca, BM Moore 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 358-367, 2013 | 91 | 2013 |
| All-path reachability logic A Ştefănescu, Ş Ciobâcă, R Mereuta, BM Moore, TF Şerbănută, G Roşu Rewriting and Typed Lambda Calculi: Joint International Conference, RTA-TLCA …, 2014 | 77 | 2014 |
| Computing knowledge in security protocols under convergent equational theories Ş Ciobâcă, S Delaune, S Kremer Journal of Automated Reasoning 48 (2), 219-262, 2012 | 72 | 2012 |
| Protocol composition for arbitrary primitives S Ciobâca, V Cortier 2010 23rd IEEE Computer Security Foundations Symposium, 322-336, 2010 | 72 | 2010 |
| Computing knowledge in security protocols under convergent equational theories Ş Ciobâcă, S Delaune, S Kremer International Conference on Automated Deduction, 355-370, 2009 | 72 | 2009 |
| A comparison of open-source static analysis tools for vulnerability detection in c/c++ code A Arusoaie, S Ciobâca, V Craciun, D Gavrilut, D Lucanu 2017 19th International Symposium on Symbolic and Numeric Algorithms for …, 2017 | 40 | 2017 |
| A language-independent proof system for full program equivalence S Ciobaca, D Lucanu, V Rusu, G Rosu Formal Aspects of Computing 28 (3), 469, 2016 | 23 | 2016 |
| A language-independent proof system for mutual program equivalence Ş Ciobâcă, D Lucanu, V Rusu, G Roşu International Conference on Formal Engineering Methods, 75-90, 2014 | 22 | 2014 |
| A coinductive approach to proving reachability properties in logically constrained term rewriting systems Ş Ciobâcă, D Lucanu Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018 | 20 | 2018 |
| Trace-relating compiler correctness and secure compilation C Abate, R Blanco, Ș Ciobâcă, A Durier, D Garg, C Hrițcu, M Patrignani, ... Programming Languages and Systems: 29th European Symposium on Programming …, 2020 | 17 | 2020 |
| From small-step semantics to big-step semantics, automatically Ş Ciobâcă Integrated Formal Methods: 10th International Conference, IFM 2013, Turku …, 2013 | 17 | 2013 |
| Automated Verification of Security Protocols with Applications to Electronic Voting Ş Ciobâcă Thèse de doctorat, Laboratoire Spécification et Vérification, ENS Cachan, France, 2011 | 16* | 2011 |
| Reducing partial equivalence to partial correctness S Ciobâca 2014 16th International Symposium on Symbolic and Numeric Algorithms for …, 2014 | 13 | 2014 |
| All-path reachability logic A Stefanescu, S Ciobâca, R Mereuta, B Moore, TF Serbanuta, G Rosu arXiv preprint arXiv:1810.10826, 2018 | 9 | 2018 |
| Verifying the DPLL algorithm in Dafny CC Andrici, Ş Ciobâcă arXiv preprint arXiv:1909.01743, 2019 | 6 | 2019 |
| Unification modulo builtins Ş Ciobâcă, A Arusoaie, D Lucanu Logic, Language, Information, and Computation: 25th International Workshop …, 2018 | 5 | 2018 |
| A theoretical foundation for programming languages aggregation Ş Ciobâcă, D Lucanu, V Rusu, G Roşu Recent Trends in Algebraic Development Techniques: 22nd International …, 2015 | 5 | 2015 |
| An extended account of trace-relating compiler correctness and secure compilation C Abate, R Blanco, Ş Ciobâcă, A Durier, D Garg, C Hriţcu, M Patrignani, ... ACM Transactions on Programming Languages and Systems (TOPLAS) 43 (4), 1-48, 2021 | 4 | 2021 |
Grigore RosuUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
