88 citations · 243 across the 14 of their papers we have counts for
4 papers · 1 filter
Automated Analysis of Scenario-based Specifications of Distributed Access Control Policies with Non-Mechanizable Activities (Extended Version)
Michele Barletta, Silvio Ranise, Luca Viganò
The advance of web services technologies promises to have far-reaching effects on the Internet and enterprise networks allowing for greater accessibility of data. The security chal…
Quantifier-Free Interpolation of a Theory of Arrays
Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise
The use of interpolants in model checking is becoming an enabling technology to allow fast and robust verification of hardware and software. The application of encodings based on t…
From Strong Amalgamability to Modularity of Quantifier-Free Interpolation
Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise
The use of interpolants in verification is gaining more and more importance. Since theories used in applications are usually obtained as (disjoint) combinations of simpler theories…
Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis
Silvio Ghilardi, Silvio Ranise
The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure a…