P
Pierpaolo Degano
Researcher at University of Pisa
Publications - 25
Citations - 383
Pierpaolo Degano is an academic researcher from University of Pisa. The author has contributed to research in topics: Operational semantics & Static analysis. The author has an hindex of 10, co-authored 25 publications receiving 378 citations.
Papers
More filters
Book ChapterDOI
Static Analysis for Secrecy and Non-interference in Networks of Processes
TL;DR: The νSPI-Calculus is introduced that strengthens the notion of "perfect symmetric cryptography" of the spi-calculus by taking time into account and finds the non-interference property to be an extension of the Dolev-Yao property.
Journal ArticleDOI
Enhanced operational semantics
Pierpaolo Degano,Corrado Priami +1 more
TL;DR: This work proposes an enhancement to structural operational semantics capable of expressing (almost) all the information needed during software production, and enhances operational semantics to describe aspects of concurrent and distributed processes that are discussed here in more detail.
Journal ArticleDOI
Static Analysis for Stack Inspection
TL;DR: Two control flow analyses for the Java bytecode are proposed that safely approximate the set of permissions granted/denied to code at run-time and helps optimizing the implementation of the stack inspection algorithm.
Book ChapterDOI
Causality for Mobile Processes
Pierpaolo Degano,Corrado Priami +1 more
TL;DR: It turns out that two transitions not causally related may although occur in a fixed ordering in any computation, i.e., π-calculus may express implicitly a priority between actions.
Journal ArticleDOI
Performance evaluation of mobile processes via abstract machines
TL;DR: A structural operational semantics is used which drives the inference of quantitative measures on system evolution and two case studies from the literature involving mobile computation are considered to show that this framework is feasible.