Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Damiano Macedonio

Static vs Dynamic Typing for Access Control in Pi-Calculus

English

Related publications

Static VS Dynamic Reversibility in CCS

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Combining Static and Dynamic Analysis for Automatic Identification of Precise Access-Control Policies

Twenty-Third Annual Computer Security Applications Conference (ACSAC 2007)
2007English

Static vs Dynamic Techniques for Selectivity Evaluation in Distributed Query Optimization

International Journal of Computer Applications
2014English

Pi+-Calculus: A Calculus for Concurrent Processes With Constraints

CLEI Electronic Journal
1998English

Secrecy by Typing and File-Access Control

English

The Applied Pi Calculus

Journal of the ACM
ControlSystems EngineeringInformation SystemsHardwareArchitectureArtificial IntelligenceSoftware
2018English

Static vs. Dynamic Auctions With Ambiguity Averse Bidders

SSRN Electronic Journal
2012English

A Dynamic Access Control Method for SDN

Journal of Computer and Communications
2019English

When to Choose Dynamic vs. Static Social Network Analysis

Journal of Animal Ecology
EvolutionEcologySystematicsAnimal ScienceBehaviorZoology
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy