In the nine years since its launch, amid intense research, scalability is always a serious
concern in blockchain, especially in case of large-scale network generating huge number of …

Dependency information (data-and/or control-dependencies) among program variables and
program statements is playing crucial roles in a wide range of software-engineering …

Robust relational database watermarking techniques aim to preserve the watermark in the
protected assets despite daily updates and malicious attacks. Nevertheless, most …

Deductive verification has gained paramount attention from both academia and industry.
Although intensive research in this direction covers almost all mainstream languages, the …

In this work, we extend language-based information-flow security analysis to the case of
database applications embedding query languages. The analysis is performed by (i) …

We overview the main semantics-based static analysis techniques for software verification:
Data-flow analysis, Control-flow Analysis, Model Checking, and Abstract Interpretation. The …

In this paper, the notions of semantic relevancy of statements, semantic data dependences
and conditional dependences are extended to the case of programs embedding SQL …

We introduce an abstract domain for information-flow analysis of software. The proposal
combines variable dependency analysis with numerical abstractions, yielding to accuracy …

Most of the existing model checking approaches refer mainstream languages without
considering any database statements. As the result, they are not directly applicable to …

This paper introduces a policy-based slicing of Hibernate Query Language (HQL) based on
a refined notion of dependence graph. The policies are defined on persistent objects, rather …