Silvio Ranise

Silvio Ranise, Roberto Carbone, Giada Sciarretta, 2016, 2016 IEEE 2nd International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow (RTSI).

Lost in TLS? No More! Assisted Deployment of Secure TLS Configurations

Silvio Ranise, Giada Sciarretta, Salvatore Manfredi, 2019, DBSec.

Selective Release of Smart Metering Data in Multi-domain Smart Grids

Alessandro Armando, Silvio Ranise, Eyasu Getahun Chekole, 2014, SmartGridSec.

Attribute based access control for APIs in spring security

Alessandro Armando, Silvio Ranise, Roberto Carbone, 2014, SACMAT '14.

Light-Weight SMT-based Model Checking

Silvio Ghilardi, Silvio Ranise, Thomas Valsecchi, 2009, Electron. Notes Theor. Comput. Sci..

Modular Synthesis of Enforcement Mechanisms for the Workflow Satisfiability Problem: Scalability and Reusability

Silvio Ranise, Daniel Ricardo dos Santos, Serena Elisa Ponta, 2016, SACMAT.

Design and Security Assessment of Usable Multi-factor Authentication and Single Sign-On Solutions for Mobile Applications - A Workshop Experience Report

Silvio Ranise, Roberto Carbone, Giada Sciarretta, 2018, Privacy and Identity Management.

Automated Legal Compliance Checking by Security Policy Analysis

Silvio Ranise, Hari Siswantoro, 2017, SAFECOMP Workshops.

Solving Multi-Objective Workflow Satisfiability Problems with Optimization Modulo Theories Techniques

Clara Bertolissi, Silvio Ranise, Daniel Ricardo dos Santos, 2018, SACMAT.

Incremental Analysis of Evolving Administrative Role Based Access Control Policies

Silvio Ranise, Anh Tuan Truong, 2014, DBSec.

Combining Proof-Producing Decision Procedures

Christophe Ringeissen, Silvio Ranise, Duc-Khanh Tran, 2007, FroCoS.

Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies

Silvio Ghilardi, Silvio Ranise, Enrica Nicolini, 2006, JELIA.

Automated Symbolic Analysis of ARBAC-Policies

Alessandro Armando, Silvio Ranise, 2010, STM.

Universal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories

Elena Pagani, Gian Paolo Rossi, Silvio Ghilardi, 2012, J. Satisf. Boolean Model. Comput..

Automated Termination in Model Checking Modulo Theories

Silvio Ghilardi, Silvio Ranise, Alessandro Carioni, 2011, RP.

Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures

Maria Paola Bonacina, Silvio Ghilardi, Silvio Ranise, 2006, IJCAR.

Parameterized model checking for security policy analysis

Silvio Ranise, Riccardo Traverso, Anh Tuan Truong, 2015, International Journal on Software Tools for Technology Transfer.

Security Analysis and Legal Compliance Checking for the Design of Privacy-friendly Information Systems

Silvio Ranise, Paolo Guarda, Hari Siswantoro, 2017, SACMAT.

Automated Analysis of Parametric Timing-Based Mutual Exclusion Algorithms

Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, 2012, NASA Formal Methods.

Combination Techniques for Temporal Satisfiability and Model-Checking

Silvio Ranise, Enrica Nicolini, Daniele Zucchelli, 2007 .

SARA: Secure Asynchronous Remote Attestation for IoT Systems

Mauro Conti, Silvio Ranise, Md Masoom Rabbani, 2020, IEEE Transactions on Information Forensics and Security.

Distributing the Workload in a Lazy Theorem-Prover

Silvio Ranise, David Déharbe, Jorgiano Vidal, 2007, SBMF.

Scalable Automated Proving and Debugging of Set-Based Specifications

Jean-François Couchot, Alain Giorgetti, Silvio Ranise, 2003, J. Braz. Comput. Soc..

Model checking: teoria ed applicazioni

Silvio Ghilardi, Silvio Ranise, A. Cimatti, 2018 .

Anatomy of the Facebook solution for mobile single sign-on: Security assessment and improvements

