Concepedia

Ştefan Ciobâcă

ŞC

8

Publications

285

Citations

8

H-Index

2010

Active since

Affiliations

Alexandru Ioan Cuza University(Current)

Institut national de recherche en sciences et technologies du numérique

Centre National de la Recherche Scientifique

Ştefan Ciobâcă is an author at Alexandru Ioan Cuza University specializing in formal methods, formal verification, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationSoftware AnalysisAutomated ReasoningCryptographyData SecurityProgram Analysis

Publications per year

2010–2021

8

Publications

8

Automated Verification of Equivalence Properties of Cryptographic Protocols

Rohit Chadha, Vincent Cheval, Ştefan Ciobâcă et al. · ACM Transactions on Computational Logic · 2016 · 71 citations · Full text

Cryptographic Primitive, Engineering, Indistinguishability Properties +17

One-Path Reachability Logic

Grigore Roşu, Andrei Ștefănescu, Ştefan Ciobâcă et al. · 2013 · 54 citations

Engineering, Reachability Problem, Verification +17

Protocol Composition for Arbitrary Primitives

Ştefan Ciobâcă, Véronique Cortier · 2010 · 48 citations

Cryptographic Primitive, Engineering, Information Security +17

A Comparison of Open-Source Static Analysis Tools for Vulnerability Detection in C/C++ Code

Andrei Arusoaie, Ştefan Ciobâcă, Vlad Constantin Crăciun et al. · 2017 · 47 citations

Software Maintenance, Engineering, Verification +21

Computing Knowledge in Security Protocols Under Convergent Equational Theories

Ştefan Ciobâcă, Stéphanie Delaune, Steve Kremer · Journal of Automated Reasoning · 2010 · 26 citations · Full text

Engineering, Information Security, Automated Reasoning +9

Rows per page

1–5 of 8