Silvio Ranise

Identifiers

• name variant Silvio Ranise 0.60 · backfill

Papers (9)

1. PADS: Practical Attestation for Highly Dynamic Swarm Topologies cs.CR · 2018 · author #5
2. A Survey on Workflow Satisfiability, Resiliency, and Related Problems cs.CR · 2017 · author #2
3. A Declarative Framework for Specifying and Enforcing Purpose-aware Policies cs.CR · 2015 · author #3
4. Modularity for Security-Sensitive Workflows cs.SE · 2015 · author #2
5. Automated Analysis of Scenario-based Specifications of Distributed Access Control Policies with Non-Mechanizable Activities (Extended Version) cs.LO · 2012 · author #2
6. From Strong Amalgamability to Modularity of Quantifier-Free Interpolation cs.LO · 2012 · author #3
7. Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC (Extended Version) cs.CR · 2010 · author #2
8. Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures (Full version) cs.CR · 2009 · author #2
9. New results on rewrite-based satisfiability procedures cs.AI · 2006 · author #3

Mentions

• 1206.3180 #2 · backfill · confidence 0.70 Silvio Ranise
• 1203.3730 #3 · backfill · confidence 0.70 Silvio Ranise
• 1009.4625 #2 · backfill · confidence 0.70 Silvio Ranise
• 0906.4570 #2 · backfill · confidence 0.70 Silvio Ranise

Frequent Coauthors

• Luca Vigan\`o 3 shared papers
• Daniel Ricardo dos Santos 2 shared papers
• Michele Barletta 2 shared papers
• Alberto Calvi 1 shared papers
• Alessandro Armando 1 shared papers
• Chiara Ghidini 1 shared papers
• Maria Paola Bonacina 1 shared papers
• Mauro Conti 1 shared papers
• Md Masoom Rabbani 1 shared papers
• Moreno Ambrosin 1 shared papers
• Riccardo De Masellis 1 shared papers
• Riccardo Lazzeretti 1 shared papers
• Roberto Bruttomesso 1 shared papers
• Serena Elisa Ponta 1 shared papers
• Silvio Ghilardi 1 shared papers
• Stephan Schulz 1 shared papers