Pierpaolo Degano

According to our database, Pierpaolo Degano authored at least 204 papers between 1979 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Specifying and Verifying Information Flow Control in SELinux Configurations.

Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, David A. Basin

ACM Trans. Priv. Secur., November, 2024

Policies for Fair Exchanges of Resources.

Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta, Luca Viganò

CoRR, 2024

A Logic for Policy Based Resource Exchanges in Multiagent Systems.

Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta, Luca Viganò

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

2023

Formally verifying security protocols built on watermarking and jamming.

Gabriele Costa, Pierpaolo Degano, Letterio Galletta, Simone Soderi

Comput. Secur., May, 2023

Risk Estimation in IoT Systems.

Chiara Bodei, Gian-Luigi Ferrari, Letterio Galletta, Pierpaolo Degano

Proceedings of the Challenges of Software Verification, 2023

2022

Automatic Fair Exchanges.

Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, Luca Viganò

CoRR, 2022

IFCIL: An Information Flow Configuration Language for SELinux (Extended Version).

Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, David A. Basin

CoRR, 2022

Can my firewall system enforce this policy?

Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta

Comput. Secur., 2022

Towards effective preservation of robust safety properties.

Matteo Busi, Pierpaolo Degano, Letterio Galletta

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

IFCIL: An Information Flow Configuration Language for SELinux.

Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, David A. Basin

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

2021

Securing Interruptible Enclaved Execution on Small Microprocessors.

Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens

ACM Trans. Program. Lang. Syst., 2021

Mechanical incrementalization of typing algorithms.

Matteo Busi, Pierpaolo Degano, Letterio Galletta

Sci. Comput. Program., 2021

Modelling and analysing IoT systems.

Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta

J. Parallel Distributed Comput., 2021

FWS: Analyzing, maintaining and transcompiling firewalls.

Chiara Bodei, Lorenzo Ceragioli, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Flaminia L. Luccio, Mauro Tempesta, Lorenzo Veronese

J. Comput. Secur., 2021

Supervisory Synthesis of Configurable Behavioural Contracts with Modalities.

Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021

Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty.

Pierpaolo Degano, Letterio Galletta, Selene Gerali

Proceedings of the Protocols, Strands, and Logic, 2021

2020

Controller synthesis of service contracts with variability.

Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico

Sci. Comput. Program., 2020

Natural Projection as Partial Model Checking.

Gabriele Costa, Letterio Galletta, Pierpaolo Degano, David A. Basin, Chiara Bodei

J. Autom. Reason., 2020

Control-flow Flattening Preserves the Constant-Time Policy (Extended Version).

Matteo Busi, Pierpaolo Degano, Letterio Galletta

CoRR, 2020

Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version.

Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens

CoRR, 2020

MuAC: Access Control Language for Mutual Benefits.

Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta

Proceedings of the Fourth Italian Conference on Cyber Security, 2020

Control-flow Flattening Preserves the Constant-Time Policy.

Matteo Busi, Pierpaolo Degano, Letterio Galletta

Proceedings of the Fourth Italian Conference on Cyber Security, 2020

Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors.

Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

Security Metrics at Work on the Things in IoT Systems.

Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta

Proceedings of the From Lambda Calculus to Cybersecurity Through Program Analysis, 2020

2019

Programming in a context-aware language.

Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta

J. Supercomput., 2019

Translation Validation for Security Properties.

Matteo Busi, Pierpaolo Degano, Letterio Galletta

CoRR, 2019

Using Standard Typing Algorithms Incrementally.

Matteo Busi, Pierpaolo Degano, Letterio Galletta

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

Are All Firewall Systems Equally Powerful?

Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta

Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and Analysis for Security, 2019

Checking the Expressivity of Firewall Languages.

Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

Robust Declassification by Incremental Typing.

Matteo Busi, Pierpaolo Degano, Letterio Galletta

Proceedings of the Foundations of Security, Protocols, and Equational Reasoning, 2019

Revealing the Trajectories of KLAIM Tuples, Statically.

Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta

Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

Automata-Based Behavioural Contracts with Action Correlation.

Davide Basile, Rosario Pugliese, Francesco Tiezzi, Pierpaolo Degano, Gian-Luigi Ferrari

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018

