Ştefan Ciobâcă

Available identifiers

zbMath Open ciobaca.stefanMaRDI QIDQ437032

List of research outcomes

Publication	Date of Publication	Type
Operationally-based program equivalence proofs using LCTRSs	2023-09-25	Paper
Unification Modulo Builtins	2023-04-26	Paper
Trace-Relating Compiler Correctness and Secure Compilation	2022-10-13	Paper
Verifying the conversion into CNF in dafny	2022-06-24	Paper
All-Path Reachability Logic	2019-05-17	Paper
A coinductive approach to proving reachability properties in logically constrained term rewriting systems	2018-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q4594004	2017-11-16	Paper
Automated Verification of Equivalence Properties of Cryptographic Protocols	2017-07-13	Paper
One-Path Reachability Logic	2017-07-03	Paper
A language-independent proof system for full program equivalence	2017-02-14	Paper
A Theoretical Foundation for Programming Languages Aggregation	2016-02-25	Paper
All-Path Reachability Logic	2014-07-24	Paper
Computing knowledge in security protocols under convergent equational theories	2012-07-17	Paper
Automated Verification of Equivalence Properties of Cryptographic Protocols	2012-06-22	Paper
Computing Knowledge in Security Protocols under Convergent Equational Theories	2009-07-28	Paper

Research outcomes over time

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