BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Silvio Ranise
SearchCollections
Map detail
Silvio Ranise10 visible / 10 total nodes / 9 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipSilvio RaniseASilvio RaniseResearcherBlockchain Tree for eHealthWBlockchain Tree for eHe...preprint / 2019Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC (Extended Version)WAutomated Validation of...preprint / 2010Automated Analysis of Scenario-based Specifications of Distributed Access Control Policies with Non-Mechanizable Activities (Extended Version)WAutomated Analysis of S...preprint / 2012Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant SynthesisWBackward Reachability o...preprint / 2010Modularity for Security-Sensitive WorkflowsWModularity for Security...preprint / 2015From Strong Amalgamability to Modularity of Quantifier-Free InterpolationWFrom Strong Amalgamabil...preprint / 2012New results on rewrite-based satisfiability proceduresWNew results on rewrite-...preprint / 2008Quantifier-Free Interpolation of a Theory of ArraysWQuantifier-Free Interpo...preprint / 2012A Declarative Framework for Specifying and Enforcing Purpose-aware PoliciesWA Declarative Framework...preprint / 2015
Person9 links

Silvio Ranise

Researcher

PaperBlockchain Tree for eHealthAuthorship / preprint / 2019PaperAutomated Validation of Security-sensitive Web Services specified in BPEL and RBAC (Extended Version)Authorship / preprint / 2010PaperAutomated Analysis of Scenario-based Specifications of Distributed Access Control Policies with Non-Mechanizable Activities (Extended Version)Authorship / preprint / 2012PaperBackward Reachability of Array-based Systems by SMT solving: Termination and Invariant SynthesisAuthorship / preprint / 2010PaperModularity for Security-Sensitive WorkflowsAuthorship / preprint / 2015PaperFrom Strong Amalgamability to Modularity of Quantifier-Free InterpolationAuthorship / preprint / 2012PaperNew results on rewrite-based satisfiability proceduresAuthorship / preprint / 2008PaperQuantifier-Free Interpolation of a Theory of ArraysAuthorship / preprint / 2012

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)