Stefan Ciobaca

According to our database, Stefan Ciobaca authored at least 29 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Securing Verified IO Programs Against Unverified Code in F.

Cezar-Constantin Andrici, Stefan Ciobaca, Catalin Hritcu, Guido Martínez, Exequiel Rivas, Éric Tanter, Théo Winterhalter

Proc. ACM Program. Lang., January, 2024

Implementing, Specifying, and Verifying the QOI Format in Dafny: A Case Study.

Stefan Ciobaca, Diana-Elena Gratie

Proceedings of the Integrated Formal Methods - 19th International Conference, 2024

2023

Operationally-based program equivalence proofs using LCTRSs.

Stefan Ciobaca, Dorel Lucanu, Andrei-Sebastian Buruiana

J. Log. Algebraic Methods Program., October, 2023

2021

An Extended Account of Trace-relating Compiler Correctness and Secure Compilation.

Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault

ACM Trans. Program. Lang. Syst., 2021

A Note on the Performance of Algorithms for Solving Linear Diophantine Equations in the Naturals.

Valeriu Motroi, Stefan Ciobaca

CoRR, 2021

Verifying the Conversion into CNF in Dafny.

Viorel Iordache, Stefan Ciobaca

Proceedings of the Logic, Language, Information, and Computation, 2021

2020

Who Verifies the Verifiers? A Computer-Checked Implementation of the DPLL Algorithm in Dafny.

Cezar-Constantin Andrici, Stefan Ciobaca

CoRR, 2020

A Typo in the Paterson-Wegman-de Champeaux algorithm.

Valeriu Motroi, Stefan Ciobaca

CoRR, 2020

Trace-Relating Compiler Correctness and Secure Compilation.

Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault

Proceedings of the Programming Languages and Systems, 2020

2019

All-Path Reachability Logic.

Andrei Stefanescu, Stefan Ciobaca, Radu Mereuta, Brandon M. Moore, Traian-Florin Serbanuta, Grigore Rosu

Log. Methods Comput. Sci., 2019

Verifying the DPLL Algorithm in Dafny.

Cezar-Constantin Andrici, Stefan Ciobaca

Proceedings of the Proceedings Third Symposium on Working Formal Methods, 2019

Trace-Relating Compiler Correctness and Secure Compilation.

Carmine Abate, Roberto Blanco, Stefan Ciobaca, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault

CoRR, 2019

2018

Reducing Total Correctness to Partial Correctness by a Transformation of the Language Semantics.

Andrei-Sebastian Buruiana, Stefan Ciobaca

Proceedings of the Proceedings Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2018

Unification Modulo Builtins.

Stefan Ciobaca, Andrei Arusoaie, Dorel Lucanu

Proceedings of the Logic, Language, Information, and Computation, 2018

A Coinductive Approach to Proving Reachability Properties in Logically Constrained Term Rewriting Systems.

Stefan Ciobaca, Dorel Lucanu

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2017

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

Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017

2016

Automated Verification of Equivalence Properties of Cryptographic Protocols.

Rohit Chadha, Vincent Cheval, Stefan Ciobaca, Steve Kremer

ACM Trans. Comput. Log., 2016

A language-independent proof system for full program equivalence.

Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu

Formal Aspects Comput., 2016

2014

A Theoretical Foundation for Programming Languages Aggregation.

Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu

Proceedings of the Recent Trends in Algebraic Development Techniques, 2014

Reducing Partial Equivalence to Partial Correctness.

Stefan Ciobaca

Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014

A Language-Independent Proof System for Mutual Program Equivalence.

Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu

Proceedings of the Formal Methods and Software Engineering, 2014

2013

One-Path Reachability Logic.

Grigore Rosu, Andrei Stefanescu, Stefan Ciobaca, Brandon M. Moore

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

From Small-Step Semantics to Big-Step Semantics, Automatically.

Stefan Ciobaca

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

2012

Computing Knowledge in Security Protocols Under Convergent Equational Theories.

Stefan Ciobaca, Stéphanie Delaune, Steve Kremer

J. Autom. Reason., 2012

Automated Verification of Equivalence Properties of Cryptographic Protocols.

Rohit Chadha, Stefan Ciobaca, Steve Kremer

Proceedings of the Programming Languages and Systems, 2012

2011

Verification and composition of security protocols with applications to electronic voting. (Vérification et composition des protocoles de securité avec des applications aux protocoles de vote electronique).

Stefan Ciobaca

PhD thesis, 2011

Computing finite variants for subterm convergent rewrite systems.

Stefan Ciobaca

Proceedings of the 25th International Workshop on Unification, 2011

2010

Protocol Composition for Arbitrary Primitives.

Stefan Ciobaca, Véronique Cortier

Proceedings of the 23rd IEEE Computer Security Foundations Symposium, 2010

2008

Compartmented Threshold RSA Based on the Chinese Remainder Theorem.

Sorin Iftene, Stefan Ciobaca, Manuela Grindei

IACR Cryptol. ePrint Arch., 2008