Alessandro Armando, Silvio Ranise, Roberto Carbone, 2017, Comput. Secur..

Towards SMT Model Checking of Array-Based Systems

Silvio Ghilardi, Silvio Ranise, Enrica Nicolini, 2008, IJCAR.

Lazy Abstraction with Interpolants for Arrays

Roberto Bruttomesso, Silvio Ghilardi, Francesco Alberti, 2012, LPAR.

Collective Remote Attestation at the Internet of Things Scale: State-of-the-Art and Future Challenges

Silvio Ranise, Md Masoom Rabbani, Riccardo Lazzeretti, 2020, IEEE Communications Surveys & Tutorials.

Computer Security: ESORICS 2019 International Workshops, IOSec, MSTEC, and FINSEC, Luxembourg City, Luxembourg, September 26–27, 2019, Revised Selected Papers

Habtamu Abie, Alberto Siena, Silvio Ranise, 2020, Lecture Notes in Computer Science.

A declarative two-level framework to specify and verify workflow and authorization policies in service-oriented architectures

Luca Viganò, Silvio Ranise, Michele Barletta, 2010, Service Oriented Computing and Applications.

Constraint Solving in Logic Programming and in Automated Deduction: A Comparison

Alessandro Armando, Erica Melis, Silvio Ranise, 1998, AIMSA.

Towards a Reference Architecture for Access Control in Distributed Web Applications

Clara Bertolissi, Silvio Ranise, Worachet Uttha, 2014, ESSoS Doctoral Symposium.

Scalable Automated Analysis of Access Control and Privacy Policies

Silvio Ranise, Anh Truong, Thanh Tung Nguyen, 2017, Trans. Large Scale Data Knowl. Centered Syst..

Uniform Derivation of Decision Procedures by Superposition

Michaël Rusinowitch, Alessandro Armando, Silvio Ranise, 2001, CSL.

Building Extended Canonizers by Graph-Based Deduction

Silvio Ranise, Christelle Scharff, Silvio Ranise, 2007, ICTAC.

PADS: Practical Attestation for Highly Dynamic Swarm Topologies

Mauro Conti, Silvio Ranise, Md Masoom Rabbani, 2018, 2018 International Workshop on Secure Internet of Things (SIoT).

Assisted Authoring, Analysis and Enforcement of Access Control Policies in the Cloud

Silvio Ranise, Umberto Morelli, 2017, SEC.

Quantifier-Free Interpolation of a Theory of Arrays

Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, 2012, Log. Methods Comput. Sci..

SAFARI: SMT-Based Abstraction for Arrays with Interpolants

Roberto Bruttomesso, Silvio Ghilardi, Francesco Alberti, 2012, CAV.

Efficient theory combination via boolean search

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, 2006, Inf. Comput..

From Strong Amalgamability to Modularity of Quantifier-Free Interpolation pdf

Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, 2012, IJCAR.

Decision procedures for extensions of the theory of arrays

Silvio Ghilardi, Silvio Ranise, Enrica Nicolini, 2007, Annals of Mathematics and Artificial Intelligence.

SMT-based Enforcement and Analysis of NATO Content-based Protection and Release Policies

Alessandro Armando, Silvio Ranise, Konrad S. Wrona, 2016, ABAC '16.

Workflow and Access Control Reloaded: a Declarative Specification Framework for the Automated Analysis of Web Services

Luca Viganò, Silvio Ranise, Luca Zanetti, 2011, Scalable Comput. Pract. Exp..

Cerberus: Automated Synthesis of Enforcement Mechanisms for Security-Sensitive Business Processes

Silvio Ranise, Luca Compagna, Daniel Ricardo dos Santos, 2016, TACAS.

MCMT: A Model Checker Modulo Theories

Silvio Ghilardi, Silvio Ranise, 2010, IJCAR.

Noetherianity and Combination Problems

Silvio Ghilardi, Silvio Ranise, Enrica Nicolini, 2007, FroCoS.

Blockchain Tree as Solution for Distributed Storage of Personal ID Data and Document Access Control

