Follow
Stefan Ciobaca
Stefan Ciobaca
Verified email at info.uaic.ro - Homepage
Title
Cited by
Cited by
Year
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
1732016
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
912013
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
772014
Computing knowledge in security protocols under convergent equational theories
Ş Ciobâcă, S Delaune, S Kremer
Journal of Automated Reasoning 48 (2), 219-262, 2012
722012
Protocol composition for arbitrary primitives
S Ciobâca, V Cortier
2010 23rd IEEE Computer Security Foundations Symposium, 322-336, 2010
722010
Computing knowledge in security protocols under convergent equational theories
Ş Ciobâcă, S Delaune, S Kremer
International Conference on Automated Deduction, 355-370, 2009
722009
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
402017
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
232016
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
222014
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
202018
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
172020
From small-step semantics to big-step semantics, automatically
Ş Ciobâcă
Integrated Formal Methods: 10th International Conference, IFM 2013, Turku …, 2013
172013
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
132014
All-path reachability logic
A Stefanescu, S Ciobâca, R Mereuta, B Moore, TF Serbanuta, G Rosu
arXiv preprint arXiv:1810.10826, 2018
92018
Verifying the DPLL algorithm in Dafny
CC Andrici, Ş Ciobâcă
arXiv preprint arXiv:1909.01743, 2019
62019
Unification modulo builtins
Ş Ciobâcă, A Arusoaie, D Lucanu
Logic, Language, Information, and Computation: 25th International Workshop …, 2018
52018
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
52015
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
42021
The system can't perform the operation now. Try again later.
Articles 1–20