Ştefan Ciobâcă

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Operationally-based program equivalence proofs using LCTRSs Journal of Logical and Algebraic Methods in Programming	2023-09-25	Paper
Unification Modulo Builtins Logic, Language, Information, and Computation	2023-04-26	Paper
Trace-relating compiler correctness and secure compilation Programming Languages and Systems	2022-10-13	Paper
Verifying the conversion into CNF in dafny	2022-06-24	Paper
All-path reachability logic Logical Methods in Computer Science	2019-05-17	Paper
A coinductive approach to proving reachability properties in logically constrained term rewriting systems (available as arXiv preprint)	2018-10-18	Paper
Program logics and their applications	2017-11-16	Paper
Automated verification of equivalence properties of cryptographic protocols ACM Transactions on Computational Logic	2017-07-13	Paper
One-path reachability logic 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science	2017-07-03	Paper
A language-independent proof system for full program equivalence Formal Aspects of Computing	2017-02-14	Paper
A Theoretical Foundation for Programming Languages Aggregation Recent Trends in Algebraic Development Techniques	2016-02-25	Paper
All-path reachability logic Lecture Notes in Computer Science	2014-07-24	Paper
Computing knowledge in security protocols under convergent equational theories Journal of Automated Reasoning	2012-07-17	Paper
Automated verification of equivalence properties of cryptographic protocols Programming Languages and Systems	2012-06-22	Paper
Computing Knowledge in Security Protocols under Convergent Equational Theories Automated Deduction – CADE-22	2009-07-28	Paper

Research outcomes over time

This page was built for person: Ştefan Ciobâcă