Silvio Ranise, Sergii Kushch, Yurii Baryshev, 2020, Sensors.

ALPS: An Action Language for Policy Specification and Automated Safety Analysis

Silvio Ranise, Riccardo Traverso, 2014, STM.

Proceedings of the 6th International Workshop on

Silvio Ranise, Silvio Ranise, Silvio Ranise, 2007 .

Modeling authorization policies for Web Services in presence of transitive dependencies

Clara Bertolissi, Silvio Ranise, Worachet Uttha, 2015, 2015 12th International Joint Conference on e-Business and Telecommunications (ICETE).

Combination of convex theories: Modularity, deduction completeness, and explanation

Hélène Kirchner, Christophe Ringeissen, Silvio Ranise, 2010, J. Symb. Comput..

Security of Mobile Single Sign-On: A Rational Reconstruction of Facebook Login Solution

Alessandro Armando, Silvio Ranise, Roberto Carbone, 2016, SECRYPT.

Deploying Access Control Enforcement for IoT in the Cloud-Edge Continuum with the help of the CAP Theorem

Tahir Ahmad, Silvio Ranise, Umberto Morelli, 2020, SACMAT.

Satisfiability solving for software verification

Silvio Ranise, David Déharbe, Silvio Ranise, 2009, International Journal on Software Tools for Technology Transfer.

A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies

Alessandro Armando, Silvio Ranise, Konrad S. Wrona, 2015, SACMAT.

Brief Announcement: Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems - A Case Study

Elena Pagani, Gian Paolo Rossi, Silvio Ghilardi, 2010, DISC.

Blockchain Tree for eHealth

Silvio Ranise, Sergii Kushch, Giada Sciarretta, 2019, 2019 IEEE Global Conference on Internet of Things (GCIoT).

Integration of automated reasoners (poster session): a progress report

Alessandro Armando, Silvio Ranise, Daniele Zini, 2001 .

Intelligent Systems and Formal Methods in Software Engineering

C. A. R. Hoare, Cesare Tinelli, Bernhard Beckert, 2006, IEEE Intelligent Systems.

MQTTSA: A Tool for Automatically Assisting the Secure Deployments of MQTT Brokers

Silvio Ranise, Umberto Morelli, Andrea Palmieri, 2019, 2019 IEEE World Congress on Services (SERVICES).

Automated analysis of semantic-aware access control policies: a logic-based approach

Alessandro Armando, Silvio Ranise, Roberto Carbone, 2011, 2011 IEEE Fifth International Conference on Semantic Computing.

Toward secure and efficient attestation for highly dynamic swarms: poster

Mauro Conti, Silvio Ranise, Md Masoom Rabbani, 2017, WISEC.

A methodology to build run-time monitors for security-aware workflows

Clara Bertolissi, Silvio Ranise, 2013, 8th International Conference for Internet Technology and Secured Transactions (ICITST-2013).

Constraint contextual rewriting

Alessandro Armando, Silvio Ranise, 2003, J. Symb. Comput..

Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis

Silvio Ghilardi, Silvio Ranise, Silvio Ranise, 2010, Log. Methods Comput. Sci..

Security Considerations on 5G-Enabled Back-Situation Awareness for CCAM

Roberto Riggio, Gianfranco Burzio, Silvio Ranise, 2020, 2020 IEEE 3rd 5G World Forum (5GWF).

Automated and Secure Integration of the OpenID Connect iGov Profile in Mobile Native Applications

Silvio Ranise, Roberto Carbone, Giada Sciarretta, 2020, ETAA@ESORICS.

Quantifier-free interpolation in combinations of equality interpolating theories

Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, 2014, ACM Trans. Comput. Log..

ASASPXL: New Clother for Analysing ARBAC Policies

Silvio Ranise, Anh Tuan Truong, 2016, FDSE.

An Open and Flexible CyberSecurity Training Laboratory in IT/OT Infrastructures

Silvio Ranise, Lorenzo Nicolodi, Umberto Morelli, 2019, IOSec/MSTEC/FINSEC@ESORICS.

Automatic Combinability of Rewriting-Based Satisfiability Procedures

