SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

Silvio Ranise · Study

Home/Author

Silvio Ranise

3 works· latest 2017· 1 institutionscluster: provisionalORCID 0000-0001-7269-9285

h-index3

i103

Citations39

Works here3

15

16

17

Most cited in this library

Automated Synthesis of Run-time Monitors to Enforce Authorization Policies in Business Processes2015 · 18 citations
Cerberus: Automated Synthesis of Enforcement Mechanisms for Security-Sensitive Business Processes2016 · 11 citations
A Survey on Workflow Satisfiability, Resiliency, and Related Problems2017 · 10 citations

Works

3 shown

A Survey on Workflow Satisfiability, Resiliency, and Related Problems

arXiv (Cornell University)·2017·2 authors·preprint·Open access

10citations

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

Lecture notes in computer science·2016·4 authors·other

11citations

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

ACM Asia Conference on Computer and Communications Security (ASIA CCS)·2015·3 authors·other

18citations