Silvio Ranise

241 papers A* 2A 14B 27C 27Misc 9Journal 71Unranked 81
YearRankTypeTitle / Venue / Authors
2026 J jnl
A comparative benchmark study of LLM-based threat elicitation tools.
Future Gener. Comput. Syst.
Dimitri Van Landuyt, Majid Mollaeefar, Mario Raciti, Stef Verreydt, Abdulaziz Kalash, Andrea Bissoli, Davy Preuveneers, Giampaolo Bella, Silvio Ranise
2026 — ed.
Computer Security. ESORICS 2025 International Workshops - AutonomousCyber 2025, CPS4CIP 2025, DisA 2025, HS3 2025, MIST 2025, Toulouse, France, September 25-26, 2025, Revised Selected Papers, Part III
ESORICS Workshops (3)
Romain Laborde, Joaquín García-Alfaro, Abbas Yazdinejad, Gregory Epiphaniou, Habtamu Abie, Silvio Ranise, Michal Choras, Michal Wozniak, Yuko Hara, Jan Tobias Mühlberg, Claudia Greco, Kim-Kwang Raymond Choo
2025 — conf
A First Appraisal of NIS2 and CRA Compliance Leveraging Open Source Tools.
REW
Giovanni Corti, Gianluca Sassetti, Amir Sharif, Serena Elisa Ponta, Matteo Rizzi, Pietro De Matteis, Luca Piras, Roberto Carbone, Silvio Ranise
2025 J jnl
A methodology for the experimental performance evaluation of Access Control enforcement mechanisms based on business processes.
J. Inf. Secur. Appl.
Stefano Berlato, Roberto Carbone, Silvio Ranise
2025 J jnl
A secure and quality of service-aware solution for the end-to-end protection of IoT applications.
J. Netw. Comput. Appl.
Stefano Berlato, Umberto Morelli, Roberto Carbone, Silvio Ranise
2025 — conf
Adaptive Federated Learning with Functional Encryption: A Comparison of Classical and Quantum-safe Options.
FLLM
Enrico Sorbera, Federica Zanetti, Giacomo Brandi, Alessandro Tomasi, Roberto Doriguzzi Corin, Silvio Ranise
2025 J jnl
Adaptive Federated Learning with Functional Encryption: A Comparison of Classical and Quantum-safe Options.
CoRR
Enrico Sorbera, Federica Zanetti, Giacomo Brandi, Alessandro Tomasi, Roberto Doriguzzi Corin, Silvio Ranise
2025 — ed.
Computer Security. ESORICS 2024 International Workshops - SECAI, DisA, CPS4CIP, and SecAssure, Bydgoszcz, Poland, September 16-20, 2024, Revised Selected Papers, Part II
ESORICS Workshops (2)
Joaquín García-Alfaro, Harsha Kalutarage, Naoto Yanai, Rafal Kozik, Pawel Ksieniewicz, Michal Wozniak, Habtamu Abie, Silvio Ranise, Luca Verderame, Enrico Cambiaso, Rita Maria Ugarelli, Isabel Praça, Basel Katt, Sandeep Pirbhulal, Ankur Shukla, Marek Pawlicki, Michal Choras
2025 C conf
Enhancing National Digital Identity Systems: A Framework for Institutional and Technical Harm Prevention Inspired by Microsoft's Harms Modeling.
SECRYPT
Giovanni Corti, Gianluca Sassetti, Amir Sharif, Roberto Carbone, Silvio Ranise
2025 J jnl
Federated Learning in the Wild: A Comparative Study for Cybersecurity under Non-IID and Unbalanced Settings.
CoRR
Roberto Doriguzzi Corin, Petr Sabel, Silvio Cretti, Silvio Ranise
2025 — conf
Multi-entity Control-Based Risk Assessment: A European Digital Identity Wallet Use Case.
NordSec
Majid Mollaeefar, Amir Sharif, Zahra Ebadi Ansaroudi, Giada Sciarretta, Francesco Antonio Marino, Silvio Ranise
2025 J jnl
Navigating secure storage requirements for EUDI Wallets: a review paper.
EURASIP J. Inf. Secur.
Zahra Ebadi Ansaroudi, Giada Sciarretta, Andrea De Maria, Silvio Ranise
2025 — conf
PILLAR: LINDDUN Privacy Threat Modeling Using LLMs.
EuroS&P (Workshops)
Majid Mollaeefar, Andrea Bissoli, Dimitri Van Landuyt, Silvio Ranise
2025 J jnl
Public Key Accumulators for Revocation of Non-Anonymous Credentials.
IACR Cryptol. ePrint Arch.
Andrea Flamini, Silvio Ranise, Giada Sciarretta, Mario Scuro, Nicola Smaniotto, Alessandro Tomasi
2025 C conf
Relying on Trust to Balance Protection and Performance in Cryptographic Access Control.
SACMAT
Simone Brunello, Stefano Berlato, Roberto Carbone, Adam J. Lee, Silvio Ranise
2025 B conf
Secure and Reliable Digital Wallets: A Threat Model for Secure Storage in eIDAS 2.0.
DBSec
Zahra Ebadi Ansaroudi, Amir Sharif, Giada Sciarretta, Francesco Antonio Marino, Silvio Ranise
2025 — conf
Spotting Tell-Tale Visual Artifacts in Face Swapping Videos: Strengths and Pitfalls of CNN Detectors.
IWBF
Riccardo Ziglio, Cecilia Pasquini, Silvio Ranise
2025 J jnl
Spotting tell-tale visual artifacts in face swapping videos: strengths and pitfalls of CNN detectors.
CoRR
Riccardo Ziglio, Cecilia Pasquini, Silvio Ranise
2025 — conf
Toward Secure and Trustworthy Identity Management Systems: A Knowledge-Base Driven Approach.
STM
Gianluca Sassetti, Amir Sharif, Roberto Carbone, Silvio Ranise
2025 — conf
Towards Continuous Risk Assessment and Conformance Checking of IdM Deployments.
EuroS&P (Workshops)
Andrea Bisegna, Roberto Carbone, Laura Cristiano, Pietro De Matteis, Silvio Ranise
2025 — conf
Towards a Systematic Approach to Memory Safety: A Case Study Integrating Techniques and Practices Over the Software Development Life Cycle (SDLC).
3PGCIC
Isaia Tonini, Giacomo Nalli, Luca Piras, Pietro De Matteis, Stelios Kapetanakis, Silvio Ranise
2025 — conf
Work-in-Progress: Optimizing Performance of User Revocation in Cryptographic Access Control with Trusted Execution Environments.
EuroS&P (Workshops)
Ion Andy Ditu, Stefano Berlato, Matteo Busi, Roberto Carbone, Silvio Ranise
2024 — conf
A Risk-based Approach to Trustworthy AI Systems for Judicial Procedures.
Ital-IA
Majid Mollaeefar, Eleonora Marchesini, Roberto Carbone, Silvio Ranise
2024 J jnl
An Automated Multi-Layered Methodology to Assist the Secure and Risk-Aware Design of Multi-Factor Authentication Protocols.
IEEE Trans. Dependable Secur. Comput.
Marco Pernpruner, Roberto Carbone, Giada Sciarretta, Silvio Ranise
2024 C conf
Automating Compliance for Improving TLS Security Postures: An Assessment of Public Administration Endpoints.
SECRYPT
Riccardo Germenia, Salvatore Manfredi, Matteo Rizzi, Giada Sciarretta, Alessandro Tomasi, Silvio Ranise
2024 — conf
Beyond Screens: Investigating Identity Proofing for the Metaverse Through Cross-Device Flows.
iMETA
Marco Pernpruner, Cecilia Pasquini, Giada Sciarretta, Silvio Ranise
2024 A conf
CSRFing the SSO Waves: Security Testing of SSO-Based Account Linking Process.
EuroS&P
Andrea Bisegna, Matteo Bitussi, Roberto Carbone, Luca Compagna, Silvio Ranise, Avinash Sudhodanan
2024 — ed.
Computer Security. ESORICS 2023 International Workshops - CPS4CIP, ADIoT, SecAssure, WASP, TAURIN, PriST-AI, and SECAI, The Hague, The Netherlands, September 25-29, 2023, Revised Selected Papers, Part II
ESORICS Workshops (2)
Sokratis K. Katsikas, Habtamu Abie, Silvio Ranise, Luca Verderame, Enrico Cambiaso, Rita Maria Ugarelli, Isabel Praça, Wenjuan Li, Weizhi Meng, Steven Furnell, Basel Katt, Sandeep Pirbhulal, Ankur Shukla, Michele Ianni, Mila Dalla Preda, Kim-Kwang Raymond Choo, Miguel Pupo Correia, Abhishta Abhishta, Giovanni Sileno, Mina Alishahi, Harsha K. Kalutarage, Naoto Yanai
2024 J jnl
Enhancing Security Testing for Identity Management Implementations: Introducing Micro-Id-Gym Language and Micro-Id-Gym Testing Tool.
IEEE Secur. Priv.
Andrea Bisegna, Matteo Bitussi, Roberto Carbone, Silvio Ranise
2024 C conf
Modeling and Assessing Coercion Threats in Electronic Voting.
CRiSIS
Riccardo Longo, Majid Mollaeefar, Umberto Morelli, Chiara Spadafora, Alessandro Tomasi, Silvio Ranise
2024 Misc conf
Multi-Objective Microservice Orchestration: Balancing Security and Performance in CCAM.
ICIN
Stefano Berlato, Silvio Cretti, Domenico Siracusa, Silvio Ranise
2024 J jnl
On Cryptographic Mechanisms for the Selective Disclosure of Verifiable Credentials.
CoRR
Andrea Flamini, Giada Sciarretta, Mario Scuro, Amir Sharif, Alessandro Tomasi, Silvio Ranise
2024 J jnl
On cryptographic mechanisms for the selective disclosure of verifiable credentials.
J. Inf. Secur. Appl.
Andrea Flamini, Giada Sciarretta, Mario Scuro, Amir Sharif, Alessandro Tomasi, Silvio Ranise
2024 J jnl
PILLAR: an AI-Powered Privacy Threat Modeling Tool.
CoRR
Majid Mollaeefar, Andrea Bissoli, Silvio Ranise
2024 C conf
Protecting Digital Identity Wallet: A Threat Model in the Age of eIDAS 2.0.
CRiSIS
Amir Sharif, Zahra Ebadi Ansaroudi, Giada Sciarretta, Daniela Pöhn, Majid Mollaeefar, Wolfgang Hommel, Silvio Ranise
2023 C conf
A First Appraisal of Cryptographic Mechanisms for the Selective Disclosure of Verifiable Credentials.
SECRYPT
Andrea Flamini, Silvio Ranise, Giada Sciarretta, Mario Scuro, Amir Sharif, Alessandro Tomasi
2023 B conf
Assurance, Consent and Access Control for Privacy-Aware OIDC Deployments.
DBSec
Gianluca Sassetti, Amir Sharif, Giada Sciarretta, Roberto Carbone, Silvio Ranise
2023 — ed.
Computer Security. ESORICS 2022 International Workshops - CyberICPS 2022, SECPRE 2022, SPOSE 2022, CPS4CIP 2022, CDT&SECOMANE 2022, EIS 2022, and SecAssure 2022, Copenhagen, Denmark, September 26-30, 2022, Revised Selected Papers
CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS
Sokratis K. Katsikas, Frédéric Cuppens, Christos Kalloniatis, John Mylopoulos, Frank Pallas, Jörg Pohle, M. Angela Sasse, Habtamu Abie, Silvio Ranise, Luca Verderame, Enrico Cambiaso, Jorge Maestre Vidal, Marco Antonio Sotelo Monge, Massimiliano Albanese, Basel Katt, Sandeep Pirbhulal, Ankur Shukla
2023 B conf
Control is Nothing Without Trust a First Look into Digital Identity Wallet Trends.
DBSec
Zahra Ebadi Ansaroudi, Roberto Carbone, Giada Sciarretta, Silvio Ranise
2023 B conf
Cross-Domain Sharing of User Claims: A Design Proposal for OpenID Connect Attribute Authorities.
ARES
Amir Sharif, Francesco Antonio Marino, Giada Sciarretta, Giuseppe De Marco, Roberto Carbone, Silvio Ranise
2023 J jnl
Identifying and quantifying trade-offs in multi-stakeholder risk evaluation with applications to the data protection impact assessment of the GDPR.
Comput. Secur.
Majid Mollaeefar, Silvio Ranise
2023 C ed.
Proceedings of the 28th ACM Symposium on Access Control Models and Technologies, SACMAT 2023, Trento, Italy, June 7-9, 2023
SACMAT
Silvio Ranise, Roberto Carbone, Daniel Takabi
2023 — conf
Towards a Fine-Grained Threat Model for Video-Based Remote Identity Proofing.
PKDD/ECML Workshops (2)
Cecilia Pasquini, Marco Pernpruner, Giada Sciarretta, Silvio Ranise
2022 — conf
A Modular and Extensible Framework for Securing TLS.
CODASPY
Matteo Rizzi, Salvatore Manfredi, Giada Sciarretta, Silvio Ranise
2022 J jnl
Best current practices for OAuth/OIDC Native Apps: A study of their adoption in popular providers and top-ranked Android clients.
J. Inf. Secur. Appl.
Amir Sharif, Roberto Carbone, Giada Sciarretta, Silvio Ranise
2022 — ed.
Computer Security. ESORICS 2021 International Workshops - CyberICPS, SECPRE, ADIoT, SPOSE, CPS4CIP, and CDT&SECOMANE, Darmstadt, Germany, October 4-8, 2021, Revised Selected Papers
CyberICPS/SECPRE/ADIoT/SPOSE/CPS4CIP/CDT&SECOMANE@ESORICS
Sokratis K. Katsikas, Costas Lambrinoudakis, Nora Cuppens, John Mylopoulos, Christos Kalloniatis, Weizhi Meng, Steven Furnell, Frank Pallas, Jörg Pohle, M. Angela Sasse, Habtamu Abie, Silvio Ranise, Luca Verderame, Enrico Cambiaso, Jorge Maestre Vidal, Marco Antonio Sotelo Monge
2022 C conf
Demo: TLSAssistant v2: A Modular and Extensible Framework for Securing TLS.
SACMAT
Matteo Rizzi, Salvatore Manfredi, Giada Sciarretta, Silvio Ranise
2022 B conf
Distributed Enforcement of Access Control policies in Intelligent Transportation System (ITS) for Situation Awareness.
ARES
Tahir Ahmad, Umberto Morelli, Silvio Ranise
2022 J jnl
Empirical Validation on the Usability of Security Reports for Patching TLS Misconfigurations: User- and Case-Studies on Actionable Mitigations.
J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.
Salvatore Manfredi, Mariano Ceccato, Giada Sciarretta, Silvio Ranise
2022 B conf
End-to-End Protection of IoT Communications Through Cryptographic Enforcement of Access Control Policies.
DBSec
Stefano Berlato, Umberto Morelli, Roberto Carbone, Silvio Ranise
2022 J jnl
Extending access control in AWS IoT through event-driven functions: an experimental evaluation using a smart lock system.
Int. J. Inf. Sec.
Tahir Ahmad, Umberto Morelli, Silvio Ranise, Nicola Zannone
2022 J jnl
Formal Modelling and Automated Trade-off Analysis of Enforcement Architectures for Cryptographic Access Control in the Cloud.
ACM Trans. Priv. Secur.
Stefano Berlato, Roberto Carbone, Adam J. Lee, Silvio Ranise
2022 J jnl
Identifying and Quantifying Trade-offs in Multi-Stakeholder Risk Evaluation with Applications to the Data Protection Impact Assessment of the GDPR.
CoRR
Majid Mollaeefar, Silvio Ranise
2022 J jnl
Smart Card-Based Identity Management Protocols for V2V and V2I Communications in CCAM: A Systematic Literature Review.
IEEE Trans. Intell. Transp. Syst.
Stefano Berlato, Marco Centenaro, Silvio Ranise
2022 B conf
SoK: A Survey on Technological Trends for (pre)Notified eIDAS Electronic Identity Schemes.
ARES
Amir Sharif, Matteo Ranzi, Roberto Carbone, Giada Sciarretta, Silvio Ranise
2021 C conf
A Framework for Security and Risk Analysis of Enrollment Procedures: Application to Fully-remote Solutions based on eDocuments.
SECRYPT
Marco Pernpruner, Giada Sciarretta, Silvio Ranise
2021 — conf
Assessing the Effectiveness of the Shared Responsibility Model for Cloud Databases: the Case of Google's Firebase.
SMDS
Biniam Fisseha Demissie, Silvio Ranise
2021 — conf
Asset Sensitivity for Aligning Risk Assessment Across Multiple Units in Complex Organizations.
FPS
Carla Mascia, Silvio Ranise
2021 B conf
Automated Risk Assessment and What-if Analysis of OpenID Connect and OAuth 2.0 Deployments.
DBSec
Salimeh Dashti, Amir Sharif, Roberto Carbone, Silvio Ranise
2021 — conf
Blockchain Based RAN Data Sharing.
SMDS
Andreas Heider-Aviet, Danny Roswin Ollik, Stefano Berlato, Silvio Ranise, Roberto Carbone, Van Thanh Le, Nabil El Ioini, Claus Pahl, Hamid R. Barzegar
2021 C conf
Can Data Subject Perception of Privacy Risks Be Useful in a Data Protection Impact Assessment?
SECRYPT
Salimeh Dashti, Anderson Santana de Oliveira, Caelin Kaplan, Manuel Dalcastagné, Silvio Ranise
2021 C conf
Cryptographic Enforcement of Access Control Policies in the Cloud: Implementation and Experimental Assessment.
SECRYPT
Stefano Berlato, Roberto Carbone, Silvio Ranise
2021 — ed.
Cyber-Physical Security for Critical Infrastructures Protection - First International Workshop, CPS4CIP 2020, Guildford, UK, September 18, 2020, Revised Selected Papers
CPS4CIP
Habtamu Abie, Silvio Ranise, Luca Verderame, Enrico Cambiaso, Rita Maria Ugarelli, Gabriele Giunta, Isabel Praça, Federica Battisti
2021 B conf
Do Security Reports Meet Usability?: Lessons Learned from Using Actionable Mitigations for Patching TLS Misconfigurations.
ARES
Salvatore Manfredi, Mariano Ceccato, Giada Sciarretta, Silvio Ranise
2021 B conf
DoS Attacks in Available MQTT Implementations: Investigating the Impact on Brokers and Devices, and supported Anti-DoS Protections.
ARES
Umberto Morelli, Ivan Vaccari, Silvio Ranise, Enrico Cambiaso
2021 — conf
Integrating a Pentesting Tool for IdM Protocols in a Continuous Delivery Pipeline.
ETAA
Andrea Bisegna, Roberto Carbone, Silvio Ranise
2021 J jnl
Safety-Related Cooperative, Connected, and Automated Mobility Services: Interplay Between Functional and Security Requirements.
IEEE Veh. Technol. Mag.
Marco Centenaro, Stefano Berlato, Roberto Carbone, Gianfranco Burzio, Giuseppe Faranda Cordella, Roberto Riggio, Silvio Ranise
2021 — conf
Secure Pull Printing with QR Codes and National eID Cards: A Software-oriented Design and an Open-source Implementation.
CODASPY
Matteo Leonelli, Umberto Morelli, Giada Sciarretta, Silvio Ranise
2020 J jnl
Attestation-enabled secure and scalable routing protocol for IoT networks.
Ad Hoc Networks
Mauro Conti, Pallavi Kaliyar, Md Masoom Rabbani, Silvio Ranise
2020 — conf
Automated and Secure Integration of the OpenID Connect iGov Profile in Mobile Native Applications.
ETAA@ESORICS
Amir Sharif, Roberto Carbone, Giada Sciarretta, Silvio Ranise
2020 J jnl
Blockchain Tree as Solution for Distributed Storage of Personal ID Data and Document Access Control.
Sensors
Sergii Kushch, Yurii Baryshev, Silvio Ranise
2020 J jnl
Collective Remote Attestation at the Internet of Things Scale: State-of-the-Art and Future Challenges.
IEEE Commun. Surv. Tutorials
Moreno Ambrosin, Mauro Conti, Riccardo Lazzeretti, Md Masoom Rabbani, Silvio Ranise
2020 — ed.
Computer Security - ESORICS 2019 International Workshops, IOSec, MSTEC, and FINSEC, Luxembourg City, Luxembourg, September 26-27, 2019, Revised Selected Papers
IOSec/MSTEC/FINSEC@ESORICS
Apostolos P. Fournaris, Manos Athanatos, Konstantinos Lampropoulos, Sotiris Ioannidis, George Hatzivasilis, Ernesto Damiani, Habtamu Abie, Silvio Ranise, Luca Verderame, Alberto Siena, Joaquín García-Alfaro
2020 C conf
Deploying Access Control Enforcement for IoT in the Cloud-Edge Continuum with the help of the CAP Theorem.
SACMAT
Tahir Ahmad, Umberto Morelli, Silvio Ranise
2020 A conf
Exploring Architectures for Cryptographic Access Control Enforcement in the Cloud for Fun and Optimization.
AsiaCCS
Stefano Berlato, Roberto Carbone, Adam J. Lee, Silvio Ranise
2020 J jnl
Formal Analysis of Mobile Multi-Factor Authentication with Single Sign-On Login.
ACM Trans. Priv. Secur.
Giada Sciarretta, Roberto Carbone, Silvio Ranise, Luca Viganò
2020 J jnl
Merging Datasets of CyberSecurity Incidents for Fun and Insight.
Frontiers Big Data
Giovanni Abbiati, Silvio Ranise, Antonio Schizzerotto, Alberto Siena
2020 — conf
Micro-Id-Gym: A Flexible Tool for Pentesting Identity Management Protocols in the Wild and in the Laboratory.
ETAA@ESORICS
Andrea Bisegna, Roberto Carbone, Giulio Pellizzari, Silvio Ranise
2020 — conf
Multi-Stakeholder Cybersecurity Risk Assessment for Data Protection.
ICETE (2)
Majid Mollaeefar, Alberto Siena, Silvio Ranise
2020 J jnl
SARA: Secure Asynchronous Remote Attestation for IoT Systems.
IEEE Trans. Inf. Forensics Secur.
Edlira Dushku, Md Masoom Rabbani, Mauro Conti, Luigi V. Mancini, Silvio Ranise
2020 — conf
Security Considerations on 5G-Enabled Back-Situation Awareness for CCAM.
5G World Forum
Marco Centenaro, Stefano Berlato, Roberto Carbone, Gianfranco Burzio, Giuseppe Faranda Cordella, Silvio Ranise, Roberto Riggio
2020 — conf
TLSAssistant Goes FINSEC A Security Platform Integration Extending Threat Intelligence Language.
CPS4CIP
Salvatore Manfredi, Silvio Ranise, Giada Sciarretta, Alessandro Tomasi
2020 — conf
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.
CODASPY
Marco Pernpruner, Roberto Carbone, Silvio Ranise, Giada Sciarretta
2020 — conf
Verifiable Contracting - A Use Case for Onboarding and Contract Offering in Financial Services with eIDAS and Verifiable Credentials.
DETIPS/DeSECSys/MPS/SPOSE@ESORICS
Sérgio Manuel Nóbrega Gonçalves, Alessandro Tomasi, Andrea Bisegna, Giulio Pellizzari, Silvio Ranise
2019 — conf
A Tool-assisted Methodology for the Data Protection Impact Assessment.
ICETE (2)
Salimeh Dashti, Silvio Ranise
2019 — conf
A Wizard-based Approach for Secure Code Generation of Single Sign-On and Access Delegation Solutions for Mobile Native Apps.
ICETE (2)
Amir Sharif, Roberto Carbone, Silvio Ranise, Giada Sciarretta
2019 — conf
An Open and Flexible CyberSecurity Training Laboratory in IT/OT Infrastructures.
IOSec/MSTEC/FINSEC@ESORICS
Umberto Morelli, Lorenzo Nicolodi, Silvio Ranise
2019 — conf
Audit-Based Access Control with a Distributed Ledger: Applications to Healthcare Organizations.
STM
Umberto Morelli, Silvio Ranise, Damiano Sartori, Giada Sciarretta, Alessandro Tomasi
2019 J jnl
Blockchain Tree as Solution for Distributed Storage of Personal ID Data and Document Access Control.
CoRR
Sergii Kushch, Yurii Baryshev, Silvio Ranise
2019 J jnl
Blockchain Tree for eHealth.
CoRR
Sergii Kushch, Silvio Ranise, Giada Sciarretta
2019 — conf
Enroll, and Authentication Will Follow - eID-Based Enrollment for a Customized, Secure, and Frictionless Authentication Experience.
FPS
Silvio Ranise, Giada Sciarretta, Alessandro Tomasi
2019 C conf
Learning from Others' Mistakes: An Analysis of Cyber-security Incidents.
IoTBDS
Giovanni Abbiati, Silvio Ranise, Antonio Schizzerotto, Alberto Siena
2019 B conf
Lost in TLS? No More! Assisted Deployment of Secure TLS Configurations.
DBSec
Salvatore Manfredi, Silvio Ranise, Giada Sciarretta
2019 B conf
MQTTSA: A Tool for Automatically Assisting the Secure Deployments of MQTT Brokers.
SERVICES
Andrea Palmieri, Paolo Prem, Silvio Ranise, Umberto Morelli, Tahir Ahmad
2019 — conf
MuFASA: A Tool for High-level Specification and Analysis of Multi-factor Authentication Protocols.
ETAA@ESORICS
Federico Sinigaglia, Roberto Carbone, Gabriele Costa, Silvio Ranise
2019 — conf
Remote Attestation as a Service for IoT.
IoTSMS
Mauro Conti, Edlira Dushku, Luigi V. Mancini, Md Masoom Rabbani, Silvio Ranise
2019 — conf
Tool-Assisted Risk Analysis for Data Protection Impact Assessment.
Privacy and Identity Management
Salimeh Dashti, Silvio Ranise
2018 C conf
A Lazy Approach to Access Control as a Service (ACaaS) for IoT: An AWS Case Study.
SACMAT
Tahir Ahmad, Umberto Morelli, Silvio Ranise, Nicola Zannone
2018 J jnl
Automated and efficient analysis of administrative temporal RBAC policies with role hierarchies.
J. Comput. Secur.
Silvio Ranise, Anh Tuan Truong, Luca Viganò
2018 — conf
Design and Security Assessment of Usable Multi-factor Authentication and Single Sign-On Solutions for Mobile Applications - A Workshop Experience Report.
Privacy and Identity Management
Roberto Carbone, Silvio Ranise, Giada Sciarretta
2018 — conf
Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience.
POST
Giada Sciarretta, Roberto Carbone, Silvio Ranise, Luca Viganò
2018 — conf
PADS: Practical Attestation for Highly Dynamic Swarm Topologies.
SIoT
Moreno Ambrosin, Mauro Conti, Riccardo Lazzeretti, Md Masoom Rabbani, Silvio Ranise
2018 J jnl
PADS: Practical Attestation for Highly Dynamic Swarm Topologies.
CoRR
Moreno Ambrosin, Mauro Conti, Riccardo Lazzeretti, Md Masoom Rabbani, Silvio Ranise
2018 B conf
SPLIT: A Secure and Scalable RPL routing protocol for Internet of Things.
WiMob
Mauro Conti, Pallavi Kaliyar, Md Masoom Rabbani, Silvio Ranise
2018 C conf
Solving Multi-Objective Workflow Satisfiability Problems with Optimization Modulo Theories Techniques.
SACMAT
Clara Bertolissi, Daniel Ricardo dos Santos, Silvio Ranise
2018 — conf
Validating Requirements of Access Control for Cloud-Edge IoT Solutions (Short Paper).
FPS
Tahir Ahmad, Silvio Ranise
2017 J jnl
A Survey on Workflow Satisfiability, Resiliency, and Related Problems.
CoRR
Daniel Ricardo dos Santos, Silvio Ranise
2017 — conf
Aegis: Automatic Enforcement of Security Policies in Workflow-driven Web Applications.
CODASPY
Luca Compagna, Daniel Ricardo dos Santos, Serena Elisa Ponta, Silvio Ranise
2017 J jnl
Anatomy of the Facebook solution for mobile single sign-on: Security assessment and improvements.
Comput. Secur.
Giada Sciarretta, Roberto Carbone, Silvio Ranise, Alessandro Armando
2017 Misc conf
Assisted Authoring, Analysis and Enforcement of Access Control Policies in the Cloud.
SEC
Umberto Morelli, Silvio Ranise
2017 — conf
Automated Legal Compliance Checking by Security Policy Analysis.
SAFECOMP Workshops
Silvio Ranise, Hari Siswantoro
2017 J jnl
Automatically finding execution scenarios to deploy security-sensitive workflows.
J. Comput. Secur.
Daniel Ricardo dos Santos, Silvio Ranise, Luca Compagna, Serena Elisa Ponta
2017 J jnl
Formal analysis of XACML policies using SMT.
Comput. Secur.
Fatih Turkmen, Jerry den Hartog, Silvio Ranise, Nicola Zannone
2017 B conf
On Run-Time Enforcement of Authorization Constraints in Security-Sensitive Workflows.
SEFM
Daniel Ricardo dos Santos, Silvio Ranise
2017 J jnl
Scalable Automated Analysis of Access Control and Privacy Policies.
Trans. Large Scale Data Knowl. Centered Syst.
Anh Truong, Silvio Ranise, Thanh Tung Nguyen
2017 C conf
Security Analysis and Legal Compliance Checking for the Design of Privacy-friendly Information Systems.
SACMAT
Paolo Guarda, Silvio Ranise, Hari Siswantoro
2017 — conf
Toward secure and efficient attestation for highly dynamic swarms: poster.
WISEC
Moreno Ambrosin, Mauro Conti, Riccardo Lazzeretti, Md Masoom Rabbani, Silvio Ranise
2016 — conf
A delegated authorization solution for smart-city mobile applications.
RTSI
Giada Sciarretta, Roberto Carbone, Silvio Ranise
2016 — conf
ASASPXL: New Clother for Analysing ARBAC Policies.
FDSE
Anh Tuan Truong, Silvio Ranise
2016 — conf
Assisted content-based labelling and classification of documents.
ICMCIS
Konrad S. Wrona, Sander Oudkerk, Alessandro Armando, Silvio Ranise, Riccardo Traverso, Lisa Ferrari, Richard McEvoy
2016 A conf
Cerberus: Automated Synthesis of Enforcement Mechanisms for Security-Sensitive Business Processes.
TACAS
Luca Compagna, Daniel Ricardo dos Santos, Serena Elisa Ponta, Silvio Ranise
2016 B ed.
Data and Applications Security and Privacy XXX - 30th Annual IFIP WG 11.3 Conference, DBSec 2016, Trento, Italy, July 18-20, 2016. Proceedings
DBSec
Silvio Ranise, Vipin Swarup
2016 C conf
Modular Synthesis of Enforcement Mechanisms for the Workflow Satisfiability Problem: Scalability and Reusability.
SACMAT
Daniel Ricardo dos Santos, Serena Elisa Ponta, Silvio Ranise
2016 J jnl
Parameterized model checking for security policy analysis.
Int. J. Softw. Tools Technol. Transf.
Silvio Ranise, Anh Tuan Truong, Riccardo Traverso
2016 — conf
SMT-based Enforcement and Analysis of NATO Content-based Protection and Release Policies.
ABAC@CODASPY
Alessandro Armando, Silvio Ranise, Riccardo Traverso, Konrad S. Wrona
2016 C conf
Security of Mobile Single Sign-On: A Rational Reconstruction of Facebook Login Solution.
SECRYPT
Giada Sciarretta, Alessandro Armando, Roberto Carbone, Silvio Ranise
2015 — conf
A Declarative Framework for Specifying and Enforcing Purpose-Aware Policies.
STM
Riccardo De Masellis, Chiara Ghidini, Silvio Ranise
2015 J jnl
A Declarative Framework for Specifying and Enforcing Purpose-aware Policies.
CoRR
Riccardo De Masellis, Chiara Ghidini, Silvio Ranise
2015 C conf
A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies.
SACMAT
Alessandro Armando, Silvio Ranise, Riccardo Traverso, Konrad S. Wrona
2015 — conf
Analysis of XACML Policies with SMT.
POST
Fatih Turkmen, Jerry den Hartog, Silvio Ranise, Nicola Zannone
2015 B conf
Assisting the Deployment of Security-Sensitive Workflows by Finding Execution Scenarios.
DBSec
Daniel Ricardo dos Santos, Silvio Ranise, Luca Compagna, Serena Elisa Ponta
2015 A conf
Automated Synthesis of Run-time Monitors to Enforce Authorization Policies in Business Processes.
AsiaCCS
Clara Bertolissi, Daniel Ricardo dos Santos, Silvio Ranise
2015 Misc conf
Automated analysis of RBAC policies with temporal constraints and static role hierarchies.
SAC
Silvio Ranise, Anh Tuan Truong, Luca Viganò
2015 — conf
Compiling NATO authorization policies for enforcement in the cloud and SDNs.
CNS
Alessandro Armando, Silvio Ranise, Riccardo Traverso, Konrad S. Wrona
2015 — ed.
Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings
FroCoS
Carsten Lutz, Silvio Ranise
2015 — conf
Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module.
MIST@CCS
Alessandro Armando, Gianluca Bocci, Gabriele Costa, Rocco Mammoliti, Alessio Merlo, Silvio Ranise, Riccardo Traverso, Andrea Valenza
2015 C conf
Modeling Authorization Policies for Web Services in Presence of Transitive Dependencies.
SECRYPT
Worachet Uttha, Clara Bertolissi, Silvio Ranise
2015 J jnl
Modularity for Security-Sensitive Workflows.
CoRR
Daniel Ricardo dos Santos, Silvio Ranise, Serena Elisa Ponta
2014 — conf
ALPS: An Action Language for Policy Specification and Automated Safety Analysis.
STM
Silvio Ranise, Riccardo Traverso
2014 J jnl
An extension of lazy abstraction with interpolation for programs with arrays.
Formal Methods Syst. Des.
Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina
2014 C conf
Attribute based access control for APIs in spring security.
SACMAT
Alessandro Armando, Roberto Carbone, Eyasu Getahun Chekole, Silvio Ranise
2014 B conf
Incremental Analysis of Evolving Administrative Role Based Access Control Policies.
DBSec
Silvio Ranise, Anh Tuan Truong
2014 J jnl
Quantifier-free interpolation in combinations of equality interpolating theories.
ACM Trans. Comput. Log.
Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise
2014 C conf
Scalable and precise automated analysis of administrative temporal role-based access control.
SACMAT
Silvio Ranise, Anh Tuan Truong, Alessandro Armando
2014 — conf
Selective Release of Smart Metering Data in Multi-domain Smart Grids.
SmartGridSec
Alessandro Armando, Roberto Carbone, Eyasu Getahun Chekole, Claudio Petrazzuolo, Andrea Ranalli, Silvio Ranise
2014 — conf
Towards a Reference Architecture for Access Control in Distributed Web Applications.
ESSoS Doctoral Symposium
Worachet Uttha, Clara Bertolissi, Silvio Ranise
2013 — conf
A methodology to build run-time monitors for security-aware workflows.
ICITST
Clara Bertolissi, Silvio Ranise
2013 J jnl
Automated Termination in Model-Checking Modulo Theories.
Int. J. Found. Comput. Sci.
Alessandro Carioni, Silvio Ghilardi, Silvio Ranise
2013 C conf
Content-based information protection and release in NATO operations.
SACMAT
Alessandro Armando, Matteo Grasso, Sander Oudkerk, Silvio Ranise, Konrad S. Wrona
2013 — conf
Formal Modelling of Content-Based Protection and Release for Access Control in NATO Operations.
FPS
Alessandro Armando, Sander Oudkerk, Silvio Ranise, Konrad S. Wrona
2013 — ed.
Security and Trust Management - 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings
STM
Rafael Accorsi, Silvio Ranise
2013 J jnl
Symbolic backward reachability with effectively propositional logic - Applications to security policy analysis.
Formal Methods Syst. Des.
Silvio Ranise
2013 — conf
Verification of Composed Array-Based Systems with Applications to Security-Aware Workflows.
FroCos
Clara Bertolissi, Silvio Ranise
2012 — conf
Automated Analysis of Parametric Timing-Based Mutual Exclusion Algorithms.
NASA Formal Methods
Roberto Bruttomesso, Alessandro Carioni, Silvio Ghilardi, Silvio Ranise
2012 — conf
Automated Analysis of Scenario-Based Specifications of Distributed Access Control Policies with Non-mechanizable Activities.
STM
Michele Barletta, Silvio Ranise, Luca Viganò
2012 J jnl
Automated Analysis of Scenario-based Specifications of Distributed Access Control Policies with Non-Mechanizable Activities (Extended Version).
CoRR
Michele Barletta, Silvio Ranise, Luca Viganò
2012 B conf
Automated and Efficient Analysis of Role-Based Access Control with Attributes.
DBSec
Alessandro Armando, Silvio Ranise
2012 — conf
Boosting Model Checking to Analyse Large ARBAC Policies.
STM
Silvio Ranise, Anh Tuan Truong, Alessandro Armando
2012 — conf
Efficient run-time solving of RBAC user authorization queries: pushing the envelope.
CODASPY
Alessandro Armando, Silvio Ranise, Fatih Turkmen, Bruno Crispo
2012 J jnl
From Strong Amalgamability to Modularity of Quantifier-Free Interpolation
CoRR
Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise
2012 A conf
From Strong Amalgamability to Modularity of Quantifier-Free Interpolation.
IJCAR
Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise
2012 B conf
Lazy Abstraction with Interpolants for Arrays.
LPAR
Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina
2012 B conf
On the Automated Analysis of Safety in Usage Control: A New Decidability Result.
NSS
Silvio Ranise, Alessandro Armando
2012 J jnl
On the verification of security-aware E-services.
J. Symb. Comput.
Silvio Ranise
2012 J jnl
Quantifier-Free Interpolation of a Theory of Arrays
Log. Methods Comput. Sci.
Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise
2012 — conf
Reachability Modulo Theory Library.
SMT@IJCAR
Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina
2012 A* conf
SAFARI: SMT-Based Abstraction for Arrays with Interpolants.
CAV
Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina
2012 J jnl
Scalable automated symbolic analysis of administrative role-based access control policies by SMT solving.
J. Comput. Secur.
Alessandro Armando, Silvio Ranise
2012 J jnl
Universal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories.
J. Satisf. Boolean Model. Comput.
Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, Gian Paolo Rossi
2011 — conf
A Combination of Rewriting and Constraint Solving for the Quantifier-Free Interpolation of Arrays with Integer Difference Constraints.
FroCoS
Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise
2011 J jnl
A declarative two-level framework to specify and verify workflow and authorization policies in service-oriented architectures.
Serv. Oriented Comput. Appl.
Michele Barletta, Silvio Ranise, Luca Viganò
2011 A conf
ASASP: Automated Symbolic Analysis of Security Policies.
CADE
Francesco Alberti, Alessandro Armando, Silvio Ranise
2011 — conf
Automated Analysis of Infinite State Workflows with Access Control Policies.
STM
Alessandro Armando, Silvio Ranise
2011 — conf
Automated Analysis of Semantic-Aware Access Control Policies: A Logic-Based Approach.
ICSC
Alessandro Armando, Roberto Carbone, Silvio Ranise
2011 — conf
Automated Termination in Model Checking Modulo Theories.
RP
Alessandro Carioni, Silvio Ghilardi, Silvio Ranise
2011 J jnl
Automatic decidability and combinability.
Inf. Comput.
Christopher Lynch, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
2011 A conf
Efficient symbolic automated analysis of administrative attribute-based RBAC-policies.
AsiaCCS
Francesco Alberti, Alessandro Armando, Silvio Ranise
2011 — conf
Rewriting-based Quantifier-free Interpolation for a Theory of Arrays.
RTA
Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise
2011 J jnl
Workflow and Access Control Reloaded: a Declarative Specification Framework for the Automated Analysis of Web Services.
Scalable Comput. Pract. Exp.
Michele Barletta, Alberto Calvi, Silvio Ranise, Luca Viganò, Luca Zanetti
2010 J jnl
Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems: a case study.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, Gian Paolo Rossi
2010 J jnl
Automated Symbolic Analysis of ARBAC-Policies (Extended Version)
CoRR
Ranise Armando, Silvio Ranise
2010 — conf
Automated Symbolic Analysis of ARBAC-Policies.
STM
Alessandro Armando, Silvio Ranise
2010 Misc conf
Automated Validation of Security-Sensitive Web Services Specified in BPEL and RBAC.
SYNASC
Alberto Calvi, Silvio Ranise, Luca Viganò
2010 J jnl
Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC (Extended Version)
CoRR
Alberto Calvi, Silvio Ranise, Luca Viganò
2010 J jnl
Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis
Log. Methods Comput. Sci.
Silvio Ghilardi, Silvio Ranise
2010 A conf
Brief Announcement: Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems - A Case Study.
DISC
Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, Gian Paolo Rossi
2010 J jnl
Combination of convex theories: Modularity, deduction completeness, and explanation.
J. Symb. Comput.
Duc-Khanh Tran, Christophe Ringeissen, Silvio Ranise, Hélène Kirchner
2010 — conf
MCMT in the Land of Parametrized Timed Automata.
VERIFY@IJCAR
Alessandro Carioni, Silvio Ghilardi, Silvio Ranise
2010 A conf
MCMT: A Model Checker Modulo Theories.
IJCAR
Silvio Ghilardi, Silvio Ranise
2010 — conf
The SMT-LIB Initiative and the Rise of SMT - (HVC 2010 Award Talk).
Haifa Verification Conference
Clark W. Barrett, Leonardo Mendonça de Moura, Silvio Ranise, Aaron Stump, Cesare Tinelli
2010 Misc conf
WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications.
SYNASC
Michele Barletta, Alberto Calvi, Silvio Ranise, Luca Viganò, Luca Zanetti
2009 B conf
Goal-Directed Invariant Synthesis for Model Checking Modulo Theories.
TABLEAUX
Silvio Ghilardi, Silvio Ranise
2009 J jnl
New results on rewrite-based satisfiability procedures.
ACM Trans. Comput. Log.
Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz
2009 J jnl
Preface.
Ann. Math. Artif. Intell.
Silvio Ranise, Ullrich Hustadt
2009 J jnl
Satisfiability solving for software verification.
Int. J. Softw. Tools Technol. Transf.
David Déharbe, Silvio Ranise
2009 — conf
Towards the Verification of Security-Aware Transaction E-services.
FTP
Silvio Ranise
2009 J jnl
Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures (Full version)
CoRR
Michele Barletta, Silvio Ranise, Luca Viganò
2009 — conf
Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures.
CSE (3)
Michele Barletta, Silvio Ranise, Luca Viganò
2008 J jnl
A Prototype Implementation of a Distributed Satisfiability Modulo Theories Solver in the ToolBus Framework.
J. Braz. Comput. Soc.
David Déharbe, Silvio Ranise, Jorgiano Vidal
2008 — conf
Light-Weight SMT-based Model Checking.
AVoCS
Silvio Ghilardi, Silvio Ranise, Thomas Valsecchi
2008 A conf
Towards SMT Model Checking of Array-Based Systems.
IJCAR
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli
2007 C conf
Building Extended Canonizers by Graph-Based Deduction.
ICTAC
Silvio Ranise, Christelle Scharff
2007 A conf
Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems.
CADE
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli
2007 — conf
Combining Proof-Producing Decision Procedures.
FroCoS
Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
2007 J jnl
Decision procedures for extensions of the theory of arrays.
Ann. Math. Artif. Intell.
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli
2007 — conf
From Non-Disjoint Combination to Satisfiability and Model-Checking of Infinite State Systems.
Deduction and Decision Procedures
Silvio Ghilardi, Silvio Ranise, Enrica Nicolini, Daniele Zucchelli
2007 — conf
Noetherianity and Combination Problems.
FroCoS
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli
2006 B conf
A Theory of Singly-Linked Lists and its Extensible Decision Procedure.
SEFM
Silvio Ranise, Calogero G. Zarba
2006 B conf
Automatic Combinability of Rewriting-Based Satisfiability Procedures.
LPAR
Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
2006 A conf
Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures.
IJCAR
Maria Paola Bonacina, Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli
2006 B conf
Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies.
JELIA
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli
2006 C conf
Decision Procedures for the Formal Analysis of Software.
ICTAC
David Déharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen
2006 J jnl
Efficient theory combination via boolean search.
Inf. Comput.
Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani
2006 J jnl
Intelligent Systems and Formal Methods in Software Engineering.
IEEE Intell. Syst.
Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani
2006 J jnl
New results on rewrite-based satisfiability procedures
CoRR
Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz
2005 — conf
Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic.
FroCoS
Silvio Ranise, Christophe Ringeissen, Calogero G. Zarba
2005 — conf
Distributing the Workload in a Lazy Theorem-Prover.
SBMF
David Déharbe, Silvio Ranise, Jorgiano Vidal
2005 A* conf
Efficient Satisfiability Modulo Theories via Delayed Theory Combination.
CAV
Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani
2005 C conf
On Superposition-Based Satisfiability Procedures and Their Combination.
ICTAC
Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
2005 — conf
On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal.
FroCoS
Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz
2005 — conf
Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation.
Mechanizing Mathematical Reasoning
Alessandro Armando, Luca Compagna, Silvio Ranise
2005 — ed.
Selected Papers from the Workshops on Disproving, D@IJCAR 2004, and the Second International Workshop on Pragmatics of Decision Procedures, PDPAR@IJCAR 2004, Cork, Ireland, July 2004
D/PDPAR@IJCAR
Wolfgang Ahrendt, Peter Baumgartner, Hans de Nivelle, Silvio Ranise, Cesare Tinelli
2004 Misc conf
Abstraction-Driven Verification of Array Programs.
AISC
David Déharbe, Abdessamad Imine, Silvio Ranise
2004 B conf
Combining Lists with Non-stably Infinite Theories.
LPAR
Pascal Fontaine, Silvio Ranise, Calogero G. Zarba
2004 C conf
Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn.
ICTAC
Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
2004 — conf
Preface.
D/PDPAR@IJCAR
Wolfgang Ahrendt, Peter Baumgartner, Hans de Nivelle, Silvio Ranise, Cesare Tinelli
2004 J jnl
Scalable Automated Proving and Debugging of Set-Based Specifications.
J. Braz. Comput. Soc.
Jean-François Couchot, David Déharbe, Alain Giorgetti, Silvio Ranise
2003 J jnl
A rewriting approach to satisfiability procedures.
Inf. Comput.
Alessandro Armando, Silvio Ranise, Michaël Rusinowitch
2003 — conf
Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer Programs.
FTP
Silvio Ranise, David Déharbe
2003 J jnl
Constraint contextual rewriting.
J. Symb. Comput.
Alessandro Armando, Silvio Ranise
2003 B conf
Light-Weight Theorem Proving for Debugging and Verifying Units of Code.
SEFM
David Déharbe, Silvio Ranise
2003 — conf
Proving and Debugging Set-Based Specifications.
WMF
Jean-François Couchot, Frédéric Dadeau, David Déharbe, Alain Giorgetti, Silvio Ranise
2002 Misc conf
Combining Generic and Domain Specific Reasoning by Using Contexts.
AISC
Silvio Ranise
2001 J jnl
A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic.
J. Univers. Comput. Sci.
Alessandro Armando, Silvio Ranise
2001 A conf
System Description: RDL : Rewrite and Decision Procedure Laboratory.
IJCAR
Alessandro Armando, Luca Compagna, Silvio Ranise
2001 J jnl
The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics.
J. Symb. Comput.
Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia, Silvio Ranise
2001 A conf
The Phase Transition of the Linear Inequalities Problem.
CP
Alessandro Armando, Felice Peccia, Silvio Ranise
2001 B conf
Uniform Derivation of Decision Procedures by Superposition.
CSL
Alessandro Armando, Silvio Ranise, Michaël Rusinowitch
2000 — conf
Termination of Constraint Contextual Rewriting.
FroCoS
Alessandro Armando, Silvio Ranise
1998 Misc conf
Constraint Solving in Logic Programming and in Automated Deduction: A Comparison.
AIMSA
Alessandro Armando, Erica Melis, Silvio Ranise
1998 Misc conf
From Integrated Reasoning Specialists to "Plug-and-Play" Reasoning Components.
AISC
Alessandro Armando, Silvio Ranise