Hélène Kirchner, Christophe Ringeissen, Silvio Ranise, 2006, LPAR.

Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer Programs

Silvio Ranise, David Déharbe, Silvio Ranise, 2003, FTP.

On the verification of security-aware E-services

Silvio Ranise, 2012, J. Symb. Comput..

Automated and Efficient Analysis of Role-Based Access Control with Attributes

Alessandro Armando, Silvio Ranise, 2012, DBSec.

Content-based information protection and release in NATO operations

Alessandro Armando, Silvio Ranise, Sander Oudkerk, 2013, SACMAT '13.

Enroll, and Authentication Will Follow - eID-Based Enrollment for a Customized, Secure, and Frictionless Authentication Experience

Silvio Ranise, Giada Sciarretta, Alessandro Tomasi, 2019, FPS.

Security and Trust Management

Rafael Accorsi, Silvio Ranise, 2013, Lecture Notes in Computer Science.

Automated Termination in Model-Checking Modulo Theories

Silvio Ghilardi, Silvio Ranise, Alessandro Carioni, 2013, Int. J. Found. Comput. Sci..

Automated Analysis of Infinite State Workflows with Access Control Policies

Alessandro Armando, Silvio Ranise, 2011, STM.

On the Automated Analysis of Safety in Usage Control: A New Decidability Result

Alessandro Armando, Silvio Ranise, 2012, NSS.

Formal Analysis of Mobile Multi-Factor Authentication with Single Sign-On Login

Silvio Ranise, Roberto Carbone, Giada Sciarretta, 2020, ACM Trans. Priv. Secur..

Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures

Luca Viganò, Silvio Ranise, Michele Barletta, 2009, 2009 International Conference on Computational Science and Engineering.

Assisted content-based labelling and classification of documents

Alessandro Armando, Silvio Ranise, Konrad Wrona, 2016, 2016 International Conference on Military Communications and Information Systems (ICMCIS).

Symbolic backward reachability with effectively propositional logic

Silvio Ranise, 2013, Formal Methods Syst. Des..

Remote Attestation as a Service for IoT

Mauro Conti, Silvio Ranise, Md Masoom Rabbani, 2019, 2019 Sixth International Conference on Internet of Things: Systems, Management and Security (IOTSMS).

Attestation-enabled secure and scalable routing protocol for IoT networks

Mauro Conti, Silvio Ranise, Md Masoom Rabbani, 2020, Ad Hoc Networks.

Communication protocols for mathematical services

Alessandro Armando, Silvio Ranise, Michael Kohlase, 2001 .

Automated Validation of Security-Sensitive Web Services Specified in BPEL and RBAC

Luca Viganò, Silvio Ranise, Alberto Calvi, 2010, 2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.

A SMT-based methodology for monitoring of security-aware workflows

Clara Bertolissi, Silvio Ranise, 2014 .

Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module

Alessandro Armando, Alessio Merlo, Gianluca Bocci, 2015, MIST@CCS.

Reachability Modulo Theory Library

Roberto Bruttomesso, Silvio Ghilardi, Francesco Alberti, 2012, SMT@IJCAR.

Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience

Luca Viganò, Silvio Ranise, Roberto Carbone, 2018, POST.

Efficient symbolic automated analysis of administrative attribute-based RBAC-policies

Alessandro Armando, Francesco Alberti, Silvio Ranise, 2011, ASIACCS '11.

The Good, the Bad and the (Not So) Ugly of Out-of-Band Authentication with eID Cards and Push Notifications: Design, Formal and Risk Analysis

Silvio Ranise, Giada Sciarretta, Roberto Carbone, 2020, CODASPY.

Verifiable Contracting - A Use Case for Onboarding and Contract Offering in Financial Services with eIDAS and Verifiable Credentials

Silvio Ranise, Andrea Bisegna, Giulio Pellizzari, 2020, DETIPS/DeSECSys/MPS/SPOSE@ESORICS.

Scalable and precise automated analysis of administrative temporal role-based access control

Alessandro Armando, Silvio Ranise, Anh Tuan Truong, 2014, SACMAT '14.

