activity
20062022
most citedNew results on rewrite-based satisfiability procedures

88 citations · 243 across the 14 of their papers we have counts for

collaborators

15 papers

cs.CR2022★ 5 cited

Identifying and Quantifying Trade-offs in Multi-Stakeholder Risk Evaluation with Applications to the Data Protection Impact Assessment of the GDPR

Majid Mollaeefar, Silvio Ranise

Cybersecurity risk management consists of several steps including the selection of appropriate controls to minimize risks. This is a difficult task that requires to search through…

cs.CR2019★ 15 cited

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

Sergii Kushch, Yurii Baryshev

This paper introduces a new method of Blockchain formation for reliable storage of personal data of ID-card holders. In particular, the model of the information system is presented…

cs.CR2019★ 16 cited

Blockchain Tree for eHealth

Sergii Kushch, Silvio Ranise, Giada Sciarretta

The design of access control mechanisms for healthcare systems is challenging: it must strike the right balance between permissions and restrictions. In this work, we propose a nov…

cs.CR2018

PADS: Practical Attestation for Highly Dynamic Swarm Topologies

Moreno Ambrosin, Mauro Conti, Riccardo Lazzeretti +2

Remote attestation protocols are widely used to detect device configuration (e.g., software and/or data) compromise in Internet of Things (IoT) scenarios. Unfortunately, the perfor…

cs.CR2017★ 7 cited

A Survey on Workflow Satisfiability, Resiliency, and Related Problems

Daniel Ricardo dos Santos, Silvio Ranise

Workflows specify collections of tasks that must be executed under the responsibility or supervision of human users. Workflow management systems and workflow-driven applications ne…

cs.CR2015

A Declarative Framework for Specifying and Enforcing Purpose-aware Policies

Riccardo De Masellis, Chiara Ghidini, Silvio Ranise

Purpose is crucial for privacy protection as it makes users confident that their personal data are processed as intended. Available proposals for the specification and enforcement…