Pierpaolo Degano

ORCID

Publication Activity (10 Years)

Years Active: 1979-2023
Publications (10 Years): 50

Top Venues

Publications

Gabriele Costa, Pierpaolo Degano, Letterio Galletta, Simone Soderi
Formally verifying security protocols built on watermarking and jamming. Comput. Secur. 128 (2023)
Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, David A. Basin
IFCIL: An Information Flow Configuration Language for SELinux. CSF (2022)
Matteo Busi, Pierpaolo Degano, Letterio Galletta
Towards effective preservation of robust safety properties. SAC (2022)
Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, David A. Basin
IFCIL: An Information Flow Configuration Language for SELinux (Extended Version). CoRR (2022)
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta
Can my firewall system enforce this policy? Comput. Secur. 117 (2022)
Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, Luca Viganò
Automatic Fair Exchanges. CoRR (2022)
Pierpaolo Degano, Letterio Galletta, Selene Gerali
Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty. Protocols, Strands, and Logic (2021)
Matteo Busi, Pierpaolo Degano, Letterio Galletta
Mechanical incrementalization of typing algorithms. Sci. Comput. Program. 208 (2021)
Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens
Securing Interruptible Enclaved Execution on Small Microprocessors. ACM Trans. Program. Lang. Syst. 43 (3) (2021)
Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico
Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. FORTE (2021)
Chiara Bodei, Lorenzo Ceragioli, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Flaminia L. Luccio, Mauro Tempesta, Lorenzo Veronese
FWS: Analyzing, maintaining and transcompiling firewalls. J. Comput. Secur. 29 (1) (2021)
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
Modelling and analysing IoT systems. J. Parallel Distributed Comput. 157 (2021)
Matteo Busi, Pierpaolo Degano, Letterio Galletta
Control-flow Flattening Preserves the Constant-Time Policy. ITASEC (2020)
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
Security Metrics at Work on the Things in IoT Systems. From Lambda Calculus to Cybersecurity Through Program Analysis (2020)
Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version. CoRR (2020)
Gabriele Costa, Letterio Galletta, Pierpaolo Degano, David A. Basin, Chiara Bodei
Natural Projection as Partial Model Checking. J. Autom. Reason. 64 (7) (2020)
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta
MuAC: Access Control Language for Mutual Benefits. ITASEC (2020)
Matteo Busi, Pierpaolo Degano, Letterio Galletta
Control-flow Flattening Preserves the Constant-Time Policy (Extended Version). CoRR (2020)
Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors. CSF (2020)
Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico
Controller synthesis of service contracts with variability. Sci. Comput. Program. 187 (2020)
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta
Checking the Expressivity of Firewall Languages. The Art of Modelling Computational Systems (2019)
Matteo Busi, Pierpaolo Degano, Letterio Galletta
Robust Declassification by Incremental Typing. Foundations of Security, Protocols, and Equational Reasoning (2019)
Davide Basile, Rosario Pugliese, Francesco Tiezzi, Pierpaolo Degano, Gian Luigi Ferrari
Automata-Based Behavioural Contracts with Action Correlation. From Software Engineering to Formal Methods and Tools, and Back (2019)
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta
Are All Firewall Systems Equally Powerful? PLAS@CCS (2019)
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
Programming in a context-aware language. J. Supercomput. 75 (12) (2019)
Matteo Busi, Pierpaolo Degano, Letterio Galletta
Using Standard Typing Algorithms Incrementally. NFM (2019)
Matteo Busi, Pierpaolo Degano, Letterio Galletta
Translation Validation for Security Properties. CoRR (2019)
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
Revealing the Trajectories of KLAIM Tuples, Statically. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Gabriele Costa, David A. Basin, Chiara Bodei, Pierpaolo Degano, Letterio Galletta
From Natural Projection to Partial Model Checking and Back. TACAS (1) (2018)
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Mauro Tempesta, Lorenzo Veronese
Firewall Management With FireWall Synthesizer. ITASEC (2018)
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Riccardo Focardi, Mauro Tempesta, Lorenzo Veronese
Language-Independent Synthesis of Firewall Policies. EuroS&P (2018)
Andrea Bernini, Linda Brodo, Pierpaolo Degano, Moreno Falaschi, Diana Hermith
Process calculi for biological processes. Nat. Comput. 17 (2) (2018)
Matteo Busi, Pierpaolo Degano, Letterio Galletta
Using Standard Typing Algorithms Incrementally. CoRR (2018)
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Mauro Tempesta
Transcompiling Firewalls. POST (2018)
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
Experimenting with a Context-Aware Language. PaCT (2017)
Pierpaolo Degano, Gian Luigi Ferrari, Gianluca Mezzetti
Regular and context-free nominal traces. Acta Informatica 54 (4) (2017)
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Emilio Tuosto
Tool Supported Analysis of IoT. ICE@DisCoTec (2017)
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi, Pierpaolo Degano, Gian Luigi Ferrari
Specifying variability in service contracts. VaMoS (2017)
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
Tracing where IoT data are collected and aggregated. Log. Methods Comput. Sci. 13 (3) (2017)
Davide Basile, Pierpaolo Degano, Gian Luigi Ferrari
Automata for Specifying and Orchestrating Service Contracts. Log. Methods Comput. Sci. 12 (4) (2016)
Matteo Busi, Pierpaolo Degano, Letterio Galletta
A Semantics for Disciplined Concurrency in COP. ICTCS (2016)
Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
A Two-Component Language for Adaptation: Design, Semantics and Program Analysis. IEEE Trans. Software Eng. 42 (6) (2016)
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
Where Do Your IoT Ingredients Come From? COORDINATION (2016)
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
Last Mile's Resources. Semantics, Logics, and Calculi (2016)
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
A Step Towards Checking Security in IoT. ICE (2016)
Davide Basile, Pierpaolo Degano, Gian Luigi Ferrari, Emilio Tuosto
Relating two automata-based models of orchestration and choreography. J. Log. Algebraic Methods Program. 85 (3) (2016)
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Francesco Salvatori
Context-aware security: Linguistic mechanisms and static analysis. J. Comput. Secur. 24 (4) (2016)
Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
Event-driven Adaptation in COP. PLACES (2016)
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
Tracing where IoT data are collected and aggregated. CoRR (2016)
Davide Basile, Pierpaolo Degano, Gian Luigi Ferrari, Emilio Tuosto
Playing with Our CAT and Communication-Centric Applications. FORTE (2016)
Massimo Bartoletti, Pierpaolo Degano, Paolo Di Giamberardino, Roberto Zunino
Debits and Credits in Petri Nets and Linear Logic. Logic, Rewriting, and Concurrency (2015)
Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi
On the information leakage of differentially-private mechanisms. J. Comput. Secur. 23 (4) (2015)
Andrea Canciani, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
A Context-Oriented Extension of F#. FOCLASA (2015)
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino
Model checking usage policies. Math. Struct. Comput. Sci. 25 (3) (2015)
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Francesco Salvatori
Linguistic Mechanisms for Context-Aware Security. ICTAC (2014)
Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
A Two-Phase Static Analysis for Reliable Adaptation. SEFM (2014)
Davide Basile, Pierpaolo Degano, Gian Luigi Ferrari
Automata for Analysing Service Contracts. TGC (2014)
Pierpaolo Degano, Juhani Karhumäki, Paolo Massazza
From Models to Languages. Fundam. Informaticae 134 (3-4) (2014)
Davide Basile, Pierpaolo Degano, Gian Luigi Ferrari, Emilio Tuosto
From Orchestration to Choreography through Contract Automata. ICE (2014)
Davide Basile, Pierpaolo Degano, Gian Luigi Ferrari
A formal framework for secure and complying services. J. Supercomput. 69 (1) (2014)
Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
A Two-Component Language for COP. COP@ECOOP (2014)
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Gianluca Mezzetti, GianLuigi Ferrari
Security in Pervasive Applications: A Survey. Eur. J. Law Technol. 4 (2) (2013)
Pierpaolo Degano, Gian Luigi Ferrari, Gianluca Mezzetti
Towards Nominal Context-Free Model-Checking. CIAA (2013)
Davide Basile, Pierpaolo Degano, Gian Luigi Ferrari
Secure and Unfailing Services. PaCT (2013)
Pierpaolo Degano, Joshua D. Guttman
Preface. J. Comput. Secur. 21 (6) (2013)
Pierpaolo Degano, Gian Luigi Ferrari, Gianluca Mezzetti
Nominal Automata for Resource Usage Control. CIAA (2012)
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti
Formalising Security in Ubiquitous and Cloud Scenarios. CISIM (2012)
Gabriele Costa, Pierpaolo Degano, Fabio Martinelli
Modular plans for secure service composition. J. Comput. Secur. 20 (1) (2012)
Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti
Types for Coordinating Secure Behavioural Variations. COORDINATION (2012)
Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti
Typing Context-Dependent Behavioural Variation PLACES (2012)
Gabriele Costa, Pierpaolo Degano, Fabio Martinelli
Secure service orchestration in open networks. J. Syst. Archit. 57 (3) (2011)
Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi
Differential Privacy: On the Trade-Off between Utility and Information Leakage. Formal Aspects in Security and Trust (2011)
Pierpaolo Degano
Preface. Theor. Comput. Sci. 412 (21) (2011)
Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi
Differential Privacy: on the trade-off between Utility and Information Leakage CoRR (2011)
Pierpaolo Degano, Gian Luigi Ferrari, Gianluca Mezzetti
On Quantitative Security Policies. PaCT (2011)
Chiara Bodei, Linda Brodo, Pierpaolo Degano, Han Gao
Detecting and preventing type flaws at static time. J. Comput. Secur. 18 (2) (2010)
Gabriele Costa, Pierpaolo Degano, Fabio Martinelli
Modular Plans for Secure Service Composition. ARSPA-WITS (2010)
Mário S. Alvim, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi
Differential Privacy versus Quantitative Information Flow CoRR (2010)
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
Planning and verifying service composition. J. Comput. Secur. 17 (5) (2009)
Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano
Formal Models of the Calyx of Held. Algorithmic Bioprocesses (2009)
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino
-Types for Effects and Freshness Analysis. ICTAC (2009)
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino
Local policies for resource usage analysis. ACM Trans. Program. Lang. Syst. 31 (6) (2009)
Massimo Bartoletti, Gabriele Costa, Pierpaolo Degano, Fabio Martinelli, Roberto Zunino
Securing Java with Local Policies. J. Object Technol. 8 (4) (2009)
Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano
Stochastic models for the in silico simulation of synaptic processes. BMC Bioinform. 9 (S-4) (2008)
Pierpaolo Degano, Luca Viganò
Preface. Int. J. Inf. Sec. 7 (1) (2008)
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino
Model Checking Usage Policies. TGC (2008)
Rocco De Nicola, Pierpaolo Degano, José Meseguer
Ugo Montanari in a Nutshell. Concurrency, Graphs and Models (2008)
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino
Semantics-Based Design for Secure Web Services. IEEE Trans. Software Eng. 34 (1) (2008)
Pierpaolo Degano, Ralf Küsters, Luca Viganò, Steve Zdancewic
Joint workshop on foundations of computer security and automated reasoning for security protocol analysis (FCS-ARSPA '06). Inf. Comput. 206 (2-4) (2008)
Han Gao, Chiara Bodei, Pierpaolo Degano
A Formal Analysis of Complex Type Flaw Attacks on Security Protocols. AMAST (2008)
Davide Chiarugi, Pierpaolo Degano, Jan Bert Van Klinken, Roberto Marangoni
Cells in Silico: A Holistic Approach. SFM (2008)
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino
Hard Life with Weak Binders. EXPRESS (2008)
Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano
Synapses as stochastic concurrent systems. Theor. Comput. Sci. 408 (1) (2008)
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino
Secure Service Orchestration. FOSAD (2007)
Chiara Bodei, Pierpaolo Degano, Han Gao, Linda Brodo
Detecting and Preventing Type flaws: a Control Flow Analysis with Tags. Electron. Notes Theor. Comput. Sci. 194 (1) (2007)
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino
Types and Effects for Resource Usage Analysis. FoSSaCS (2007)
Han Gao, Chiara Bodei, Pierpaolo Degano, Hanne Riis Nielson
A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols. ASIAN (2007)
Davide Chiarugi, Pierpaolo Degano, Roberto Marangoni
A Computational Approach to the Functional Screening of Genomes. PLoS Comput. Biol. 3 (9) (2007)
Linda Brodo, Pierpaolo Degano, Corrado Priami
A Stochastic Semantics for BioAmbients. PaCT (2007)
Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano
Expressive Models for Synaptic Plasticity. CMSB (2007)

Pierpaolo Degano.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Pierpaolo Degano