Process calculi for biological processes.

Andrea Bernini, Linda Brodo, Pierpaolo Degano, Moreno Falaschi, Diana Hermith

Nat. Comput., 2018

From Natural Projection to Partial Model Checking and Back.

Gabriele Costa, David A. Basin, Chiara Bodei, Pierpaolo Degano, Letterio Galletta

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Transcompiling Firewalls.

Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Mauro Tempesta

Proceedings of the Principles of Security and Trust - 7th International Conference, 2018

Firewall Management With FireWall Synthesizer.

Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Mauro Tempesta, Lorenzo Veronese

Proceedings of the Second Italian Conference on Cyber Security, Milan, Italy, February 6th - to, 2018

Language-Independent Synthesis of Firewall Policies.

Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Riccardo Focardi, Mauro Tempesta, Lorenzo Veronese

Proceedings of the 2018 IEEE European Symposium on Security and Privacy, 2018

2017

Tracing where IoT data are collected and aggregated.

Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta

Log. Methods Comput. Sci., 2017

Tool Supported Analysis of IoT.

Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Emilio Tuosto

Proceedings of the Proceedings 10th Interaction and Concurrency Experience, 2017

Regular and context-free nominal traces.

Pierpaolo Degano, Gian-Luigi Ferrari, Gianluca Mezzetti

Acta Informatica, 2017

Specifying variability in service contracts.

Davide Basile, Felicita Di Giandomenico, Stefania Gnesi, Pierpaolo Degano, Gian-Luigi Ferrari

Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, 2017

Experimenting with a Context-Aware Language.

Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta

Proceedings of the Parallel Computing Technologies, 2017

2016

A Two-Component Language for Adaptation: Design, Semantics and Program Analysis.

Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta

IEEE Trans. Software Eng., 2016

Relating two automata-based models of orchestration and choreography.

Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari, Emilio Tuosto

J. Log. Algebraic Methods Program., 2016

Context-aware security: Linguistic mechanisms and static analysis.

Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Francesco Salvatori

J. Comput. Secur., 2016

Event-driven Adaptation in COP.

Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta

Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2016

A Step Towards Checking Security in IoT.

Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta

Proceedings of the Proceedings 9th Interaction and Concurrency Experience, 2016

Automata for Specifying and Orchestrating Service Contracts.

Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari

Log. Methods Comput. Sci., 2016

A Semantics for Disciplined Concurrency in COP.

Matteo Busi, Pierpaolo Degano, Letterio Galletta

Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016

Playing with Our CAT and Communication-Centric Applications.

Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari, Emilio Tuosto

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

Where Do Your IoT Ingredients Come From?

Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta

Proceedings of the Coordination Models and Languages, 2016

Last Mile's Resources.

Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta

Proceedings of the Semantics, Logics, and Calculi, 2016

2015

On the information leakage of differentially-private mechanisms.

Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi

J. Comput. Secur., 2015

A Context-Oriented Extension of F#.

Andrea Canciani, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta

Proceedings of the Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, 2015

Debits and Credits in Petri Nets and Linear Logic.

Massimo Bartoletti, Pierpaolo Degano, Paolo Di Giamberardino, Roberto Zunino

Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014

A formal framework for secure and complying services.

Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari

J. Supercomput., 2014

From Models to Languages.

Pierpaolo Degano, Juhani Karhumäki, Paolo Massazza

Fundam. Informaticae, 2014

From Orchestration to Choreography through Contract Automata.

Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari, Emilio Tuosto

Proceedings of the Proceedings 7th Interaction and Concurrency Experience, 2014

Automata for Analysing Service Contracts.

Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari

Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014

A Two-Phase Static Analysis for Reliable Adaptation.

Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

Linguistic Mechanisms for Context-Aware Security.

Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Francesco Salvatori

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

A Two-Component Language for COP.

Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta

Proceedings of 6th International Workshop on Context-Oriented Programming, 2014

2013

Security in Pervasive Applications: A Survey.

Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Gianluca Mezzetti, Gianluigi Ferrari

Eur. J. Law Technol., 2013

Preface.

Pierpaolo Degano, Joshua D. Guttman

J. Comput. Secur., 2013

