Concepedia

Silvio Ranise

SR

56

Publications

1.6K

Citations

23

H-Index

2003

Active since

Affiliations

Fondazione Bruno Kessler(Current)

University of Trento

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

University of Genoa

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Silvio Ranise is an author at Fondazione Bruno Kessler specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationFormal MethodsData SecurityInformation SecurityAutomated ReasoningVerificationCryptographyProgram Analysis

Publications per year

2003–2024

56

Publications

56

A rewriting approach to satisfiability procedures

Alessandro Armando, Silvio Ranise, Michaël Rusinowitch · Information and Computation · 2003 · 125 citations

Decision Procedure, Engineering, Automated Reasoning +7

New results on rewrite-based satisfiability procedures

Alessandro Armando, Maria Paola Bonacina, Silvio Ranise et al. · ACM Transactions on Computational Logic · 2009 · 88 citations · Full text

The SMT-LIB Standard: Version 1.1

Silvio Ranise, Cesare Tinelli · 2005 · 88 citations

Engineering, Verification, Software Engineering +19

SARA: Secure Asynchronous Remote Attestation for IoT Systems

Edlira Dushku, Md Masoom Rabbani, Mauro Conti et al. · IEEE Transactions on Information Forensics and Security · 2020 · 85 citations

Iot Systems, Engineering, Information Security +13

Efficient theory combination via boolean search

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti et al. · Information and Computation · 2006 · 64 citations

Circuit Complexity, Engineering, Boolean Function +7

Rows per page

1–5 of 56