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.

Pierpaolo Degano
SearchCollections
Map detail
Pierpaolo Degano11 visible / 11 total nodes / 10 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipPierpaolo DeganoAPierpaolo DeganoResearcherTyping Context-Dependent Behavioural VariationWTyping Context-Dependen...preprint / 2013Event-driven Adaptation in COPWEvent-driven Adaptation...preprint / 2016Control-flow Flattening Preserves the Constant-Time Policy (Extended Version)WControl-flow Flattening...preprint / 2020From Orchestration to Choreography through Contract AutomataWFrom Orchestration to C...preprint / 2014A Step Towards Checking Security in IoTWA Step Towards Checking...preprint / 2016IFCIL: An Information Flow Configuration Language for SELinux (Extended Version)WIFCIL: An Information F...preprint / 2022Automatic Fair ExchangesWAutomatic Fair Exchangespreprint / 2022Differential Privacy versus Quantitative Information FlowWDifferential Privacy ve...preprint / 2010Differential Privacy: on the trade-off between Utility and Information LeakageWDifferential Privacy: o...preprint / 2011Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended VersionWProvably Secure Isolati...preprint / 2020
Person10 links

Pierpaolo Degano

Researcher

PaperTyping Context-Dependent Behavioural VariationAuthorship / preprint / 2013PaperEvent-driven Adaptation in COPAuthorship / preprint / 2016PaperControl-flow Flattening Preserves the Constant-Time Policy (Extended Version)Authorship / preprint / 2020PaperFrom Orchestration to Choreography through Contract AutomataAuthorship / preprint / 2014PaperA Step Towards Checking Security in IoTAuthorship / preprint / 2016PaperIFCIL: An Information Flow Configuration Language for SELinux (Extended Version)Authorship / preprint / 2022PaperAutomatic Fair ExchangesAuthorship / preprint / 2022PaperDifferential Privacy versus Quantitative Information FlowAuthorship / preprint / 2010

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)