Towards Nominal Context-Free Model-Checking.

Pierpaolo Degano, Gian-Luigi Ferrari, Gianluca Mezzetti

Proceedings of the Implementation and Application of Automata, 2013

Secure and Unfailing Services.

Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari

Proceedings of the Parallel Computing Technologies - 12th International Conference, 2013

2012

Process Calculi, Systems Biology and Artificial Chemistry.

Pierpaolo Degano, Andrea Bracciali

Proceedings of the Handbook of Natural Computing, 2012

Typing Context-Dependent Behavioural Variation

Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti

Proceedings of the Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2012

Nominal Automata for Resource Usage Control.

Pierpaolo Degano, Gian-Luigi Ferrari, Gianluca Mezzetti

Proceedings of the Implementation and Application of Automata, 2012

Types for Coordinating Secure Behavioural Variations.

Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti

Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

Formalising Security in Ubiquitous and Cloud Scenarios.

Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti

Proceedings of the Computer Information Systems and Industrial Management, 2012

2011

Preface.

Pierpaolo Degano

Theor. Comput. Sci., 2011

Secure service orchestration in open networks.

Gabriele Costa, Pierpaolo Degano, Fabio Martinelli

J. Syst. Archit., 2011

On Quantitative Security Policies.

Pierpaolo Degano, Gian-Luigi Ferrari, Gianluca Mezzetti

Proceedings of the Parallel Computing Technologies - 11th International Conference, 2011

Differential Privacy: On the Trade-Off between Utility and Information Leakage.

Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi

Proceedings of the Formal Aspects of Security and Trust - 8th International Workshop, 2011

Call-by-Contract for Service Discovery, Orchestration and Recovery.

Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

Detecting and preventing type flaws at static time.

Chiara Bodei, Linda Brodo, Pierpaolo Degano, Han Gao

J. Comput. Secur., 2010

Differential Privacy versus Quantitative Information Flow

Mário S. Alvim, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi

CoRR, 2010

Modular Plans for Secure Service Composition.

Gabriele Costa, Pierpaolo Degano, Fabio Martinelli

Proceedings of the Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, 2010

2009

Local policies for resource usage analysis.

Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino

ACM Trans. Program. Lang. Syst., 2009

Securing Java with Local Policies.

Massimo Bartoletti, Gabriele Costa, Pierpaolo Degano, Fabio Martinelli, Roberto Zunino

J. Object Technol., 2009

Planning and verifying service composition.

Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari

J. Comput. Secur., 2009

<i>nu</i>-Types for Effects and Freshness Analysis.

Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino

Proceedings of the Theoretical Aspects of Computing, 2009

Formal Models of the Calyx of Held.

Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano

Proceedings of the Algorithmic Bioprocesses, 2009

2008

Semantics-Based Design for Secure Web Services.

Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino

IEEE Trans. Software Eng., 2008

Synapses as stochastic concurrent systems.

Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano

Theor. Comput. Sci., 2008

