Autore
PIERPAOLO DEGANO
Unimap Dati autore
- Professore Ordinario presso Dipartimento di Informatica
- Membro della Facolta' di Scienze Matematiche Fisiche e Naturali
- Settore scientifico disciplinare INF/01 INFORMATICA
- In servizio
Prodotti
- Articoli
- A Causal Operational Semantics of Atomic Refinement 1995
- Fairness and Priority 1995
- Axiomatizing the Algebra of Net Computations and Processes 1996
- Enhanced Operational Semantics 1996
- LR Techniques for Handling Syntax Errors 1998
- Causality for Debugging Mobile Agents 1999
- Non Interleaving Semantics of Mobile Processes 1999
- Names of Mobile Agents Handled Locally 2000
- Enhanced Operational Semantics: A Tool for Describing and Analysing Concurrent Systems 2001
- Performance Evaluation of Mobile Processes via Abstract Machines 2001
- Static Analysis for the pi-calculus with Applications to Security 2001
- A Causal Semantics for CCS via Rewriting Logic 2002
- Flow Logic for Dolev-Yao Secrecy in Cryptographic Processes 2002
- Primitives for Authentication in Process Algebras 2002
- Modelling Biochemical Pathways through Enhanced pi-calculus 2004
- Stack Inspection and Secure Program Transformations 2004
- Authentication Primitives for Secure Protocol Specifications 2005
- Checking Security Properties Throught an Enhanced Control Flow Analysis 2005
- Static Validation of Security Protocols 2005
- Weakening the Perfect Encryption Assumption in Dolev-Yao Adversaries 2005
- Planning and Verifying Service Composition 2006
- A computational approach to the functional screening of genomes 2007
- Semantics-based Design for Secure Web Services 2008
- Stochastic models for the in silico simulation of synaptic processes 2008
- Synapses as Stochastic Concurrent Systems 2008
- Local Policies for Resource Usage Analysis 2009
- Securing Java with Local Policies 2009
- Detecting and Preventing Type flaws at Static Time 2010
- I dottorati in Informatica in Italia: una fotografia di gruppo. 2011
- Modular Plans for Secure Service Composition 2011
- Secure service orchestration in open networks 2011
- Atti, Riassunti o Comunicazioni
- A Transitional Semantics of Full Prolog 1995
- Understanding Mobile Agents via a non-interleaving semantics for Facile 1996
- CCS semantics via Proved Transition Systems and Rewriting Logic 1998
- Constructing specific SOS semantics for concurrency via abstract interpretation 1998
- Control Flow Analysis for the *-calculus 1998
- Authentication via Localized Names 1999
- Quantitative Analysis for Mobile Processes 1999
- Semantic-driven Performance Evaluation 1999
- Static Analysis of Processes for No Read-Up and No Write-Down 1999
- A tool for quantitative analysis of *-calculus processes 2000
- Control Flow Analysis for Mobile Safe Ambients 2000
- Static Analysis for Secrecy and Non-Interference in Networks of Processes 2001
- Static Analysis for Stack Inspection 2001
- Techniques for Security Checking: Non Interference vs Control Flow Analysis 2001
- Authentication Primitives for Refining Protocol Specifications 2002
- An Enhanced CFA for Security Policies 2003
- Authentication Primitives for Protocol Specifications 2003
- Automatic Validation of Protocol Narration 2003
- Causal pi-calculus for Biochemical Modelling 2003
- Causality and replication in Concurrent Processes 2003
- Enhanced Operational Sematics in Systems Biology 2003
- Performance Evaluation for Global Computation 2003
- Reflecting Mobile Ambients into the ¼-calculus 2003
- Security-aware Program Transformations 2003
- Static Analysis for Eager Stack Inspection 2003
- A Quantitative Study of Two Attacks 2004
- Control Flow Analysis Can Find New Flaws Too 2004
- Method inlining in presence of stack inspection 2004
- Performance Evaluation of Security Protocols specified in LySa 2004
- Program Transformations Under Dynamic Security Policies 2004
- VICE: a Virtual Cell 2004
- Checking Risky Events is Enough for Local Policies 2005
- Enforcing Secure Service Composition 2005
- Formal Executable Descriptions of Biological Systems 2005
- History-based Acces Control with Local Policies 2005
- On Evaluating the Performance of Security Protocols 2005
- Policy Framings for Access Control 2005
- Beta-binders for biological quantitative experiments 2006
- Types and Effects for Secure Service Orchestration 2006
- A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols 2007
- Detecting Replay Attacks by Freshness Annotations 2007
- Detecting and Preventing Type Flaws: a Control Flow Analysis with Tags 2007
- In silico stochastic simulation of Ca2+ triggered synaptic release 2007
- Types and Effects for Resource Usage Analysis 2007
- A Formal Analysis of Complex Type Flaw Attacks on Security Protocols 2008
- Cells in Silico: A Holistic Approach 2008
- Model Checking Usage Policies 2008
- Securing Java with Local Policies 2008
- Statically Detecting Message Confusions in a Multi-Protocol Setting 2008
- Hard Life with Weak Binders 2009
- Secure service composition with symbolic e ffects 2009
- nu-Types for Effects and Freshness Analysis 2009
- Diff erential Privacy: on the trade-o ff between Utility and Information Leakage 2011
- On Quantitative Security Policies 2011
- Capitoli, Parte,Saggi, Studi, Articoli in libro
- Security Analysis using Flow Logics - Current Trends in Theoretical Computer Science, Entering the 21st Century 2001
- A note of perfect encryption assumption in a process calculus - Lecture Notes in Computer Science 2004
- Feedbacks and oscillations in the virtual cell VICE - Lecture Notes in Bioinformatics 2006
- Handling exp, x (and Timestamps) in Protocol Analysis - Lecture Notes in Computer Science 2006
- A Stochastic Semantics for BioAmbients - Proc. PaCT-2007 2006
- Secure Service Orchestration - Secure service Orchestration 2006
- Types and Effects for Resource Usage Analysis - Lecture Notes in Computer Science 2007
- Expressive models for synaptic plasticity - Proc. CMSB'07 2007
- A formal analysis for capturing replay attacks in criptographic protocols - Proceedings 12th Asian Computing Science Conference 2007
- Algorithmic Bioprocesses - Formal models of the calyx of Held 2009
- Proc. ARSPA-WITS 2010, Lecture Notes in Computer Science - Modular Plans for Secure Service Composition 2010
- The Handbook of Natural Computing - Process Calculi, Systems Biology and Artificial Chemistry 2010
- Call-by-Contract for Service Discovery, Orchestration and Recovery - Rigorous Software Engineering for Service-Oriented Systems 2011
- Edizioni, Recensioni, Curatele, Voci enc
- Special Issues of the International Journal of Information Security 2007
- Special issues of the journal of Theoretical Computer Science 2007
- 8th Int. School on Formal Methods for the Design of Computer, Communication and Software Systems: Computational Systems Biology 2008
- Concurrency, Graphs and Models 2008
- Formal Aspects in Security and Trust 2008
- Special Issues of the International Journal of Information and Computation 2008
- Procs 7th Conference on Computational Methods in Systems Biology 2009
- Procs 6th International Workshop on Formal Aspects in Security and Trust (FAST2008) 2010
- Libri, Manuali o Trattati
- An Efficient Verification of Truly Concurrent Properties 1995
- Causality for Mobile Processes 1995
- Complexity as a Basis for Comparing Semantic Models of Concurency, In: Algorithms, Concurrency and Knowledge 1995
- Analysis of facile programs 1996
- Mobile Processes with a Distributed Environment 1996
- Mobile processes with local clocks 1996
- Proceedings of ICALP’97, 1997
- Proceedings of 6th Italian Conference on Theoretical Computer Science 1998
- Special Issues of the Journal of Theoretical Computer Science 1999
- Symposium on the Theory of Computation 1999
- Proceedings of the Workshop on Issues in the Theory of Security 2000
- Proceedings of ESOP 2003 2003
- Special Issues of the Journal of Science of Computer Programming 2004
- Proceedings of the Second Workshop on Automated reasoning for Security Protocol Analysis (ARSPA 2005) 2005
- Special Issues of the Journal of Theoretical Computer Science 2006
- Preprint