Pierpaolo Degano

228 papers A* 10A 5B 25C 7Misc 1Journal 84Unranked 80
YearRankTypeTitle / Venue / Authors
2026 — conf
When Obfuscations Preserve Constant-Time.
Languages, Compilers, Analysis
Matteo Busi, Pierpaolo Degano, Letterio Galletta
2025 B conf
Detecting Memory Errors in Rust Programs Including Unsafe Foreign Code.
SEFM
Andrea Franceschi, Letterio Galletta, Pierpaolo Degano
2024 A conf
A Logic for Policy Based Resource Exchanges in Multiagent Systems.
ECAI
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta, Luca Viganò
2024 J jnl
A Logic for Policy Based Resource Exchanges in Multiagent Systems.
CoRR
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta, Luca Viganò
2024 J jnl
Policies for Fair Exchanges of Resources.
CoRR
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta, Luca Viganò
2024 J jnl
Specifying and Verifying Information Flow Control in SELinux Configurations.
ACM Trans. Priv. Secur.
Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, David A. Basin
2023 J jnl
Formally verifying security protocols built on watermarking and jamming.
Comput. Secur.
Gabriele Costa, Pierpaolo Degano, Letterio Galletta, Simone Soderi
2023 — ch.
Risk Estimation in IoT Systems.
Challenges of Software Verification
Chiara Bodei, Gian-Luigi Ferrari, Letterio Galletta, Pierpaolo Degano
2022 J jnl
Automatic Fair Exchanges.
CoRR
Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, Luca Viganò
2022 J jnl
Can my firewall system enforce this policy?
Comput. Secur.
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta
2022 J jnl
IFCIL: An Information Flow Configuration Language for SELinux (Extended Version).
CoRR
Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, David A. Basin
2022 A conf
IFCIL: An Information Flow Configuration Language for SELinux.
CSF
Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, David A. Basin
2022 Misc conf
Towards effective preservation of robust safety properties.
SAC
Matteo Busi, Pierpaolo Degano, Letterio Galletta
2021 J jnl
FWS: Analyzing, maintaining and transcompiling firewalls.
J. Comput. Secur.
Chiara Bodei, Lorenzo Ceragioli, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Flaminia L. Luccio, Mauro Tempesta, Lorenzo Veronese
2021 J jnl
Mechanical incrementalization of typing algorithms.
Sci. Comput. Program.
Matteo Busi, Pierpaolo Degano, Letterio Galletta
2021 J jnl
Modelling and analysing IoT systems.
J. Parallel Distributed Comput.
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2021 J jnl
Securing Interruptible Enclaved Execution on Small Microprocessors.
ACM Trans. Program. Lang. Syst.
Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens
2021 C conf
Supervisory Synthesis of Configurable Behavioural Contracts with Modalities.
FORTE
Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico
2021 — conf
Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty.
Protocols, Strands, and Logic
Pierpaolo Degano, Letterio Galletta, Selene Gerali
2020 J jnl
Control-flow Flattening Preserves the Constant-Time Policy (Extended Version).
CoRR
Matteo Busi, Pierpaolo Degano, Letterio Galletta
2020 — conf
Control-flow Flattening Preserves the Constant-Time Policy.
ITASEC
Matteo Busi, Pierpaolo Degano, Letterio Galletta
2020 J jnl
Controller synthesis of service contracts with variability.
Sci. Comput. Program.
Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico
2020 — conf
MuAC: Access Control Language for Mutual Benefits.
ITASEC
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta
2020 J jnl
Natural Projection as Partial Model Checking.
J. Autom. Reason.
Gabriele Costa, Letterio Galletta, Pierpaolo Degano, David A. Basin, Chiara Bodei
2020 A conf
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors.
CSF
Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens
2020 J jnl
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version.
CoRR
Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens
2020 — conf
Security Metrics at Work on the Things in IoT Systems.
From Lambda Calculus to Cybersecurity Through Program Analysis
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2019 — conf
Are All Firewall Systems Equally Powerful?
PLAS@CCS
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta
2019 — conf
Automata-Based Behavioural Contracts with Action Correlation.
From Software Engineering to Formal Methods and Tools, and Back
Davide Basile, Rosario Pugliese, Francesco Tiezzi, Pierpaolo Degano, Gian-Luigi Ferrari
2019 — conf
Checking the Expressivity of Firewall Languages.
The Art of Modelling Computational Systems
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta
2019 — ed.
Proceedings of the Third Italian Conference on Cyber Security, Pisa, Italy, February 13-15, 2019.
ITASEC
Pierpaolo Degano, Roberto Zunino
2019 J jnl
Programming in a context-aware language.
J. Supercomput.
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2019 — conf
Revealing the Trajectories of KLAIM Tuples, Statically.
Models, Languages, and Tools for Concurrent and Distributed Programming
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2019 — conf
Robust Declassification by Incremental Typing.
Foundations of Security, Protocols, and Equational Reasoning
Matteo Busi, Pierpaolo Degano, Letterio Galletta
2019 J jnl
Translation Validation for Security Properties.
CoRR
Matteo Busi, Pierpaolo Degano, Letterio Galletta
2019 — conf
Using Standard Typing Algorithms Incrementally.
NFM
Matteo Busi, Pierpaolo Degano, Letterio Galletta
2018 — conf
Firewall Management With FireWall Synthesizer.
ITASEC
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Mauro Tempesta, Lorenzo Veronese
2018 — conf
From Natural Projection to Partial Model Checking and Back.
TACAS (1)
Gabriele Costa, David A. Basin, Chiara Bodei, Pierpaolo Degano, Letterio Galletta
2018 A conf
Language-Independent Synthesis of Firewall Policies.
EuroS&P
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Riccardo Focardi, Mauro Tempesta, Lorenzo Veronese
2018 J jnl
Process calculi for biological processes.
Nat. Comput.
Andrea Bernini, Linda Brodo, Pierpaolo Degano, Moreno Falaschi, Diana Hermith
2018 — conf
Transcompiling Firewalls.
POST
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Mauro Tempesta
2018 J jnl
Using Standard Typing Algorithms Incrementally.
CoRR
Matteo Busi, Pierpaolo Degano, Letterio Galletta
2017 B conf
Experimenting with a Context-Aware Language.
PaCT
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2017 J jnl
Regular and context-free nominal traces.
Acta Informatica
Pierpaolo Degano, Gian-Luigi Ferrari, Gianluca Mezzetti
2017 — conf
Specifying variability in service contracts.
VaMoS
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi, Pierpaolo Degano, Gian-Luigi Ferrari
2017 — conf
Tool Supported Analysis of IoT.
ICE@DisCoTec
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Emilio Tuosto
2017 J jnl
Tracing where IoT data are collected and aggregated.
Log. Methods Comput. Sci.
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2016 — conf
A Semantics for Disciplined Concurrency in COP.
ICTCS
Matteo Busi, Pierpaolo Degano, Letterio Galletta
2016 — conf
A Step Towards Checking Security in IoT.
ICE
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2016 J jnl
A Two-Component Language for Adaptation: Design, Semantics and Program Analysis.
IEEE Trans. Software Eng.
Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2016 J jnl
Automata for Specifying and Orchestrating Service Contracts.
Log. Methods Comput. Sci.
Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari
2016 J jnl
Context-aware security: Linguistic mechanisms and static analysis.
J. Comput. Secur.
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Francesco Salvatori
2016 — conf
Event-driven Adaptation in COP.
PLACES
Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2016 — conf
Last Mile's Resources.
Semantics, Logics, and Calculi
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2016 C conf
Playing with Our CAT and Communication-Centric Applications.
FORTE
Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari, Emilio Tuosto
2016 J jnl
Relating two automata-based models of orchestration and choreography.
J. Log. Algebraic Methods Program.
Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari, Emilio Tuosto
2016 J jnl
Tracing where IoT data are collected and aggregated.
CoRR
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2016 C conf
Where Do Your IoT Ingredients Come From?
COORDINATION
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2015 — conf
A Context-Oriented Extension of F#.
FOCLASA
Andrea Canciani, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2015 — conf
Debits and Credits in Petri Nets and Linear Logic.
Logic, Rewriting, and Concurrency
Massimo Bartoletti, Pierpaolo Degano, Paolo Di Giamberardino, Roberto Zunino
2015 J jnl
Model checking usage policies.
Math. Struct. Comput. Sci.
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino
2015 J jnl
On the information leakage of differentially-private mechanisms.
J. Comput. Secur.
Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi
2014 — conf
A Two-Component Language for COP.
COP@ECOOP
Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2014 B conf
A Two-Phase Static Analysis for Reliable Adaptation.
SEFM
Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2014 J jnl
A formal framework for secure and complying services.
J. Supercomput.
Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari
2014 — conf
Automata for Analysing Service Contracts.
TGC
Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari
2014 J jnl
From Models to Languages.
Fundam. Informaticae
Pierpaolo Degano, Juhani Karhumäki, Paolo Massazza
2014 — conf
From Orchestration to Choreography through Contract Automata.
ICE
Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari, Emilio Tuosto
2014 C conf
Linguistic Mechanisms for Context-Aware Security.
ICTAC
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Francesco Salvatori
2013 J jnl
Preface.
J. Comput. Secur.
Pierpaolo Degano, Joshua D. Guttman
2013 B conf
Secure and Unfailing Services.
PaCT
Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari
2013 J jnl
Security in Pervasive Applications: A Survey.
Eur. J. Law Technol.
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Gianluca Mezzetti, Gianluigi Ferrari
2013 C conf
Towards Nominal Context-Free Model-Checking.
CIAA
Pierpaolo Degano, Gian-Luigi Ferrari, Gianluca Mezzetti
2012 — conf
Formalising Security in Ubiquitous and Cloud Scenarios.
CISIM
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti
2012 J jnl
Modular plans for secure service composition.
J. Comput. Secur.
Gabriele Costa, Pierpaolo Degano, Fabio Martinelli
2012 C conf
Nominal Automata for Resource Usage Control.
CIAA
Pierpaolo Degano, Gian-Luigi Ferrari, Gianluca Mezzetti
2012 — ed.
Principles of Security and Trust - First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings
POST
Pierpaolo Degano, Joshua D. Guttman
2012 — ch.
Process Calculi, Systems Biology and Artificial Chemistry.
Handbook of Natural Computing
Pierpaolo Degano, Andrea Bracciali
2012 C conf
Types for Coordinating Secure Behavioural Variations.
COORDINATION
Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti
2012 — conf
Typing Context-Dependent Behavioural Variation
PLACES
Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti
2011 — ch.
Call-by-Contract for Service Discovery, Orchestration and Recovery.
Results of the SENSORIA Project
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino
2011 — conf
Differential Privacy: On the Trade-Off between Utility and Information Leakage.
Formal Aspects in Security and Trust
Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi
2011 J jnl
Differential Privacy: on the trade-off between Utility and Information Leakage
CoRR
Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi
2011 — ed.
Formal Aspects of Security and Trust - 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers
Formal Aspects in Security and Trust
Pierpaolo Degano, Sandro Etalle, Joshua D. Guttman
2011 B conf
On Quantitative Security Policies.
PaCT
Pierpaolo Degano, Gian-Luigi Ferrari, Gianluca Mezzetti
2011 J jnl
Preface.
Theor. Comput. Sci.
Pierpaolo Degano
2011 J jnl
Secure service orchestration in open networks.
J. Syst. Archit.
Gabriele Costa, Pierpaolo Degano, Fabio Martinelli
2010 J jnl
Detecting and preventing type flaws at static time.
J. Comput. Secur.
Chiara Bodei, Linda Brodo, Pierpaolo Degano, Han Gao
2010 J jnl
Differential Privacy versus Quantitative Information Flow
CoRR
Mário S. Alvim, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi
2010 — ed.
Formal Aspects in Security and Trust, 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers
Formal Aspects in Security and Trust
Pierpaolo Degano, Joshua D. Guttman
2010 — conf
Modular Plans for Secure Service Composition.
ARSPA-WITS
Gabriele Costa, Pierpaolo Degano, Fabio Martinelli
2009 — ed.
Computational Methods in Systems Biology, 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings
CMSB
Pierpaolo Degano, Roberto Gorrieri
2009 — ed.
Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers
Formal Aspects in Security and Trust
Pierpaolo Degano, Joshua D. Guttman, Fabio Martinelli
2009 — conf
Formal Models of the Calyx of Held.
Algorithmic Bioprocesses
Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano
2009 — ed.
Foundations and Applications of Security Analysis, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers
ARSPA-WITS
Pierpaolo Degano, Luca Viganò
2009 J jnl
Local policies for resource usage analysis.
ACM Trans. Program. Lang. Syst.
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino
2009 J jnl
Planning and verifying service composition.
J. Comput. Secur.
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari
2009 J jnl
Securing Java with Local Policies.
J. Object Technol.
Massimo Bartoletti, Gabriele Costa, Pierpaolo Degano, Fabio Martinelli, Roberto Zunino
2008 — conf
A Formal Analysis of Complex Type Flaw Attacks on Security Protocols.
AMAST
Han Gao, Chiara Bodei, Pierpaolo Degano
2008 — conf
Cells in Silico: A Holistic Approach.
SFM
Davide Chiarugi, Pierpaolo Degano, Jan Bert Van Klinken, Roberto Marangoni
2008 — ed.
Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Concurrency, Graphs and Models
Pierpaolo Degano, Rocco De Nicola, José Meseguer
2008 — ed.
Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures
SFM
Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro
2008 — conf
Hard Life with Weak Binders.
EXPRESS
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino
2008 J jnl
Joint workshop on foundations of computer security and automated reasoning for security protocol analysis (FCS-ARSPA '06).
Inf. Comput.
Pierpaolo Degano, Ralf Küsters, Luca Viganò, Steve Zdancewic
2008 — conf
Model Checking Usage Policies.
TGC
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino
2008 J jnl
Preface.
Int. J. Inf. Sec.
Pierpaolo Degano, Luca Viganò
2008 J jnl
Semantics-Based Design for Secure Web Services.
IEEE Trans. Software Eng.
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino
2008 J jnl
Stochastic models for the in silico simulation of synaptic processes.
BMC Bioinform.
Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano
2008 J jnl
Synapses as stochastic concurrent systems.
Theor. Comput. Sci.
Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano
2008 — conf
Ugo Montanari in a Nutshell.
Concurrency, Graphs and Models
Rocco De Nicola, Pierpaolo Degano, José Meseguer
2007 J jnl
A Computational Approach to the Functional Screening of Genomes.
PLoS Comput. Biol.
Davide Chiarugi, Pierpaolo Degano, Roberto Marangoni
2007 — conf
A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols.
ASIAN
Han Gao, Chiara Bodei, Pierpaolo Degano, Hanne Riis Nielson
2007 B conf
A Stochastic Semantics for BioAmbients.
PaCT
Linda Brodo, Pierpaolo Degano, Corrado Priami
2007 — conf
Detecting and Preventing Type flaws: a Control Flow Analysis with Tags.
SecCO@CONCUR
Chiara Bodei, Pierpaolo Degano, Han Gao, Linda Brodo
2007 — conf
Expressive Models for Synaptic Plasticity.
CMSB
Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano
2007 — conf
Secure Service Orchestration.
FOSAD
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino
2007 B conf
Types and Effects for Resource Usage Analysis.
FoSSaCS
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino
2006 — conf
Beta-binders for Biological Quantitative Experiments.
QAPL
Pierpaolo Degano, Davide Prandi, Corrado Priami, Paola Quaglia
2006 — conf
Feedbacks and Oscillations in the Virtual Cell VICE.
CMSB
Davide Chiarugi, M. Chinellato, Pierpaolo Degano, G. Lo Brutto, Roberto Marangoni
2006 B conf
Handling exp, × (and Timestamps) in Protocol Analysis.
FoSSaCS
Roberto Zunino, Pierpaolo Degano
2006 J jnl
Preface.
Theor. Comput. Sci.
Pierpaolo Degano, Luca Viganò
2006 — conf
Security Issues in Service Composition.
FMOODS
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari
2006 — conf
Types and Effects for Secure Service Orchestration.
CSFW
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari
2005 J jnl
Authentication primitives for secure protocol specifications.
Future Gener. Comput. Syst.
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami
2005 — conf
Checking Risky Events Is Enough for Local Policies.
ICTCS
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari
2005 J jnl
Checking security policies through an enhanced Control Flow Analysis.
J. Comput. Secur.
Chiara Bodei, Pierpaolo Degano, Corrado Priami
2005 — conf
Enforcing Secure Service Composition.
CSFW
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari
2005 B conf
History-Based Access Control with Local Policies.
FoSSaCS
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari
2005 B conf
On Evaluating the Performance of Security Protocols.
PaCT
Chiara Bodei, Mikael Buchholtz, Michele Curti, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson, Corrado Priami
2005 — conf
Policy framings for access control.
WITS
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari
2005 — conf
Preface.
ARSPA@ICALP
Pierpaolo Degano, Luca Viganò
2005 — ed.
Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis, ARSPA@ICALP 2005, Lisbon, Portugal, July 16, 2005
ARSPA@ICALP
Pierpaolo Degano, Luca Viganò
2005 J jnl
Static validation of security protocols.
J. Comput. Secur.
Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
2005 J jnl
Weakening the perfect encryption assumption in Dolev-Yao adversaries.
Theor. Comput. Sci.
Roberto Zunino, Pierpaolo Degano
2004 B conf
A Note on the Perfect Encryption Assumption in a Process Calculus.
FoSSaCS
Roberto Zunino, Pierpaolo Degano
2004 — conf
A Quantitative Study of Two Attacks.
WISP@ICATPN
Chiara Bodei, Michele Curti, Pierpaolo Degano, Corrado Priami
2004 J jnl
Modelling biochemical pathways through enhanced pi-calculus.
Theor. Comput. Sci.
Michele Curti, Pierpaolo Degano, Corrado Priami, Cosima Tatiana Baldari
2004 — conf
Performance Evaluation of Security Protocols Specified in LySa.
QAPL
Chiara Bodei, Michele Curti, Pierpaolo Degano, Mikael Buchholtz, Flemming Nielson, Hanne Riis Nielson, Corrado Priami
2004 J jnl
Preface.
Sci. Comput. Program.
Pierpaolo Degano
2004 J jnl
Stack inspection and secure program transformations.
Int. J. Inf. Sec.
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari
2004 — conf
VICE: A VIrtual CEll.
CMSB
Davide Chiarugi, Michele Curti, Pierpaolo Degano, Roberto Marangoni
2003 B conf
Authentication Primitives for Protocol Specifications.
PaCT
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami
2003 — conf
Automatic Validation of Protocol Narration.
CSFW
Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
2003 — conf
Causal pi-Calculus for Biochemical Modelling.
CMSB
Michele Curti, Pierpaolo Degano, Cosima Tatiana Baldari
2003 — conf
Causality and Replication in Concurrent Processes.
Ershov Memorial Conference
Pierpaolo Degano, Fabio Gadducci, Corrado Priami
2003 — conf
Enhanced Operational Semantics in Systems Biology.
CMSB
Pierpaolo Degano, Corrado Priami
2003 — conf
Performance Evaluation for Global Computation.
Global Computing
Linda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami
2003 — conf
Program Transformations under Dynamic Security Policies.
MEFISTO
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari
2003 A ed.
Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
ESOP
Pierpaolo Degano
2003 — conf
Reflecting Mobile Ambients into the p-Calculus.
Global Computing
Linda Brodo, Pierpaolo Degano, Corrado Priami
2003 — conf
Security-Aware Program Transformations.
ICTCS
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari
2002 J jnl
A causal semantics for CCS via rewriting logic.
Theor. Comput. Sci.
Pierpaolo Degano, Fabio Gadducci, Corrado Priami
2002 J jnl
Flow logic for Dolev-Yao secrecy in cryptographic processes.
Future Gener. Comput. Syst.
Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
2002 J jnl
Primitives for authentication in process algebras.
Theor. Comput. Sci.
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami
2001 J jnl
Enhanced operational semantics.
ACM Comput. Surv.
Pierpaolo Degano, Corrado Priami
2001 J jnl
Names of the -calculus agents handled locally.
Theor. Comput. Sci.
Chiara Bodei, Pierpaolo Degano, Corrado Priami
2001 J jnl
Performance Evaluation of Mobile Processes via Abstract Machines.
IEEE Trans. Software Eng.
Chiara Nottegar, Corrado Priami, Pierpaolo Degano
2001 — ch.
Security Analysis Using Flow Logics.
Current Trends in Theoretical Computer Science
Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
2001 B conf
Static Analysis for Secrecy and Non-interference in Networks of Processes.
PaCT
Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
2001 — conf
Static Analysis for Stack Inspection.
ConCoord
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari
2001 J jnl
Static Analysis for the pi-Calculus with Applications to Security.
Inf. Comput.
Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
2001 — conf
Techniques for Security Checking: Non-Interference vs Control Flow Analysis.
TOSCA
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
2000 — conf
A tool for quantitative analysis of calculus processes.
ICALP Satellite Workshops
Linda Brodo, Pierpaolo Degano, Corrado Priami
2000 — conf
Safe Ambients: Control Flow Analysis and Security.
ASIAN
Pierpaolo Degano, Francesca Levi, Chiara Bodei
2000 J jnl
Security Analysis using Flow Logics.
Bull. EATCS
Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
1999 — conf
Authentication via Localized Names.
CSFW
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami
1999 J jnl
Causality for Debugging Mobile Agents.
Acta Informatica
Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen
1999 J jnl
Computing Surveys' Electronic Symposium on the Theory of Computation.
ACM Comput. Surv.
Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela, Peter Wegner
1999 J jnl
Non-Interleaving Semantics for Mobile Processes.
Theor. Comput. Sci.
Pierpaolo Degano, Corrado Priami
1999 B conf
Semantic-Driven Performance Evaluation (Extended Abstract).
FASE
Chiara Nottegar, Corrado Priami, Pierpaolo Degano
1999 B conf
Static Analysis of Processes for No and Read-Up nad No Write-Down.
FoSSaCS
Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
1998 — conf
CCS semantics via proved transition systems and rewriting logic.
WRLA
Georgia Carabetta, Pierpaolo Degano, Fabio Gadducci
1998 B conf
Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation.
SAS
Chiara Bodei, Pierpaolo Degano, Corrado Priami
1998 B conf
Control Flow Analysis for the pi-calculus.
CONCUR
Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
1998 J jnl
LR Techniques for Handling Syntax Errors.
Comput. Lang.
Pierpaolo Degano, Corrado Priami
1997 A* ed.
Automata, Languages and Programming, 24th International Colloquium, ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings
ICALP
Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela
1996 — conf
Analysis of Facile Programs: A Case Study.
LOMAPS
Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen
1996 J jnl
Axiomatizing the Algebra of Net Computations and Processes.
Acta Informatica
Pierpaolo Degano, José Meseguer, Ugo Montanari
1996 J jnl
Enhanced Operational Semantics.
ACM Comput. Surv.
Pierpaolo Degano, Corrado Priami
1996 — conf
Logical and Operational Methods in the Analysis of Programs and Systems.
LOMAPS
Flemming Nielson, Patrick Cousot, Mads Dam, Pierpaolo Degano, Pierre Jouvelot, Alan Mycroft, Bent Thomsen
1996 — conf
Mobile Processes with Local Clocks.
LOMAPS
Pierpaolo Degano, Jean-Vincent Loddo, Corrado Priami
1996 A* conf
Mobile Processes with a Distributed Environment.
ICALP
Chiara Bodei, Pierpaolo Degano, Corrado Priami
1996 B conf
Understanding Mobile Agents via a Non-Interleaving Semantics for Facile.
SAS
Roberta Borgia, Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen
1995 J jnl
A Causal Operational Semantics of Action Refinement
Inf. Comput.
Pierpaolo Degano, Roberto Gorrieri
1995 — conf
A Transitional Semantics of Full Prolog.
GULP-PRODE
Pierpaolo Degano, Corrado Priami
1995 B conf
An Efficient Verifier of Truly Concurrent Properties.
PaCT
Alessandro Bianchi, Stefano Coluccini, Pierpaolo Degano, Corrado Priami
1995 A* conf
Causality for Mobile Processes.
ICALP
Pierpaolo Degano, Corrado Priami
1995 J jnl
Comparison of Syntactic Error Handling in LR Parsers.
Softw. Pract. Exp.
Pierpaolo Degano, Corrado Priami
1995 — conf
Complexity as a Basis for Comparing Semantic Models of Concurrency.
ASIAN
Alan Mycroft, Pierpaolo Degano, Corrado Priami
1995 J jnl
Fairness and Priority.
Fundam. Informaticae
Pierpaolo Degano, Leonarda Raffoni
1993 J jnl
Generating the analytic component parts of syntax-directed editors with efficient-error recovery.
J. Syst. Softw.
U. Bianchi, Pierpaolo Degano, Stefano Mannucci, Simone Martini, Bruno Mojana, Corrado Priami, E. Salvatori
1993 — conf
On Relating Some Models for Concurrency.
TAPSOFT
Pierpaolo Degano, Roberto Gorrieri, Sebastiano Vigna
1993 J jnl
Refinement of Actions in Event Structures and Causal Trees.
Theor. Comput. Sci.
Philippe Darondeau, Pierpaolo Degano
1993 J jnl
Universal Axioms for Bisimulations.
Theor. Comput. Sci.
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
1992 — conf
A Categorial View of Process Refinement.
REX Workshop
Pierpaolo Degano, Roberto Gorrieri, Giuseppe Rosolini
1992 — conf
Observation Trees.
NAPAW
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
1992 A* conf
Proved Trees.
ICALP
Pierpaolo Degano, Corrado Priami
1991 J jnl
About semantic action refinement.
Fundam. Informaticae
Philippe Darondeau, Pierpaolo Degano
1991 — conf
Applications of the Calculus of Trees to Process Description Languages.
Category Theory and Computer Science
Pierpaolo Degano, Stefano Kasangian, Sebastiano Vigna
1991 B conf
Atomic Refinement in Process Description Languages.
MFCS
Pierpaolo Degano, Roberto Gorrieri
1990 J jnl
A Partial Ordering Semantics for CCS.
Theor. Comput. Sci.
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
1990 — conf
Causal Trees: Interleaving + Causality.
Semantics of Systems of Concurrent Processes
Philippe Darondeau, Pierpaolo Degano
1990 B conf
Event Structures, Causal Trees, and Refinements.
MFCS
Philippe Darondeau, Pierpaolo Degano
1989 J jnl
A Normal Form for Restricted Exponential Functions.
RAIRO Theor. Informatics Appl.
Pierpaolo Degano, Patrizia M. Gianni
1989 A* conf
Axiomatizing Net Computations and Processes
LICS
Pierpaolo Degano, José Meseguer, Ugo Montanari
1989 A* conf
Causal Trees.
ICALP
Philippe Darondeau, Pierpaolo Degano
1988 J jnl
A Distributed Operational Semantics for CCS Based on Condition/Event Systems.
Acta Informatica
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
1988 J jnl
Efficient Incremental LR Parsing for Syntax-Directed Editors.
ACM Trans. Program. Lang. Syst.
Pierpaolo Degano, Stefano Mannucci, Bruno Mojana
1988 A* conf
On the Consistency of "Truly Concurrent" Operational and Denotational Semantics (Extended Abstract)
LICS
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
1988 — conf
Partial orderings descriptions and observations of nondeterministic concurrent processes.
REX Workshop
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
1987 J jnl
A model for distributed systems based on graph rewriting.
J. ACM
Pierpaolo Degano, Ugo Montanari
1987 — conf
An Exercise in Concurrency: a CSP Process as a Condition/ event System.
European Workshop on Applications and Theory of Petri Nets
Pierpaolo Degano, Roberto Gorrieri, Sergio Marchetti
1987 J jnl
Concurrent Histories: A Basis for Observing Distributed Systems.
J. Comput. Syst. Sci.
Pierpaolo Degano, Ugo Montanari
1987 — conf
Observational equivalences for concurrency models.
Formal Description of Programming Concepts
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
1987 J jnl
Partial ordering models for concurrency can be defined operationally.
Int. J. Parallel Program.
Pierpaolo Degano, Sergio Marchetti
1986 — conf
CCS is an (Augmented) Contact Free C/E System.
Mathematical Models for the Semantics of Parallelism
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
1985 J jnl
An Evaluation Based Theorem Prover.
IEEE Trans. Pattern Anal. Mach. Intell.
Pierpaolo Degano, Franco Sirovich
1985 B conf
Partial ordering derivations for CCS.
FCT
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
1985 — conf
Specification Languages for Distributed Systems.
TAPSOFT, Vol.1
Pierpaolo Degano, Ugo Montanari
1984 — ch.
A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language.
Implementations of Prolog
Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli
1984 A* conf
Liveness Properties as Convergence in Metric Spaces
STOC
Pierpaolo Degano, Ugo Montanari
1983 B conf
A First Order Semantics of a Connective Suitable to Express Concurrency.
Logic Programming Workshop
Pierpaolo Degano, Stefano Diomedi
1983 — ed.
Integrated Interactive Computing Systems: Proceedings of the European Conference on Integrated Interactive Computing Systems, ECICS 82, Stresa, Italy, 1-3 September, 1982
ECICS
Pierpaolo Degano, Erik Sandewall
1982 — conf
Applicative communicating processes in first order logic.
Symposium on Programming
Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli
1982 B conf
Toward an Inductionless Technique for Proving Properties of Logic Programs.
ICLP
Roberto Barbuti, Pierpaolo Degano, Giorgio Levi
1980 B conf
On Finding the Optimal Access Path to Resolve a Relational Data Base Query.
MFCS
Pierpaolo Degano, A. Lomanto, Franco Sirovich
1979 A* conf
A Flexible Environment for Program Development Based on a Symbolic Interpreter.
ICSE
Patrizia Asirelli, Pierpaolo Degano, Giorgio Levi, Alberto Martelli, Ugo Montanari, Giuliano Pacini, Franco Sirovich, Franco Turini
1979 A* conf
Inducing Function Properties from Computation Traces.
IJCAI
Pierpaolo Degano, Franco Sirovich