ASASP: Automated Symbolic Analysis of Security Policies

Alessandro Armando, Francesco Alberti, Silvio Ranise, 2011, CADE.

On Superposition-Based Satisfiability Procedures and Their Combination

Hélène Kirchner, Christophe Ringeissen, Silvio Ranise, 2005, ICTAC.

The SMT-LIB Standard: Version 1.2

Cesare Tinelli, Silvio Ranise, C. Tinelli, 2005 .

Preface

Peter Baumgartner, Cesare Tinelli, Hans de Nivelle, 2005, Electron. Notes Theor. Comput. Sci..

Data and Applications Security and Privacy XXX

Vipin Swarup, Silvio Ranise, Silvio Ranise, 2016, Lecture Notes in Computer Science.

Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn

Christophe Ringeissen, Silvio Ranise, Duc-Khanh Tran, 2004, ICTAC.

Rewriting-based Quantifier-free Interpolation for a Theory of Arrays

Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, 2011, RTA.

A Theory of Singly-Linked Lists and its Extensible Decision Procedure

Calogero G. Zarba, Silvio Ranise, Silvio Ranise, 2006, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).

Efficient run-time solving of RBAC user authorization queries: pushing the envelope

Alessandro Armando, Bruno Crispo, Silvio Ranise, 2012, CODASPY '12.

Learning from Others' Mistakes: An Analysis of Cyber-security Incidents

Alberto Siena, Silvio Ranise, Giovanni Abbiati, 2019, IoTBDS.

On Run-Time Enforcement of Authorization Constraints in Security-Sensitive Workflows

Silvio Ranise, Daniel Ricardo dos Santos, 2017, SEFM.

An extension of lazy abstraction with interpolation for programs with arrays

Roberto Bruttomesso, Silvio Ghilardi, Francesco Alberti, 2014, Formal Methods Syst. Des..

Automated Synthesis of Run-time Monitors to Enforce Authorization Policies in Business Processes

Clara Bertolissi, Silvio Ranise, Daniel Ricardo dos Santos, 2015, AsiaCCS.

Boosting Model Checking to Analyse Large ARBAC Policies

Alessandro Armando, Silvio Ranise, Anh Tuan Truong, 2012, STM.

SPLIT: A Secure and Scalable RPL routing protocol for Internet of Things

Mauro Conti, Silvio Ranise, Md Masoom Rabbani, 2018, 2018 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob).

Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems: a case study

Elena Pagani, Gian Paolo Rossi, Silvio Ghilardi, 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Termination of Constraint Contextual Rewriting

Alessandro Armando, Silvio Ranise, 2000, FroCoS.

A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic

Alessandro Armando, Silvio Ranise, 2001, J. Univers. Comput. Sci..

MuFASA: A Tool for High-level Specification and Analysis of Multi-factor Authentication Protocols

Gabriele Costa, Silvio Ranise, Roberto Carbone, 2019, ETAA@ESORICS.

Efficient Satisfiability Modulo Theories via Delayed Theory Combination

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, 2005, CAV.

System Description: RDL : Rewrite and Decision Procedure Laboratory

Alessandro Armando, Silvio Ranise, Luca Compagna, 2001, IJCAR.

Automatic decidability and combinability

Christophe Ringeissen, Silvio Ranise, Duc-Khanh Tran, 2011, Inf. Comput..

On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal

Maria Paola Bonacina, Alessandro Armando, Silvio Ranise, 2005, FroCoS.

A Declarative Framework for Specifying and Enforcing Purpose-Aware Policies

Chiara Ghidini, Silvio Ranise, Riccardo De Masellis, 2015, STM.

From Non-Disjoint Combination to Satisfiability and Model-Checking of Infinite State Systems

Silvio Ghilardi, Silvio Ranise, Enrica Nicolini, 2007, Deduction and Decision Procedures.

A Lazy Approach to Access Control as a Service (ACaaS) for IoT: An AWS Case Study

Tahir Ahmad, Silvio Ranise, Nicola Zannone, 2018, SACMAT.

Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic

Calogero G. Zarba, Christophe Ringeissen, Silvio Ranise, 2005, FroCoS.

MCMT in the Land of Parametrized Timed Automata

Silvio Ghilardi, Silvio Ranise, Alessandro Carioni, 2010, VERIFY@IJCAR.

Abstraction-Driven Verification of Array Programs

Silvio Ranise, Abdessamad Imine, David Déharbe, 2004, AISC.

Proceedings of the 10th International Symposium on Frontiers of Combining Systems - Volume 9322

Carsten Lutz, Silvio Ranise, 2015 .

Modularity for Security-Sensitive Workflows pdf

Silvio Ranise, Daniel Ricardo dos Santos, Serena Elisa Ponta, 2015, ArXiv.

Formal Modelling and Automated Trade-off Analysis of Enforcement Architectures for Cryptographic Access Control in the Cloud

Adam J. Lee, Silvio Ranise, Roberto Carbone, 2022, ACM Trans. Priv. Secur..

Blockchain Based RAN Data Sharing

Claus Pahl, Silvio Ranise, Nabil El Ioini, 2021, 2021 IEEE International Conference on Smart Data Services (SMDS).

A Framework for Security and Risk Analysis of Enrollment Procedures: Application to Fully-remote Solutions based on eDocuments

Silvio Ranise, Giada Sciarretta, Marco Pernpruner, 2021, SECRYPT.

DoS Attacks in Available MQTT Implementations: Investigating the Impact on Brokers and Devices, and supported Anti-DoS Protections

Silvio Ranise, Enrico Cambiaso, Ivan Vaccari, 2021, ARES.

Can Data Subject Perception of Privacy Risks Be Useful in a Data Protection Impact Assessment?

Anderson Santana de Oliveira, Salimeh Dashti, Silvio Ranise, 2021, SECRYPT.

Roberto Riggio, Gianfranco Burzio, Silvio Ranise, 2021, IEEE Vehicular Technology Magazine.

Cryptographic Enforcement of Access Control Policies in the Cloud: Implementation and Experimental Assessment

Silvio Ranise, Roberto Carbone, Stefano Berlato, 2021, SECRYPT.

Automated Risk Assessment and What-if Analysis of OpenID Connect and OAuth 2.0 Deployments

Salimeh Dashti, Silvio Ranise, Roberto Carbone, 2021, DBSec.

Smart Card-Based Identity Management Protocols for V2V and V2I Communications in CCAM: A Systematic Literature Review

Silvio Ranise, Marco Centenaro, Stefano Berlato, 2021, IEEE Transactions on Intelligent Transportation Systems.

Extending access control in AWS IoT through event-driven functions: an experimental evaluation using a smart lock system

Silvio Ranise, Nicola Zannone, Umberto Morelli, 2021, International Journal of Information Security.

Secure Pull Printing with QR Codes and National eID Cards: A Software-oriented Design and an Open-source Implementation

Silvio Ranise, Giada Sciarretta, Umberto Morelli, 2021, CODASPY.

Do Security Reports Meet Usability?: Lessons Learned from Using Actionable Mitigations for Patching TLS Misconfigurations

Mariano Ceccato, Silvio Ranise, Giada Sciarretta, 2021, ARES.

Automated Provers doing (Higher-Order) Proof search: A Case Study in the Verication of Pointer Programs

Silvio Ranise, Silvio Ranise, Farhad Mehta, 2004 .

Satisfiability Solving for Program Verification : towards the Efficient Combination of Automated Theorem Provers and Satisfiability Modulo Theory Tools

Silvio Ranise, Silvio Ranise, 2006 .

Building Satisfiability Procedures for Verification : The Case Study of Sorting Algorithms

Silvio Ranise, Abdessamad Imine, Silvio Ranise, 2003 .

High-performance deduction for verification: a case study in the theory of arrays

Maria Paola Bonacina, Alessandro Armando, Silvio Ranise, 2002 .

BDD-Driven First-Order Satisfiability Procedures (Extended Version)

Silvio Ranise, David Déharbe, Silvio Ranise, 2002 .