default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSilvio Ranise
Person information
- affiliation: INRIA, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j48]Andrea Bisegna
, Matteo Bitussi, Roberto Carbone, Silvio Ranise:
Enhancing Security Testing for Identity Management Implementations: Introducing Micro-Id-Gym Language and Micro-Id-Gym Testing Tool. IEEE Secur. Priv. 22(6): 50-61 (2024)- [j47]Andrea Flamini, Giada Sciarretta, Mario Scuro, Amir Sharif, Alessandro Tomasi, Silvio Ranise:
On cryptographic mechanisms for the selective disclosure of verifiable credentials. J. Inf. Secur. Appl. 83: 103789 (2024) - [j46]Marco Pernpruner, Roberto Carbone, Giada Sciarretta, Silvio Ranise:
An Automated Multi-Layered Methodology to Assist the Secure and Risk-Aware Design of Multi-Factor Authentication Protocols. IEEE Trans. Dependable Secur. Comput. 21(4): 1935-1950 (2024) - [c142]Andrea Bisegna, Matteo Bitussi, Roberto Carbone, Luca Compagna, Silvio Ranise, Avinash Sudhodanan:
CSRFing the SSO Waves: Security Testing of SSO-Based Account Linking Process. EuroS&P 2024: 139-154 - [c141]Stefano Berlato, Silvio Cretti, Domenico Siracusa, Silvio Ranise:
Multi-Objective Microservice Orchestration: Balancing Security and Performance in CCAM. ICIN 2024: 88-90 - [c140]Majid Mollaeefar, Eleonora Marchesini, Roberto Carbone, Silvio Ranise:
A Risk-based Approach to Trustworthy AI Systems for Judicial Procedures. Ital-IA 2024: 95-100 - [c139]Riccardo Germenia, Salvatore Manfredi, Matteo Rizzi, Giada Sciarretta, Alessandro Tomasi, Silvio Ranise:
Automating Compliance for Improving TLS Security Postures: An Assessment of Public Administration Endpoints. SECRYPT 2024: 450-458 - [e10]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:
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. Lecture Notes in Computer Science 14399, Springer 2024, ISBN 978-3-031-54128-5 [contents] - [i16]Andrea Flamini, Giada Sciarretta, Mario Scuro, Amir Sharif, Alessandro Tomasi, Silvio Ranise:
On Cryptographic Mechanisms for the Selective Disclosure of Verifiable Credentials. CoRR abs/2401.08196 (2024) - [i15]Majid Mollaeefar, Andrea Bissoli, Silvio Ranise:
PILLAR: an AI-Powered Privacy Threat Modeling Tool. CoRR abs/2410.08755 (2024) - 2023
- [j45]Majid Mollaeefar, Silvio Ranise:
Identifying and quantifying trade-offs in multi-stakeholder risk evaluation with applications to the data protection impact assessment of the GDPR. Comput. Secur. 129: 103206 (2023) - [c138]Amir Sharif, Francesco Antonio Marino, Giada Sciarretta, Giuseppe De Marco, Roberto Carbone, Silvio Ranise:
Cross-Domain Sharing of User Claims: A Design Proposal for OpenID Connect Attribute Authorities. ARES 2023: 20:1-20:11 - [c137]Zahra Ebadi Ansaroudi, Roberto Carbone, Giada Sciarretta, Silvio Ranise:
Control is Nothing Without Trust a First Look into Digital Identity Wallet Trends. DBSec 2023: 113-132 - [c136]Gianluca Sassetti, Amir Sharif, Giada Sciarretta, Roberto Carbone, Silvio Ranise:
Assurance, Consent and Access Control for Privacy-Aware OIDC Deployments. DBSec 2023: 203-222 - [c135]Cecilia Pasquini, Marco Pernpruner, Giada Sciarretta, Silvio Ranise:
Towards a Fine-Grained Threat Model for Video-Based Remote Identity Proofing. PKDD/ECML Workshops (2) 2023: 531-536 - [c134]Andrea Flamini, Silvio Ranise, Giada Sciarretta, Mario Scuro, Amir Sharif, Alessandro Tomasi:
A First Appraisal of Cryptographic Mechanisms for the Selective Disclosure of Verifiable Credentials. SECRYPT 2023: 123-134 - [e9]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:
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. Lecture Notes in Computer Science 13785, Springer 2023, ISBN 978-3-031-25459-8 [contents] - [e8]Silvio Ranise, Roberto Carbone, Daniel Takabi:
Proceedings of the 28th ACM Symposium on Access Control Models and Technologies, SACMAT 2023, Trento, Italy, June 7-9, 2023. ACM 2023 [contents] - 2022
- [j44]Tahir Ahmad, Umberto Morelli, Silvio Ranise, Nicola Zannone:
Extending access control in AWS IoT through event-driven functions: an experimental evaluation using a smart lock system. Int. J. Inf. Sec. 21(2): 379-408 (2022) - [j43]Amir Sharif, Roberto Carbone, Giada Sciarretta, Silvio Ranise:
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. 65: 103097 (2022) - [j42]Salvatore Manfredi, Mariano Ceccato, Giada Sciarretta, Silvio Ranise:
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. 13(1): 56-86 (2022) - [j41]Stefano Berlato, Roberto Carbone, Adam J. Lee, Silvio Ranise:
Formal Modelling and Automated Trade-off Analysis of Enforcement Architectures for Cryptographic Access Control in the Cloud. ACM Trans. Priv. Secur. 25(1): 2:1-2:37 (2022) - [j40]Stefano Berlato, Marco Centenaro, Silvio Ranise:
Smart Card-Based Identity Management Protocols for V2V and V2I Communications in CCAM: A Systematic Literature Review. IEEE Trans. Intell. Transp. Syst. 23(8): 10086-10103 (2022) - [c133]Amir Sharif, Matteo Ranzi, Roberto Carbone, Giada Sciarretta, Silvio Ranise:
SoK: A Survey on Technological Trends for (pre)Notified eIDAS Electronic Identity Schemes. ARES 2022: 85:1-85:10 - [c132]Tahir Ahmad, Umberto Morelli, Silvio Ranise:
Distributed Enforcement of Access Control policies in Intelligent Transportation System (ITS) for Situation Awareness. ARES 2022: 86:1-86:10 - [c131]Matteo Rizzi, Salvatore Manfredi, Giada Sciarretta, Silvio Ranise:
A Modular and Extensible Framework for Securing TLS. CODASPY 2022: 119-124 - [c130]Stefano Berlato, Umberto Morelli, Roberto Carbone, Silvio Ranise:
End-to-End Protection of IoT Communications Through Cryptographic Enforcement of Access Control Policies. DBSec 2022: 236-255 - [c129]Matteo Rizzi, Salvatore Manfredi, Giada Sciarretta, Silvio Ranise:
Demo: TLSAssistant v2: A Modular and Extensible Framework for Securing TLS. SACMAT 2022: 271-272 - [e7]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:
Computer Security. ESORICS 2021 International Workshops - CyberICPS, SECPRE, ADIoT, SPOSE, CPS4CIP, and CDT&SECOMANE, Darmstadt, Germany, October 4-8, 2021, Revised Selected Papers. Lecture Notes in Computer Science 13106, Springer 2022, ISBN 978-3-030-95483-3 [contents] - [i14]Majid Mollaeefar, Silvio Ranise:
Identifying and Quantifying Trade-offs in Multi-Stakeholder Risk Evaluation with Applications to the Data Protection Impact Assessment of the GDPR. CoRR abs/2207.07385 (2022) - 2021
- [j39]Marco Centenaro, Stefano Berlato, Roberto Carbone, Gianfranco Burzio, Giuseppe Faranda Cordella, Roberto Riggio, Silvio Ranise:
Safety-Related Cooperative, Connected, and Automated Mobility Services: Interplay Between Functional and Security Requirements. IEEE Veh. Technol. Mag. 16(4): 78-88 (2021) - [c128]Umberto Morelli, Ivan Vaccari, Silvio Ranise, Enrico Cambiaso:
DoS Attacks in Available MQTT Implementations: Investigating the Impact on Brokers and Devices, and supported Anti-DoS Protections. ARES 2021: 82:1-82:9 - [c127]Salvatore Manfredi, Mariano Ceccato, Giada Sciarretta, Silvio Ranise:
Do Security Reports Meet Usability?: Lessons Learned from Using Actionable Mitigations for Patching TLS Misconfigurations. ARES 2021: 141:1-141:13 - [c126]Matteo Leonelli, Umberto Morelli, Giada Sciarretta, Silvio Ranise:
Secure Pull Printing with QR Codes and National eID Cards: A Software-oriented Design and an Open-source Implementation. CODASPY 2021: 251-256 - [c125]Salimeh Dashti, Amir Sharif, Roberto Carbone, Silvio Ranise:
Automated Risk Assessment and What-if Analysis of OpenID Connect and OAuth 2.0 Deployments. DBSec 2021: 325-337 - [c124]Andrea Bisegna, Roberto Carbone, Silvio Ranise:
Integrating a Pentesting Tool for IdM Protocols in a Continuous Delivery Pipeline. ETAA 2021: 94-110 - [c123]Carla Mascia, Silvio Ranise:
Asset Sensitivity for Aligning Risk Assessment Across Multiple Units in Complex Organizations. FPS 2021: 365-375 - [c122]Marco Pernpruner, Giada Sciarretta, Silvio Ranise:
A Framework for Security and Risk Analysis of Enrollment Procedures: Application to Fully-remote Solutions based on eDocuments. SECRYPT 2021: 222-233 - [c121]Stefano Berlato, Roberto Carbone, Silvio Ranise:
Cryptographic Enforcement of Access Control Policies in the Cloud: Implementation and Experimental Assessment. SECRYPT 2021: 370-381 - [c120]Salimeh Dashti, Anderson Santana de Oliveira, Caelin Kaplan, Manuel Dalcastagné, Silvio Ranise:
Can Data Subject Perception of Privacy Risks Be Useful in a Data Protection Impact Assessment? SECRYPT 2021: 827-832 - [c119]Biniam Fisseha Demissie, Silvio Ranise:
Assessing the Effectiveness of the Shared Responsibility Model for Cloud Databases: the Case of Google's Firebase. SMDS 2021: 121-131 - [c118]Andreas Heider-Aviet, Danny Roswin Ollik, Stefano Berlato, Silvio Ranise, Roberto Carbone, Van Thanh Le, Nabil El Ioini, Claus Pahl, Hamid R. Barzegar:
Blockchain Based RAN Data Sharing. SMDS 2021: 152-161 - [e6]Habtamu Abie, Silvio Ranise, Luca Verderame, Enrico Cambiaso, Rita Maria Ugarelli, Gabriele Giunta, Isabel Praça, Federica Battisti:
Cyber-Physical Security for Critical Infrastructures Protection - First International Workshop, CPS4CIP 2020, Guildford, UK, September 18, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12618, Springer 2021, ISBN 978-3-030-69780-8 [contents] - 2020
- [j38]Mauro Conti, Pallavi Kaliyar, Md Masoom Rabbani, Silvio Ranise:
Attestation-enabled secure and scalable routing protocol for IoT networks. Ad Hoc Networks 98 (2020) - [j37]Moreno Ambrosin, Mauro Conti, Riccardo Lazzeretti, Md Masoom Rabbani, Silvio Ranise:
Collective Remote Attestation at the Internet of Things Scale: State-of-the-Art and Future Challenges. IEEE Commun. Surv. Tutorials 22(4): 2447-2461 (2020) - [j36]Giovanni Abbiati, Silvio Ranise, Antonio Schizzerotto, Alberto Siena:
Merging Datasets of CyberSecurity Incidents for Fun and Insight. Frontiers Big Data 3: 521132 (2020) - [j35]Sergii Kushch, Yurii Baryshev, Silvio Ranise:
Blockchain Tree as Solution for Distributed Storage of Personal ID Data and Document Access Control. Sensors 20(13): 3621 (2020) - [j34]Edlira Dushku, Md Masoom Rabbani, Mauro Conti, Luigi V. Mancini, Silvio Ranise:
SARA: Secure Asynchronous Remote Attestation for IoT Systems. IEEE Trans. Inf. Forensics Secur. 15: 3123-3136 (2020) - [j33]Giada Sciarretta, Roberto Carbone, Silvio Ranise, Luca Viganò:
Formal Analysis of Mobile Multi-Factor Authentication with Single Sign-On Login. ACM Trans. Priv. Secur. 23(3): 13:1-13:37 (2020) - [c117]Marco Centenaro, Stefano Berlato, Roberto Carbone, Gianfranco Burzio, Giuseppe Faranda Cordella, Silvio Ranise, Roberto Riggio:
Security Considerations on 5G-Enabled Back-Situation Awareness for CCAM. 5G World Forum 2020: 245-250 - [c116]Stefano Berlato, Roberto Carbone, Adam J. Lee, Silvio Ranise:
Exploring Architectures for Cryptographic Access Control Enforcement in the Cloud for Fun and Optimization. AsiaCCS 2020: 208-221 - [c115]Marco Pernpruner, Roberto Carbone, Silvio Ranise, Giada Sciarretta:
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 2020: 223-234 - [c114]Salvatore Manfredi, Silvio Ranise, Giada Sciarretta, Alessandro Tomasi:
TLSAssistant Goes FINSEC A Security Platform Integration Extending Threat Intelligence Language. CPS4CIP 2020: 16-30 - [c113]Amir Sharif, Roberto Carbone, Giada Sciarretta, Silvio Ranise:
Automated and Secure Integration of the OpenID Connect iGov Profile in Mobile Native Applications. ETAA@ESORICS 2020: 50-70 - [c112]Andrea Bisegna, Roberto Carbone, Giulio Pellizzari, Silvio Ranise:
Micro-Id-Gym: A Flexible Tool for Pentesting Identity Management Protocols in the Wild and in the Laboratory. ETAA@ESORICS 2020: 71-89 - [c111]Sérgio Manuel Nóbrega Gonçalves, Alessandro Tomasi, Andrea Bisegna, Giulio Pellizzari, Silvio Ranise:
Verifiable Contracting - A Use Case for Onboarding and Contract Offering in Financial Services with eIDAS and Verifiable Credentials. DETIPS/DeSECSys/MPS/SPOSE@ESORICS 2020: 133-144 - [c110]Majid Mollaeefar, Alberto Siena, Silvio Ranise:
Multi-Stakeholder Cybersecurity Risk Assessment for Data Protection. ICETE (2) 2020: 349-356 - [c109]Tahir Ahmad, Umberto Morelli, Silvio Ranise:
Deploying Access Control Enforcement for IoT in the Cloud-Edge Continuum with the help of the CAP Theorem. SACMAT 2020: 213-220 - [e5]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:
Computer Security - ESORICS 2019 International Workshops, IOSec, MSTEC, and FINSEC, Luxembourg City, Luxembourg, September 26-27, 2019, Revised Selected Papers. Lecture Notes in Computer Science 11981, Springer 2020, ISBN 978-3-030-42050-5 [contents]
2010 – 2019
- 2019
- [c108]Salvatore Manfredi, Silvio Ranise, Giada Sciarretta:
Lost in TLS? No More! Assisted Deployment of Secure TLS Configurations. DBSec 2019: 201-220 - [c107]Federico Sinigaglia, Roberto Carbone, Gabriele Costa, Silvio Ranise:
MuFASA: A Tool for High-level Specification and Analysis of Multi-factor Authentication Protocols. ETAA@ESORICS 2019: 138-155 - [c106]Umberto Morelli, Lorenzo Nicolodi, Silvio Ranise:
An Open and Flexible CyberSecurity Training Laboratory in IT/OT Infrastructures. IOSec/MSTEC/FINSEC@ESORICS 2019: 140-155 - [c105]Silvio Ranise, Giada Sciarretta, Alessandro Tomasi:
Enroll, and Authentication Will Follow - eID-Based Enrollment for a Customized, Secure, and Frictionless Authentication Experience. FPS 2019: 156-171 - [c104]Amir Sharif, Roberto Carbone, Silvio Ranise, Giada Sciarretta:
A Wizard-based Approach for Secure Code Generation of Single Sign-On and Access Delegation Solutions for Mobile Native Apps. ICETE (2) 2019: 268-275 - [c103]Salimeh Dashti, Silvio Ranise:
A Tool-assisted Methodology for the Data Protection Impact Assessment. ICETE (2) 2019: 276-283 - [c102]Giovanni Abbiati, Silvio Ranise, Antonio Schizzerotto, Alberto Siena:
Learning from Others' Mistakes: An Analysis of Cyber-security Incidents. IoTBDS 2019: 299-306 - [c101]Mauro Conti, Edlira Dushku, Luigi V. Mancini, Md Masoom Rabbani, Silvio Ranise:
Remote Attestation as a Service for IoT. IoTSMS 2019: 320-325 - [c100]Salimeh Dashti, Silvio Ranise:
Tool-Assisted Risk Analysis for Data Protection Impact Assessment. Privacy and Identity Management 2019: 308-324 - [c99]Andrea Palmieri, Paolo Prem, Silvio Ranise, Umberto Morelli, Tahir Ahmad:
MQTTSA: A Tool for Automatically Assisting the Secure Deployments of MQTT Brokers. SERVICES 2019: 47-53 - [c98]Umberto Morelli, Silvio Ranise, Damiano Sartori, Giada Sciarretta, Alessandro Tomasi:
Audit-Based Access Control with a Distributed Ledger: Applications to Healthcare Organizations. STM 2019: 19-35 - [i13]Sergii Kushch, Silvio Ranise, Giada Sciarretta:
Blockchain Tree for eHealth. CoRR abs/1908.04613 (2019) - [i12]Sergii Kushch, Yurii Baryshev, Silvio Ranise:
Blockchain Tree as Solution for Distributed Storage of Personal ID Data and Document Access Control. CoRR abs/1910.07579 (2019) - 2018
- [j32]Silvio Ranise, Anh Tuan Truong, Luca Viganò:
Automated and efficient analysis of administrative temporal RBAC policies with role hierarchies. J. Comput. Secur. 26(4): 423-458 (2018) - [c97]Tahir Ahmad, Silvio Ranise:
Validating Requirements of Access Control for Cloud-Edge IoT Solutions (Short Paper). FPS 2018: 131-139 - [c96]Giada Sciarretta, Roberto Carbone, Silvio Ranise, Luca Viganò:
Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience. POST 2018: 188-213 - [c95]Roberto Carbone, Silvio Ranise, Giada Sciarretta:
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 2018: 51-66 - [c94]Clara Bertolissi, Daniel Ricardo dos Santos, Silvio Ranise:
Solving Multi-Objective Workflow Satisfiability Problems with Optimization Modulo Theories Techniques. SACMAT 2018: 117-128 - [c93]Tahir Ahmad, Umberto Morelli, Silvio Ranise, Nicola Zannone:
A Lazy Approach to Access Control as a Service (ACaaS) for IoT: An AWS Case Study. SACMAT 2018: 235-246 - [c92]Moreno Ambrosin, Mauro Conti, Riccardo Lazzeretti, Md Masoom Rabbani, Silvio Ranise:
PADS: Practical Attestation for Highly Dynamic Swarm Topologies. SIoT 2018: 18-27 - [c91]Mauro Conti, Pallavi Kaliyar, Md Masoom Rabbani, Silvio Ranise:
SPLIT: A Secure and Scalable RPL routing protocol for Internet of Things. WiMob 2018: 1-8 - [i11]Moreno Ambrosin, Mauro Conti, Riccardo Lazzeretti, Md Masoom Rabbani, Silvio Ranise:
PADS: Practical Attestation for Highly Dynamic Swarm Topologies. CoRR abs/1806.05766 (2018) - 2017
- [j31]Fatih Turkmen, Jerry den Hartog, Silvio Ranise, Nicola Zannone:
Formal analysis of XACML policies using SMT. Comput. Secur. 66: 185-203 (2017) - [j30]Giada Sciarretta, Roberto Carbone, Silvio Ranise, Alessandro Armando:
Anatomy of the Facebook solution for mobile single sign-on: Security assessment and improvements. Comput. Secur. 71: 71-86 (2017) - [j29]Daniel Ricardo dos Santos, Silvio Ranise, Luca Compagna, Serena Elisa Ponta:
Automatically finding execution scenarios to deploy security-sensitive workflows. J. Comput. Secur. 25(3): 255-282 (2017) - [j28]Anh Truong, Silvio Ranise, Thanh Tung Nguyen:
Scalable Automated Analysis of Access Control and Privacy Policies. Trans. Large Scale Data Knowl. Centered Syst. 36: 142-171 (2017) - [c90]Luca Compagna, Daniel Ricardo dos Santos, Serena Elisa Ponta, Silvio Ranise:
Aegis: Automatic Enforcement of Security Policies in Workflow-driven Web Applications. CODASPY 2017: 321-328 - [c89]Paolo Guarda, Silvio Ranise, Hari Siswantoro:
Security Analysis and Legal Compliance Checking for the Design of Privacy-friendly Information Systems. SACMAT 2017: 247-254 - [c88]Silvio Ranise, Hari Siswantoro:
Automated Legal Compliance Checking by Security Policy Analysis. SAFECOMP Workshops 2017: 361-372 - [c87]Umberto Morelli, Silvio Ranise:
Assisted Authoring, Analysis and Enforcement of Access Control Policies in the Cloud. SEC 2017: 296-309 - [c86]Daniel Ricardo dos Santos, Silvio Ranise:
On Run-Time Enforcement of Authorization Constraints in Security-Sensitive Workflows. SEFM 2017: 203-218 - [c85]Moreno Ambrosin, Mauro Conti, Riccardo Lazzeretti, Md Masoom Rabbani, Silvio Ranise:
Toward secure and efficient attestation for highly dynamic swarms: poster. WISEC 2017: 281-282 - [i10]Daniel Ricardo dos Santos, Silvio Ranise:
A Survey on Workflow Satisfiability, Resiliency, and Related Problems. CoRR abs/1706.07205 (2017) - 2016
- [j27]Silvio Ranise, Anh Tuan Truong, Riccardo Traverso:
Parameterized model checking for security policy analysis. Int. J. Softw. Tools Technol. Transf. 18(5): 559-573 (2016) - [c84]Alessandro Armando, Silvio Ranise, Riccardo Traverso, Konrad S. Wrona:
SMT-based Enforcement and Analysis of NATO Content-based Protection and Release Policies. ABAC@CODASPY 2016: 35-46 - [c83]Anh Tuan Truong, Silvio Ranise:
ASASPXL: New Clother for Analysing ARBAC Policies. FDSE 2016: 267-284 - [c82]Konrad S. Wrona, Sander Oudkerk, Alessandro Armando, Silvio Ranise, Riccardo Traverso, Lisa Ferrari, Richard McEvoy:
Assisted content-based labelling and classification of documents. ICMCIS 2016: 1-7 - [c81]Giada Sciarretta, Roberto Carbone, Silvio Ranise:
A delegated authorization solution for smart-city mobile applications. RTSI 2016: 1-6 - [c80]Daniel Ricardo dos Santos, Serena Elisa Ponta, Silvio Ranise:
Modular Synthesis of Enforcement Mechanisms for the Workflow Satisfiability Problem: Scalability and Reusability. SACMAT 2016: 89-99 - [c79]Giada Sciarretta, Alessandro Armando, Roberto Carbone, Silvio Ranise:
Security of Mobile Single Sign-On: A Rational Reconstruction of Facebook Login Solution. SECRYPT 2016: 147-158 - [c78]Luca Compagna, Daniel Ricardo dos Santos, Serena Elisa Ponta, Silvio Ranise:
Cerberus: Automated Synthesis of Enforcement Mechanisms for Security-Sensitive Business Processes. TACAS 2016: 567-572 - [e4]Silvio Ranise, Vipin Swarup:
Data and Applications Security and Privacy XXX - 30th Annual IFIP WG 11.3 Conference, DBSec 2016, Trento, Italy, July 18-20, 2016. Proceedings. Lecture Notes in Computer Science 9766, Springer 2016, ISBN 978-3-319-41482-9 [contents] - 2015
- [c77]Alessandro Armando, Gianluca Bocci, Gabriele Costa, Rocco Mammoliti, Alessio Merlo, Silvio Ranise, Riccardo Traverso, Andrea Valenza:
Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module. MIST@CCS 2015: 41-49 - [c76]Clara Bertolissi, Daniel Ricardo dos Santos, Silvio Ranise:
Automated Synthesis of Run-time Monitors to Enforce Authorization Policies in Business Processes. AsiaCCS 2015: 297-308 - [c75]Alessandro Armando, Silvio Ranise, Riccardo Traverso, Konrad S. Wrona:
Compiling NATO authorization policies for enforcement in the cloud and SDNs. CNS 2015: 741-742 - [c74]Daniel Ricardo dos Santos, Silvio Ranise, Luca Compagna, Serena Elisa Ponta:
Assisting the Deployment of Security-Sensitive Workflows by Finding Execution Scenarios. DBSec 2015: 85-100 - [c73]Fatih Turkmen, Jerry den Hartog, Silvio Ranise, Nicola Zannone:
Analysis of XACML Policies with SMT. POST 2015: 115-134 - [c72]Silvio Ranise, Anh Tuan Truong, Luca Viganò:
Automated analysis of RBAC policies with temporal constraints and static role hierarchies. SAC 2015: 2177-2184 - [c71]Alessandro Armando, Silvio Ranise, Riccardo Traverso, Konrad S. Wrona:
A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies. SACMAT 2015: 151-155 - [c70]Worachet Uttha, Clara Bertolissi, Silvio Ranise:
Modeling Authorization Policies for Web Services in Presence of Transitive Dependencies. SECRYPT 2015: 293-300 - [c69]Riccardo De Masellis, Chiara Ghidini, Silvio Ranise:
A Declarative Framework for Specifying and Enforcing Purpose-Aware Policies. STM 2015: 55-71 - [e3]Carsten Lutz, Silvio Ranise:
Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings. Lecture Notes in Computer Science 9322, Springer 2015, ISBN 978-3-319-24245-3 [contents] - [i9]Daniel Ricardo dos Santos, Silvio Ranise, Serena Elisa Ponta:
Modularity for Security-Sensitive Workflows. CoRR abs/1507.07479 (2015) - [i8]Riccardo De Masellis, Chiara Ghidini, Silvio Ranise:
A Declarative Framework for Specifying and Enforcing Purpose-aware Policies. CoRR abs/1507.08153 (2015) - 2014
- [j26]Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina:
An extension of lazy abstraction with interpolation for programs with arrays. Formal Methods Syst. Des. 45(1): 63-109 (2014) - [j25]Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise:
Quantifier-free interpolation in combinations of equality interpolating theories. ACM Trans. Comput. Log. 15(1): 5:1-5:34 (2014) - [c68]Silvio Ranise, Anh Tuan Truong:
Incremental Analysis of Evolving Administrative Role Based Access Control Policies. DBSec 2014: 260-275 - [c67]Worachet Uttha, Clara Bertolissi, Silvio Ranise:
Towards a Reference Architecture for Access Control in Distributed Web Applications. ESSoS Doctoral Symposium 2014 - [c66]Alessandro Armando, Roberto Carbone, Eyasu Getahun Chekole, Silvio Ranise:
Attribute based access control for APIs in spring security. SACMAT 2014: 85-88 - [c65]Silvio Ranise, Anh Tuan Truong, Alessandro Armando:
Scalable and precise automated analysis of administrative temporal role-based access control. SACMAT 2014: 103-114 - [c64]Alessandro Armando, Roberto Carbone, Eyasu Getahun Chekole, Claudio Petrazzuolo, Andrea Ranalli, Silvio Ranise:
Selective Release of Smart Metering Data in Multi-domain Smart Grids. SmartGridSec 2014: 48-62 - [c63]Silvio Ranise, Riccardo Traverso:
ALPS: An Action Language for Policy Specification and Automated Safety Analysis. STM 2014: 146-161 - 2013
- [j24]Silvio Ranise:
Symbolic backward reachability with effectively propositional logic - Applications to security policy analysis. Formal Methods Syst. Des. 42(1): 24-45 (2013) - [j23]Alessandro Carioni, Silvio Ghilardi, Silvio Ranise:
Automated Termination in Model-Checking Modulo Theories. Int. J. Found. Comput. Sci. 24(2): 211-232 (2013) - [c62]Alessandro Armando, Sander Oudkerk, Silvio Ranise, Konrad S. Wrona:
Formal Modelling of Content-Based Protection and Release for Access Control in NATO Operations. FPS 2013: 227-244 - [c61]Clara Bertolissi, Silvio Ranise:
Verification of Composed Array-Based Systems with Applications to Security-Aware Workflows. FroCos 2013: 40-55 - [c60]Clara Bertolissi, Silvio Ranise:
A methodology to build run-time monitors for security-aware workflows. ICITST 2013: 501-502 - [c59]Alessandro Armando, Matteo Grasso, Sander Oudkerk, Silvio Ranise, Konrad S. Wrona:
Content-based information protection and release in NATO operations. SACMAT 2013: 261-264 - [e2]Rafael Accorsi, Silvio Ranise:
Security and Trust Management - 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings. Lecture Notes in Computer Science 8203, Springer 2013, ISBN 978-3-642-41097-0 [contents] - 2012
- [j22]Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise:
Quantifier-Free Interpolation of a Theory of Arrays. Log. Methods Comput. Sci. 8(2) (2012) - [j21]Alessandro Armando, Silvio Ranise:
Scalable automated symbolic analysis of administrative role-based access control policies by SMT solving. J. Comput. Secur. 20(4): 309-352 (2012) - [j20]Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, Gian Paolo Rossi:
Universal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories. J. Satisf. Boolean Model. Comput. 8(1/2): 29-61 (2012) - [j19]Silvio Ranise:
On the verification of security-aware E-services. J. Symb. Comput. 47(9): 1066-1088 (2012) - [c58]Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina:
Reachability Modulo Theory Library. SMT@IJCAR 2012: 67-76 - [c57]Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise:
From Strong Amalgamability to Modularity of Quantifier-Free Interpolation. IJCAR 2012: 118-133 - [c56]Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina:
SAFARI: SMT-Based Abstraction for Arrays with Interpolants. CAV 2012: 679-685 - [c55]Alessandro Armando, Silvio Ranise, Fatih Turkmen, Bruno Crispo:
Efficient run-time solving of RBAC user authorization queries: pushing the envelope. CODASPY 2012: 241-248 - [c54]Alessandro Armando, Silvio Ranise:
Automated and Efficient Analysis of Role-Based Access Control with Attributes. DBSec 2012: 25-40 - [c53]Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina:
Lazy Abstraction with Interpolants for Arrays. LPAR 2012: 46-61 - [c52]Roberto Bruttomesso, Alessandro Carioni, Silvio Ghilardi, Silvio Ranise:
Automated Analysis of Parametric Timing-Based Mutual Exclusion Algorithms. NASA Formal Methods 2012: 279-294 - [c51]Silvio Ranise, Alessandro Armando:
On the Automated Analysis of Safety in Usage Control: A New Decidability Result. NSS 2012: 15-28 - [c50]Michele Barletta, Silvio Ranise, Luca Viganò:
Automated Analysis of Scenario-Based Specifications of Distributed Access Control Policies with Non-mechanizable Activities. STM 2012: 49-64 - [c49]Silvio Ranise, Anh Tuan Truong, Alessandro Armando:
Boosting Model Checking to Analyse Large ARBAC Policies. STM 2012: 273-288 - [i7]Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise:
From Strong Amalgamability to Modularity of Quantifier-Free Interpolation. CoRR abs/1203.3730 (2012) - [i6]Michele Barletta, Silvio Ranise, Luca Viganò:
Automated Analysis of Scenario-based Specifications of Distributed Access Control Policies with Non-Mechanizable Activities (Extended Version). CoRR abs/1206.3180 (2012) - 2011
- [j18]Christopher Lynch, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran:
Automatic decidability and combinability. Inf. Comput. 209(7): 1026-1047 (2011) - [j17]Michele Barletta, Alberto Calvi, Silvio Ranise, Luca Viganò, Luca Zanetti:
Workflow and Access Control Reloaded: a Declarative Specification Framework for the Automated Analysis of Web Services. Scalable Comput. Pract. Exp. 12(1) (2011) - [j16]Michele Barletta, Silvio Ranise, Luca Viganò:
A declarative two-level framework to specify and verify workflow and authorization policies in service-oriented architectures. Serv. Oriented Comput. Appl. 5(2): 105-137 (2011) - [c48]Francesco Alberti, Alessandro Armando, Silvio Ranise:
ASASP: Automated Symbolic Analysis of Security Policies. CADE 2011: 26-33 - [c47]Francesco Alberti, Alessandro Armando, Silvio Ranise:
Efficient symbolic automated analysis of administrative attribute-based RBAC-policies. AsiaCCS 2011: 165-175 - [c46]Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise:
A Combination of Rewriting and Constraint Solving for the Quantifier-Free Interpolation of Arrays with Integer Difference Constraints. FroCoS 2011: 103-118 - [c45]Alessandro Carioni, Silvio Ghilardi, Silvio Ranise:
Automated Termination in Model Checking Modulo Theories. RP 2011: 110-124 - [c44]Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise:
Rewriting-based Quantifier-free Interpolation for a Theory of Arrays. RTA 2011: 171-186 - [c43]Alessandro Armando, Roberto Carbone, Silvio Ranise:
Automated Analysis of Semantic-Aware Access Control Policies: A Logic-Based Approach. ICSC 2011: 356-363 - [c42]Alessandro Armando, Silvio Ranise:
Automated Analysis of Infinite State Workflows with Access Control Policies. STM 2011: 157-174 - 2010
- [j15]Silvio Ghilardi, Silvio Ranise:
Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis. Log. Methods Comput. Sci. 6(4) (2010) - [j14]Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, Gian Paolo Rossi:
Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems: a case study. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 35 (2010) - [j13]Duc-Khanh Tran, Christophe Ringeissen, Silvio Ranise, Hélène Kirchner:
Combination of convex theories: Modularity, deduction completeness, and explanation. J. Symb. Comput. 45(2): 261-286 (2010) - [c41]Silvio Ghilardi, Silvio Ranise:
MCMT: A Model Checker Modulo Theories. IJCAR 2010: 22-29 - [c40]Alessandro Carioni, Silvio Ghilardi, Silvio Ranise:
MCMT in the Land of Parametrized Timed Automata. VERIFY@IJCAR 2010: 47-64 - [c39]Clark W. Barrett, Leonardo Mendonça de Moura, Silvio Ranise, Aaron Stump, Cesare Tinelli:
The SMT-LIB Initiative and the Rise of SMT - (HVC 2010 Award Talk). Haifa Verification Conference 2010: 3 - [c38]Alessandro Armando, Silvio Ranise:
Automated Symbolic Analysis of ARBAC-Policies. STM 2010: 17-34 - [c37]Michele Barletta, Alberto Calvi, Silvio Ranise, Luca Viganò, Luca Zanetti:
WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications. SYNASC 2010: 417-424 - [c36]Alberto Calvi, Silvio Ranise, Luca Viganò:
Automated Validation of Security-Sensitive Web Services Specified in BPEL and RBAC. SYNASC 2010: 456-464 - [c35]Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, Gian Paolo Rossi:
Brief Announcement: Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems - A Case Study. DISC 2010: 392-394 - [i5]Alberto Calvi, Silvio Ranise, Luca Viganò:
Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC (Extended Version). CoRR abs/1009.4625 (2010) - [i4]Ranise Armando, Silvio Ranise:
Automated Symbolic Analysis of ARBAC-Policies (Extended Version). CoRR abs/1012.5590 (2010)
2000 – 2009
- 2009
- [j12]Silvio Ranise, Ullrich Hustadt:
Preface. Ann. Math. Artif. Intell. 55(1-2): 1-2 (2009) - [j11]David Déharbe, Silvio Ranise:
Satisfiability solving for software verification. Int. J. Softw. Tools Technol. Transf. 11(3): 255-260 (2009) - [j10]Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz:
New results on rewrite-based satisfiability procedures. ACM Trans. Comput. Log. 10(1): 4:1-4:51 (2009) - [c34]Michele Barletta, Silvio Ranise, Luca Viganò:
Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures. CSE (3) 2009: 289-296 - [c33]Silvio Ranise:
Towards the Verification of Security-Aware Transaction E-services. FTP 2009 - [c32]Silvio Ghilardi, Silvio Ranise:
Goal-Directed Invariant Synthesis for Model Checking Modulo Theories. TABLEAUX 2009: 173-188 - [i3]Michele Barletta, Silvio Ranise, Luca Viganò:
Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures (Full version). CoRR abs/0906.4570 (2009) - 2008
- [j9]David Déharbe, Silvio Ranise, Jorgiano Vidal:
A Prototype Implementation of a Distributed Satisfiability Modulo Theories Solver in the ToolBus Framework. J. Braz. Comput. Soc. 14(1): 71-86 (2008) - [c31]Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli:
Towards SMT Model Checking of Array-Based Systems. IJCAR 2008: 67-82 - [c30]Silvio Ghilardi, Silvio Ranise, Thomas Valsecchi:
Light-Weight SMT-based Model Checking. AVoCS 2008: 85-102 - 2007
- [j8]Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli:
Decision procedures for extensions of the theory of arrays. Ann. Math. Artif. Intell. 50(3-4): 231-254 (2007) - [c29]Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli:
Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems. CADE 2007: 362-378 - [c28]Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli:
Noetherianity and Combination Problems. FroCoS 2007: 206-220 - [c27]Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran:
Combining Proof-Producing Decision Procedures. FroCoS 2007: 237-251 - [c26]Silvio Ranise, Christelle Scharff:
Building Extended Canonizers by Graph-Based Deduction. ICTAC 2007: 440-454 - [i2]Silvio Ghilardi, Silvio Ranise, Enrica Nicolini, Daniele Zucchelli:
From Non-Disjoint Combination to Satisfiability and Model-Checking of Infinite State Systems. Deduction and Decision Procedures 2007 - 2006
- [j7]Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani:
Intelligent Systems and Formal Methods in Software Engineering. IEEE Intell. Syst. 21(6): 71-81 (2006) - [j6]Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani:
Efficient theory combination via boolean search. Inf. Comput. 204(10): 1493-1525 (2006) - [c25]Maria Paola Bonacina, Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli:
Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures. IJCAR 2006: 513-527 - [c24]David Déharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen:
Decision Procedures for the Formal Analysis of Software. ICTAC 2006: 366-370 - [c23]Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli:
Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies. JELIA 2006: 177-189 - [c22]Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran:
Automatic Combinability of Rewriting-Based Satisfiability Procedures. LPAR 2006: 542-556 - [c21]Silvio Ranise, Calogero G. Zarba:
A Theory of Singly-Linked Lists and its Extensible Decision Procedure. SEFM 2006: 206-215 - [i1]Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz:
New results on rewrite-based satisfiability procedures. CoRR abs/cs/0604054 (2006) - 2005
- [c20]Alessandro Armando, Luca Compagna, Silvio Ranise:
Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation. Mechanizing Mathematical Reasoning 2005: 30-45 - [c19]Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani:
Efficient Satisfiability Modulo Theories via Delayed Theory Combination. CAV 2005: 335-349 - [c18]Silvio Ranise, Christophe Ringeissen, Calogero G. Zarba:
Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic. FroCoS 2005: 48-64 - [c17]Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz:
On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal. FroCoS 2005: 65-80 - [c16]Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran:
On Superposition-Based Satisfiability Procedures and Their Combination. ICTAC 2005: 594-608 - [c15]David Déharbe, Silvio Ranise, Jorgiano Vidal:
Distributing the Workload in a Lazy Theorem-Prover. SBMF 2005: 21-37 - [e1]Wolfgang Ahrendt, Peter Baumgartner, Hans de Nivelle, Silvio Ranise, Cesare Tinelli:
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. Electronic Notes in Theoretical Computer Science 125(3), Elsevier 2005 [contents] - 2004
- [j5]Jean-François Couchot, David Déharbe, Alain Giorgetti, Silvio Ranise:
Scalable Automated Proving and Debugging of Set-Based Specifications. J. Braz. Comput. Soc. 9(2): 17-36 (2004) - [c14]David Déharbe, Abdessamad Imine, Silvio Ranise:
Abstraction-Driven Verification of Array Programs. AISC 2004: 271-275 - [c13]Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran:
Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn. ICTAC 2004: 372-386 - [c12]Pascal Fontaine, Silvio Ranise, Calogero G. Zarba:
Combining Lists with Non-stably Infinite Theories. LPAR 2004: 51-66 - [c11]Wolfgang Ahrendt, Peter Baumgartner, Hans de Nivelle, Silvio Ranise, Cesare Tinelli:
Preface. D/PDPAR@IJCAR 2004: 1-2 - 2003
- [j4]Alessandro Armando, Silvio Ranise, Michaël Rusinowitch:
A rewriting approach to satisfiability procedures. Inf. Comput. 183(2): 140-164 (2003) - [j3]Alessandro Armando, Silvio Ranise:
Constraint contextual rewriting. J. Symb. Comput. 36(1-2): 193-216 (2003) - [c10]David Déharbe, Silvio Ranise:
Light-Weight Theorem Proving for Debugging and Verifying Units of Code. SEFM 2003: 220-228 - [c9]Silvio Ranise, David Déharbe:
Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer Programs. FTP 2003: 105-119 - [c8]Jean-François Couchot, Frédéric Dadeau, David Déharbe, Alain Giorgetti, Silvio Ranise:
Proving and Debugging Set-Based Specifications. WMF 2003: 189-208 - 2002
- [c7]Silvio Ranise:
Combining Generic and Domain Specific Reasoning by Using Contexts. AISC 2002: 305-318 - 2001
- [j2]Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia, Silvio Ranise:
The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics. J. Symb. Comput. 32(4): 305-332 (2001) - [j1]Alessandro Armando, Silvio Ranise:
A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic. J. Univers. Comput. Sci. 7(2): 124-140 (2001) - [c6]Alessandro Armando, Luca Compagna, Silvio Ranise:
System Description: RDL : Rewrite and Decision Procedure Laboratory. IJCAR 2001: 663-669 - [c5]Alessandro Armando, Felice Peccia, Silvio Ranise:
The Phase Transition of the Linear Inequalities Problem. CP 2001: 422-432 - [c4]Alessandro Armando, Silvio Ranise, Michaël Rusinowitch:
Uniform Derivation of Decision Procedures by Superposition. CSL 2001: 513-527 - 2000
- [c3]Alessandro Armando, Silvio Ranise:
Termination of Constraint Contextual Rewriting. FroCoS 2000: 47-61
1990 – 1999
- 1998
- [c2]Alessandro Armando, Erica Melis, Silvio Ranise:
Constraint Solving in Logic Programming and in Automated Deduction: A Comparison. AIMSA 1998: 28-38 - [c1]Alessandro Armando, Silvio Ranise:
From Integrated Reasoning Specialists to "Plug-and-Play" Reasoning Components. AISC 1998: 42-54
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-27 00:44 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