Joint workshop on foundations of computer security and automated reasoning for security protocol analysis (FCS-ARSPA '06).

Pierpaolo Degano, Ralf Küsters, Luca Viganò, Steve Zdancewic

Inf. Comput., 2008

Hard Life with Weak Binders.

Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino

Proceedings of the 15th Workshop on Expressiveness in Concurrency, 2008

Stochastic models for the in silico simulation of synaptic processes.

Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano

BMC Bioinform., 2008

Model Checking Usage Policies.

Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino

Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008

Cells in Silico: A Holistic Approach.

Davide Chiarugi, Pierpaolo Degano, Jan Bert Van Klinken, Roberto Marangoni

Proceedings of the Formal Methods for Computational Systems Biology, 2008

Ugo Montanari in a Nutshell.

Rocco De Nicola, Pierpaolo Degano, José Meseguer

Proceedings of the Concurrency, 2008

A Formal Analysis of Complex Type Flaw Attacks on Security Protocols.

Han Gao, Chiara Bodei, Pierpaolo Degano

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

A Computational Approach to the Functional Screening of Genomes.

Davide Chiarugi, Pierpaolo Degano, Roberto Marangoni

PLoS Comput. Biol., 2007

Detecting and Preventing Type flaws: a Control Flow Analysis with Tags.

Chiara Bodei, Pierpaolo Degano, Han Gao, Linda Brodo

Proceedings of the Fifth Workshop on Security Issues in Concurrency, 2007

A Stochastic Semantics for BioAmbients.

Linda Brodo, Pierpaolo Degano, Corrado Priami

Proceedings of the Parallel Computing Technologies, 2007

Types and Effects for Resource Usage Analysis.

Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino

Proceedings of the Foundations of Software Science and Computational Structures, 2007

Secure Service Orchestration.

Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino

Proceedings of the Foundations of Security Analysis and Design IV, 2007

Expressive Models for Synaptic Plasticity.

Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano

Proceedings of the Computational Methods in Systems Biology, International Conference, 2007

A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols.

Han Gao, Chiara Bodei, Pierpaolo Degano, Hanne Riis Nielson

Proceedings of the Advances in Computer Science, 2007

2006

Preface.

Pierpaolo Degano, Luca Viganò

Theor. Comput. Sci., 2006

Beta-binders for Biological Quantitative Experiments.

Pierpaolo Degano, Davide Prandi, Corrado Priami, Paola Quaglia

Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, 2006

Handling exp, × (and Timestamps) in Protocol Analysis.

Roberto Zunino, Pierpaolo Degano

Proceedings of the Foundations of Software Science and Computation Structures, 2006

Security Issues in Service Composition.

Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

Types and Effects for Secure Service Orchestration.

Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari

Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006

Feedbacks and Oscillations in the Virtual Cell VICE.

Davide Chiarugi, M. Chinellato, Pierpaolo Degano, G. Lo Brutto, Roberto Marangoni

Proceedings of the Computational Methods in Systems Biology, International Conference, 2006

2005

Weakening the perfect encryption assumption in Dolev-Yao adversaries.

Roberto Zunino, Pierpaolo Degano

Theor. Comput. Sci., 2005

Checking security policies through an enhanced Control Flow Analysis.

Chiara Bodei, Pierpaolo Degano, Corrado Priami

J. Comput. Secur., 2005

Static validation of security protocols.

Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson

J. Comput. Secur., 2005

Authentication primitives for secure protocol specifications.

Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami

Future Gener. Comput. Syst., 2005

Policy framings for access control.

Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari

Proceedings of the POPL 2005 Workshop on Issues in the Theory of Security, 2005

On Evaluating the Performance of Security Protocols.

Chiara Bodei, Mikael Buchholtz, Michele Curti, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson, Corrado Priami

Proceedings of the Parallel Computing Technologies, 2005

Checking Risky Events Is Enough for Local Policies.

Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari

Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005

History-Based Access Control with Local Policies.

Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari

Proceedings of the Foundations of Software Science and Computational Structures, 2005

Enforcing Secure Service Composition.

Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari

Proceedings of the 18th IEEE Computer Security Foundations Workshop, 2005

2004

Modelling biochemical pathways through enhanced pi-calculus.

Michele Curti, Pierpaolo Degano, Corrado Priami, Cosima Tatiana Baldari

Theor. Comput. Sci., 2004

Stack inspection and secure program transformations.

Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari

Int. J. Inf. Sec., 2004

A Quantitative Study of Two Attacks.

Chiara Bodei, Michele Curti, Pierpaolo Degano, Corrado Priami

Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, 2004

Performance Evaluation of Security Protocols Specified in LySa.

Chiara Bodei, Michele Curti, Pierpaolo Degano, Mikael Buchholtz, Flemming Nielson, Hanne Riis Nielson, Corrado Priami

Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, 2004

A Note on the Perfect Encryption Assumption in a Process Calculus.

Roberto Zunino, Pierpaolo Degano

Proceedings of the Foundations of Software Science and Computation Structures, 2004

VICE: A VIrtual CEll.

Davide Chiarugi, Michele Curti, Pierpaolo Degano, Roberto Marangoni

Proceedings of the Computational Methods in Systems Biology, International Conference, 2004

2003

Program Transformations under Dynamic Security Policies.

Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari

Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003

Authentication Primitives for Protocol Specifications.

Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami

Proceedings of the Parallel Computing Technologies, 2003

Security-Aware Program Transformations.

Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari

Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003

Reflecting Mobile Ambients into the p-Calculus.

Linda Brodo, Pierpaolo Degano, Corrado Priami

Proceedings of the Global Computing. Programming Environments, 2003

Performance Evaluation for Global Computation.

Linda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami

Proceedings of the Global Computing. Programming Environments, 2003

Causality and Replication in Concurrent Processes.

Pierpaolo Degano, Fabio Gadducci, Corrado Priami

Proceedings of the Perspectives of Systems Informatics, 2003

Automatic Validation of Protocol Narration.

Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson

Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June, 2003

Enhanced Operational Semantics in Systems Biology.

Pierpaolo Degano, Corrado Priami

Proceedings of the Computational Methods in Systems Biology, First International Workshop, 2003

Causal pi-Calculus for Biochemical Modelling.

Michele Curti, Pierpaolo Degano, Cosima Tatiana Baldari

Proceedings of the Computational Methods in Systems Biology, First International Workshop, 2003

2002

A causal semantics for CCS via rewriting logic.

Pierpaolo Degano, Fabio Gadducci, Corrado Priami

Theor. Comput. Sci., 2002

Primitives for authentication in process algebras.

Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami

Theor. Comput. Sci., 2002

Flow logic for Dolev-Yao secrecy in cryptographic processes.

Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson

Future Gener. Comput. Syst., 2002

2001

Performance Evaluation of Mobile Processes via Abstract Machines.

Chiara Nottegar, Corrado Priami, Pierpaolo Degano

IEEE Trans. Software Eng., 2001

Names of the -calculus agents handled locally.

Chiara Bodei, Pierpaolo Degano, Corrado Priami

Theor. Comput. Sci., 2001

Static Analysis for the pi-Calculus with Applications to Security.

Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson

Inf. Comput., 2001

Techniques for Security Checking: Non-Interference vs Control Flow Analysis.

Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli

Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

Static Analysis for Stack Inspection.

Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari

Proceedings of the International Workshop on Concurrency and Coordination, 2001

Static Analysis for Secrecy and Non-interference in Networks of Processes.

Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson

Proceedings of the Parallel Computing Technologies, 2001

Security Analysis Using Flow Logics.

Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson

Proceedings of the Current Trends in Theoretical Computer Science, 2001

2000

Security Analysis using Flow Logics.

Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson

Bull. EATCS, 2000

A tool for quantitative analysis of calculus processes.

Linda Brodo, Pierpaolo Degano, Corrado Priami

Proceedings of the ICALP Workshops 2000, 2000

Safe Ambients: Control Flow Analysis and Security.

Pierpaolo Degano, Francesca Levi, Chiara Bodei

Proceedings of the Advances in Computing Science, 2000

1999

Non-Interleaving Semantics for Mobile Processes.

Pierpaolo Degano, Corrado Priami

Theor. Comput. Sci., 1999

Computing Surveys' Electronic Symposium on the Theory of Computation.

Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela, Peter Wegner

ACM Comput. Surv., 1999

Causality for Debugging Mobile Agents.

Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen

Acta Informatica, 1999

Static Analysis of Processes for No and Read-Up nad No Write-Down.

Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson

Proceedings of the Foundations of Software Science and Computation Structure, 1999

Semantic-Driven Performance Evaluation (Extended Abstract).

Chiara Nottegar, Corrado Priami, Pierpaolo Degano

Proceedings of the Fundamental Approaches to Software Engineering, 1999

Authentication via Localized Names.

Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami

Proceedings of the 12th IEEE Computer Security Foundations Workshop, 1999

1998

CCS semantics via proved transition systems and rewriting logic.

Georgia Carabetta, Pierpaolo Degano, Fabio Gadducci

Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

LR Techniques for Handling Syntax Errors.

Pierpaolo Degano, Corrado Priami

Comput. Lang., 1998

Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation.

Chiara Bodei, Pierpaolo Degano, Corrado Priami

Proceedings of the Static Analysis, 5th International Symposium, 1998

Control Flow Analysis for the pi-calculus.

Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson

Proceedings of the CONCUR '98: Concurrency Theory, 1998

1996

Enhanced Operational Semantics.

Pierpaolo Degano, Corrado Priami

ACM Comput. Surv., 1996

Axiomatizing the Algebra of Net Computations and Processes.

Pierpaolo Degano, José Meseguer, Ugo Montanari

Acta Informatica, 1996

Understanding Mobile Agents via a Non-Interleaving Semantics for Facile.

Roberta Borgia, Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen

Proceedings of the Static Analysis, Third International Symposium, 1996

Logical and Operational Methods in the Analysis of Programs and Systems.

Flemming Nielson, Patrick Cousot, Mads Dam, Pierpaolo Degano, Pierre Jouvelot, Alan Mycroft, Bent Thomsen

Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

Analysis of Facile Programs: A Case Study.

Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen

Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

Mobile Processes with Local Clocks.

Pierpaolo Degano, Jean-Vincent Loddo, Corrado Priami

Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

Mobile Processes with a Distributed Environment.

Chiara Bodei, Pierpaolo Degano, Corrado Priami

Proceedings of the Automata, Languages and Programming, 23rd International Colloquium, 1996

1995

A Causal Operational Semantics of Action Refinement

Pierpaolo Degano, Roberto Gorrieri

Inf. Comput., October, 1995

Comparison of Syntactic Error Handling in LR Parsers.

Pierpaolo Degano, Corrado Priami

Softw. Pract. Exp., 1995

Fairness and Priority.

Pierpaolo Degano, Leonarda Raffoni

Fundam. Informaticae, 1995

An Efficient Verifier of Truly Concurrent Properties.

Alessandro Bianchi, Stefano Coluccini, Pierpaolo Degano, Corrado Priami

Proceedings of the Parallel Computing Technologies, 1995

Causality for Mobile Processes.

Pierpaolo Degano, Corrado Priami

Proceedings of the Automata, Languages and Programming, 22nd International Colloquium, 1995

Complexity as a Basis for Comparing Semantic Models of Concurrency.

Alan Mycroft, Pierpaolo Degano, Corrado Priami

Proceedings of the Algorithms, 1995

A Transitional Semantics of Full Prolog.

Pierpaolo Degano, Corrado Priami

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1993

Refinement of Actions in Event Structures and Causal Trees.

Philippe Darondeau, Pierpaolo Degano

Theor. Comput. Sci., 1993

Universal Axioms for Bisimulations.

Pierpaolo Degano, Rocco De Nicola, Ugo Montanari

Theor. Comput. Sci., 1993

Generating the analytic component parts of syntax-directed editors with efficient-error recovery.

U. Bianchi, Pierpaolo Degano, Stefano Mannucci, Simone Martini, Bruno Mojana, Corrado Priami, E. Salvatori

J. Syst. Softw., 1993

On Relating Some Models for Concurrency.

Pierpaolo Degano, Roberto Gorrieri, Sebastiano Vigna

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

1992

A Categorial View of Process Refinement.

Pierpaolo Degano, Roberto Gorrieri, Giuseppe Rosolini

Proceedings of the Sematics: Foundations and Applications, 1992

Observation Trees.

Pierpaolo Degano, Rocco De Nicola, Ugo Montanari

Proceedings of the NAPAW 92, 1992

Proved Trees.

Pierpaolo Degano, Corrado Priami

Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992

1991

About semantic action refinement.

Philippe Darondeau, Pierpaolo Degano

Fundam. Informaticae, 1991

Atomic Refinement in Process Description Languages.

Pierpaolo Degano, Roberto Gorrieri

Proceedings of the Mathematical Foundations of Computer Science 1991, 1991

Applications of the Calculus of Trees to Process Description Languages.

Pierpaolo Degano, Stefano Kasangian, Sebastiano Vigna

Proceedings of the Category Theory and Computer Science, 1991

1990

A Partial Ordering Semantics for CCS.

Pierpaolo Degano, Rocco De Nicola, Ugo Montanari

Theor. Comput. Sci., 1990

Event Structures, Causal Trees, and Refinements.

Philippe Darondeau, Pierpaolo Degano

Proceedings of the Mathematical Foundations of Computer Science 1990, 1990

Causal Trees: Interleaving + Causality.

Philippe Darondeau, Pierpaolo Degano

Proceedings of the Semantics of Systems of Concurrent Processes, 1990

1989

A Normal Form for Restricted Exponential Functions.

Pierpaolo Degano, Patrizia M. Gianni

RAIRO Theor. Informatics Appl., 1989

Axiomatizing Net Computations and Processes

Pierpaolo Degano, José Meseguer, Ugo Montanari

Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989

Causal Trees.

Philippe Darondeau, Pierpaolo Degano

Proceedings of the Automata, Languages and Programming, 16th International Colloquium, 1989

1988

Efficient Incremental LR Parsing for Syntax-Directed Editors.

Pierpaolo Degano, Stefano Mannucci, Bruno Mojana

ACM Trans. Program. Lang. Syst., 1988

A Distributed Operational Semantics for CCS Based on Condition/Event Systems.

Pierpaolo Degano, Rocco De Nicola, Ugo Montanari

Acta Informatica, 1988

Partial orderings descriptions and observations of nondeterministic concurrent processes.

Pierpaolo Degano, Rocco De Nicola, Ugo Montanari

Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988

On the Consistency of "Truly Concurrent" Operational and Denotational Semantics (Extended Abstract)

Pierpaolo Degano, Rocco De Nicola, Ugo Montanari

Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988

1987

Concurrent Histories: A Basis for Observing Distributed Systems.

Pierpaolo Degano, Ugo Montanari

J. Comput. Syst. Sci., 1987

A model for distributed systems based on graph rewriting.

Pierpaolo Degano, Ugo Montanari

J. ACM, 1987

Partial ordering models for concurrency can be defined operationally.

Pierpaolo Degano, Sergio Marchetti

Int. J. Parallel Program., 1987

Observational equivalences for concurrency models.

Pierpaolo Degano, Rocco De Nicola, Ugo Montanari

Proceedings of the Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts, 1987

An Exercise in Concurrency: a CSP Process as a Condition/ event System.

Pierpaolo Degano, Roberto Gorrieri, Sergio Marchetti

Proceedings of the Advances in Petri Nets 1988, 1987

1986

CCS is an (Augmented) Contact Free C/E System.

Pierpaolo Degano, Rocco De Nicola, Ugo Montanari

Proceedings of the Mathematical Models for the Semantics of Parallelism, Advanced School, Rome, Italy, September 24, 1986

1985

An Evaluation Based Theorem Prover.

Pierpaolo Degano, Franco Sirovich

IEEE Trans. Pattern Anal. Mach. Intell., 1985

Specification Languages for Distributed Systems.

Pierpaolo Degano, Ugo Montanari

Proceedings of the Mathematical Foundations of Software Development, 1985

Partial ordering derivations for CCS.

Pierpaolo Degano, Rocco De Nicola, Ugo Montanari

Proceedings of the Fundamentals of Computation Theory, 1985

1984

Liveness Properties as Convergence in Metric Spaces

Pierpaolo Degano, Ugo Montanari

Proceedings of the 16th Annual ACM Symposium on Theory of Computing, April 30, 1984

A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language.

Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli

Proceedings of the Implementations of Prolog. , 1984

1983

A First Order Semantics of a Connective Suitable to Express Concurrency.

Pierpaolo Degano, Stefano Diomedi

Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983

1982

Applicative communicating processes in first order logic.

Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli

Proceedings of the International Symposium on Programming, 1982

Toward an Inductionless Technique for Proving Properties of Logic Programs.

Roberto Barbuti, Pierpaolo Degano, Giorgio Levi

Proceedings of the First International Logic Programming Conference, 1982

1980

On Finding the Optimal Access Path to Resolve a Relational Data Base Query.

Pierpaolo Degano, A. Lomanto, Franco Sirovich

Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

1979

Inducing Function Properties from Computation Traces.

Pierpaolo Degano, Franco Sirovich

Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

A Flexible Environment for Program Development Based on a Symbolic Interpreter.

Patrizia Asirelli, Pierpaolo Degano, Giorgio Levi, Alberto Martelli, Ugo Montanari, Giuliano Pacini, Franco Sirovich, Franco Turini

Proceedings of the 4th International Conference on Software Engineering, 1979