Stop the war!Остановите войну!
for scientists:
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
- 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)- [c136]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 - [c135]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 - [c134]Gianluca Sassetti, Amir Sharif, Giada Sciarretta, Roberto Carbone, Silvio Ranise:
Assurance, Consent and Access Control for Privacy-Aware OIDC Deployments. DBSec 2023: 203-222 - [c133]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) - [c132]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 - [c131]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 - [c130]Matteo Rizzi, Salvatore Manfredi, Giada Sciarretta, Silvio Ranise:
A Modular and Extensible Framework for Securing TLS. CODASPY 2022: 119-124 - [c129]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 - [c128]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) - [c127]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 - [c126]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 - [c125]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 - [c124]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 - [c123]Andrea Bisegna, Roberto Carbone, Silvio Ranise:
Integrating a Pentesting Tool for IdM Protocols in a Continuous Delivery Pipeline. ETAA 2021: 94-110 - [c122]Carla Mascia, Silvio Ranise:
Asset Sensitivity for Aligning Risk Assessment Across Multiple Units in Complex Organizations. FPS 2021: 365-375 - [c121]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 - [c120]Stefano Berlato, Roberto Carbone, Silvio Ranise:
Cryptographic Enforcement of Access Control Policies in the Cloud: Implementation and Experimental Assessment. SECRYPT 2021: 370-381 - [c119]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 - [c118]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 - [c117]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) - [c116]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 - [c115]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 - [c114]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 - [c113]Salvatore Manfredi, Silvio Ranise, Giada Sciarretta, Alessandro Tomasi:
TLSAssistant Goes FINSEC A Security Platform Integration Extending Threat Intelligence Language. CPS4CIP 2020: 16-30 - [c112]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 - [c111]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 - [c110]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 - [c109]Majid Mollaeefar, Alberto Siena, Silvio Ranise:
Multi-Stakeholder Cybersecurity Risk Assessment for Data Protection. ICETE (2) 2020: 349-356 - [c108]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
- [c107]Salvatore Manfredi, Silvio Ranise, Giada Sciarretta:
Lost in TLS? No More! Assisted Deployment of Secure TLS Configurations. DBSec 2019: 201-220 - [c106]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 - [c105]Umberto Morelli, Lorenzo Nicolodi, Silvio Ranise:
An Open and Flexible CyberSecurity Training Laboratory in IT/OT Infrastructures. IOSec/MSTEC/FINSEC@ESORICS 2019: 140-155 - [c104]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 - [c103]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 - [c102]Salimeh Dashti, Silvio Ranise:
A Tool-assisted Methodology for the Data Protection Impact Assessment. ICETE (2) 2019: 276-283 - [c101]Giovanni Abbiati, Silvio Ranise, Antonio Schizzerotto, Alberto Siena:
Learning from Others' Mistakes: An Analysis of Cyber-security Incidents. IoTBDS 2019: 299-306 - [c100]Mauro Conti, Edlira Dushku, Luigi V. Mancini, Md Masoom Rabbani, Silvio Ranise:
Remote Attestation as a Service for IoT. IoTSMS 2019: 320-325 - [c99]Salimeh Dashti, Silvio Ranise:
Tool-Assisted Risk Analysis for Data Protection Impact Assessment. Privacy and Identity Management 2019: 308-324 - [c98]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 - [c97]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) - [c96]Tahir Ahmad, Silvio Ranise:
Validating Requirements of Access Control for Cloud-Edge IoT Solutions (Short Paper). FPS 2018: 131-139 - [c95]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 - [c94]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 - [c93]Clara Bertolissi, Daniel Ricardo dos Santos, Silvio Ranise:
Solving Multi-Objective Workflow Satisfiability Problems with Optimization Modulo Theories Techniques. SACMAT 2018: 117-128 - [c92]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 - [c91]Moreno Ambrosin, Mauro Conti, Riccardo Lazzeretti, Md Masoom Rabbani, Silvio Ranise:
PADS: Practical Attestation for Highly Dynamic Swarm Topologies. SIoT 2018: 18-27 - [c90]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) - [c89]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 - [c88]Paolo Guarda, Silvio Ranise, Hari Siswantoro:
Security Analysis and Legal Compliance Checking for the Design of Privacy-friendly Information Systems. SACMAT 2017: 247-254 - [c87]Silvio Ranise, Hari Siswantoro:
Automated Legal Compliance Checking by Security Policy Analysis. SAFECOMP Workshops 2017: 361-372 - [c86]Umberto Morelli, Silvio Ranise:
Assisted Authoring, Analysis and Enforcement of Access Control Policies in the Cloud. SEC 2017: 296-309 - [c85]Daniel Ricardo dos Santos, Silvio Ranise:
On Run-Time Enforcement of Authorization Constraints in Security-Sensitive Workflows. SEFM 2017: 203-218 - [c84]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) - [c83]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 - [c82]Anh Tuan Truong, Silvio Ranise:
ASASPXL: New Clother for Analysing ARBAC Policies. FDSE 2016: 267-284 - [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]