Towards the Unification of Models for Concurrency. - Gian-Luigi Ferrari 002; Ugo Montanari (CAAP, 1990)

Observational Logics and Concurrency Models. - Rocco De Nicola; Gian-Luigi Ferrari 002 (FSTTCS, 1990)

Transition Systems with Algebraic Structure as Models of Computations. - Andrea Corradini 001; Gian-Luigi Ferrari 002; Ugo Montanari (Semantics of Systems of Concurrent Processes, 1990)

Implicative Formulae in the "Proofs as Computations" Analogy. - Andrea Asperti; Gian-Luigi Ferrari 002; Roberto Gorrieri (POPL, 1990)

RSF: A Formalism for Executable Requirement Specifications. - Michela Degl'Innocenti; Gian-Luigi Ferrari 002; Giuliano Pacini; Franco Turini (IEEE Trans. Software Eng., 1990)

The Observation Algebra of Spatial Pomsets. - Gian-Luigi Ferrari 002; Ugo Montanari (CONCUR, 1991)

On Causality Observed Incrementally, Finally. - Gian-Luigi Ferrari 002 (TAPSOFT, Vol.1, 1991)

An Extended Expansion Theorem. - Gian-Luigi Ferrari 002; Roberto Gorrieri; Ugo Montanari (TAPSOFT, Vol.2, 1991)

A Pi-Calculus with Explicit Substitutions: the Late Semantics. - Gian-Luigi Ferrari 002; Ugo Montanari; Paola Quaglia (MFCS, 1994)

Dynamic Matrices and the Cost Analysis of Concurrent Programs. - Gian-Luigi Ferrari 002; Ugo Montanari (AMAST, 1995)

The Weak Late pi-Calculus Semantics as Observation Equivalence. - Gian-Luigi Ferrari 002; Ugo Montanari; Paola Quaglia (CONCUR, 1995)

A Pi-Calculus with Explicit Substitutions. - Gian-Luigi Ferrari 002; Ugo Montanari; Paola Quaglia (Theor. Comput. Sci., 1996)

Coordinating Mobile Agents via Blackboards and Access Rights. - Rocco De Nicola; Gian-Luigi Ferrari 002; Rosario Pugliese (COORDINATION, 1997)

A Tile-Based Coordination View of Asynchronous pi-Calculus. - Gian-Luigi Ferrari 002; Ugo Montanari (MFCS, 1997)

An Automated Based Verification Environment for Mobile Processes. - Gian-Luigi Ferrari 002; Gianluigi Ferro; Stefania Gnesi; Ugo Montanari; Marco Pistore; Gioia Ristori (TACAS, 1997)

Locality Based Linda: Programming with Explicit Localities. - Rocco De Nicola; Gian-Luigi Ferrari 002; Rosario Pugliese (TAPSOFT, 1997)

Eager, busy-waiting and lazy actions in timed computation? - Flavio Corradini; Gian-Luigi Ferrari 002; Marco Pistore (EXPRESS, 1997)

Tiles for concurrent and located calculi? - Gian-Luigi Ferrari 002; Ugo Montanari (EXPRESS, 1997)

Atomicity and Concurrency Control in Process Calculi. - Gian-Luigi Ferrari 002 (Fundam. Informaticae, 1997)

Structured Transition Systems with Parametric Observations: Observational Congruences and Minimal Realizations. - Gian-Luigi Ferrari 002; Ugo Montanari; Miranda Mowbray (Math. Struct. Comput. Sci., 1997)

Verifying Mobile Processes in the HAL Environment. - Gian-Luigi Ferrari 002; Stefania Gnesi; Ugo Montanari; Marco Pistore; Gioia Ristori (CAV, 1998)

Interactive Mobile Agents in X-Klaim. - Lorenzo Bettini; Rocco De Nicola; Rosario Pugliese; Gian-Luigi Ferrari 002 (WETICE, 1998)

Parameterized Structured Operational Semantics. - Gian-Luigi Ferrari 002; Ugo Montanari (Fundam. Informaticae, 1998)

KLAIM: A Kernel Language for Agents Interaction and Mobility. - Rocco De Nicola; Gian-Luigi Ferrari 002; Rosario Pugliese (IEEE Trans. Software Eng., 1998)

Types as Specifications of Access Policies. - Rocco De Nicola; Gian-Luigi Ferrari 002; Rosario Pugliese (Secure Internet Programming, 1999)

Programming Access Control: The KLAIM Experience. - Rocco De Nicola; Gian-Luigi Ferrari 002; Rosario Pugliese (CONCUR, 2000)

Mobile Agents Coordination in Mobadtl. - Gian-Luigi Ferrari 002; Carlo Montangero; Laura Semini; Simone Semprini (COORDINATION, 2000)

Mobile Applications in X-KLAIM. - Lorenzo Bettini; Rocco De Nicola; Gian-Luigi Ferrari 002; Rosario Pugliese (WOA, 2000)

Calculi for Network Aware Programming. - Gian-Luigi Ferrari 002; Rosario Pugliese; Emilio Tuosto (WOA, 2000)

Tile Formats for Located and Mobile Systems. - Gian-Luigi Ferrari 002; Ugo Montanari (Inf. Comput., 2000)

Types for access control. - Rocco De Nicola; Gian-Luigi Ferrari 002; Rosario Pugliese; Betti Venneri (Theor. Comput. Sci., 2000)

A LTS Semantics of Ambients via Graph Synchronization with Mobility. - Gian-Luigi Ferrari 002; Ugo Montanari; Emilio Tuosto (ICTCS, 2001)

A debugging calculus for mobile ambients. - Gian-Luigi Ferrari 002; Emilio Tuosto (SAC, 2001)

MetaKlaim: Meta-programming for Global Computing. - Gian-Luigi Ferrari 002; Eugenio Moggi; Rosario Pugliese (SAIG, 2001)

Static Analysis for Stack Inspection. - Massimo Bartoletti; Pierpaolo Degano; Gian-Luigi Ferrari 002 (ConCoord, 2001)

Security Issues in Component-based Design. - Andrea Bracciali; Antonio Brogi; Gian-Luigi Ferrari 002; Emilio Tuosto (ConCoord, 2001)

Higher-Order Types and Meta-Programming for Global Computing. - Gian-Luigi Ferrari 002; Eugenio Moggi; Rosario Pugliese (TOSCA, 2001)

Global Types and Network Services. - Gian-Luigi Ferrari 002; Eugenio Moggi; Rosario Pugliese (ConCoord, 2001)

On the semantics of durational actions. - Flavio Corradini; Gian-Luigi Ferrari 002; Marco Pistore (Theor. Comput. Sci., 2001)

From Co-algebraic Specifications to Implementation: The Mihda Toolkit. - Gian-Luigi Ferrari 002; Ugo Montanari; Roberto Raggi; Emilio Tuosto (FMCO, 2002)

Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation. - Gian-Luigi Ferrari 002; Ugo Montanari; Marco Pistore (FoSSaCS, 2002)

Security and Dynamic Compositions of Open Systems. - Andrea Bracciali; Antonio Brogi; Gian-Luigi Ferrari 002; Emilio Tuosto (PDPTA, 2002)

Graph-Based Models of Internetworking Systems. - Gian-Luigi Ferrari 002; Ugo Montanari; Emilio Tuosto (10th Anniversary Colloquium of UNU/IIST, 2002)

Mark, a Reasoning Kit for Mobility. - Gian-Luigi Ferrari 002; Carlo Montangero; Laura Semini; Simone Semprini (Autom. Softw. Eng., 2002)

Guardians for Ambient-based Monitoring. - Gian-Luigi Ferrari 002; Eugenio Moggi; Rosario Pugliese (F-WAN@ICALP, 2002)

A Formal Basis for Reasoning on Programmable QoS. - Rocco De Nicola; Gian-Luigi Ferrari 002; Ugo Montanari; Rosario Pugliese; Emilio Tuosto (Verification: Theory and Practice, 2003)

The Klaim Project: Theory and Practice. - Lorenzo Bettini; Viviana Bono; Rocco De Nicola; Gian-Luigi Ferrari 002; Daniele Gorla; Michele Loreti; Eugenio Moggi; Rosario Pugliese; Emilio Tuosto; Betti Venneri (Global Computing, 2003)

Security-Aware Program Transformations. - Massimo Bartoletti; Pierpaolo Degano; Gian-Luigi Ferrari 002 (ICTCS, 2003)

Program Transformations under Dynamic Security Policies. - Massimo Bartoletti; Pierpaolo Degano; Gian-Luigi Ferrari 002 (MEFISTO, 2003)

A model-checking verification environment for mobile processes. - Gian-Luigi Ferrari 002; Stefania Gnesi; Ugo Montanari; Marco Pistore (ACM Trans. Softw. Eng. Methodol., 2003)

Topic 15: Mobile Computing. - Sajal K. Das 001; Jiannong Cao 001; Jie Wu 001; Gian-Luigi Ferrari 002 (Euro-Par, 2004)

Verication On The Web Of Mobile Systems. - Gian-Luigi Ferrari 002; Stefania Gnesi; Ugo Montanari; Roberto Raggi; Gianluca Trentanni; Emilio Tuosto (VVEIS, 2004)

Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits. - Michael Baldamus; Jesper Bengtson; Gian-Luigi Ferrari 002; Roberto Raggi (WSFM, 2004)

A Coordination-based Methodology for Security Protocol Verification. - Giacomo Baldi; Andrea Bracciali; Gian-Luigi Ferrari 002; Emilio Tuosto (WISP@ICATPN, 2004)

A Logic for Graphs with QoS. - Gianluigi Ferrari 002; Alberto Lluch-Lafuente (VODCA@FOSAD, 2004)

Stack inspection and secure program transformations. - Massimo Bartoletti; Pierpaolo Degano; Gian-Luigi Ferrari 002 (Int. J. Inf. Sec., 2004)

MetaKlaim: a type safe multi-stage language for global computing. - Gian-Luigi Ferrari 002; Eugenio Moggi; Rosario Pugliese (Math. Struct. Comput. Sci., 2004)

Modelling Fusion Calculus using HD-Automata. - Gian-Luigi Ferrari 002; Ugo Montanari; Emilio Tuosto; Björn Victor; Kidane Yemane (CALCO, 2005)

A Process Calculus for QoS-Aware Applications. - Rocco De Nicola; Gian-Luigi Ferrari 002; Ugo Montanari; Rosario Pugliese; Emilio Tuosto (COORDINATION, 2005)

Enforcing Secure Service Composition. - Massimo Bartoletti; Pierpaolo Degano; Gian-Luigi Ferrari 002 (CSFW, 2005)

From Theory to Practice in Transactional Composition of Web Services. - Roberto Bruni 001; Gian-Luigi Ferrari 002; Hernán C. Melgratti; Ugo Montanari; Daniele Strollo; Emilio Tuosto (EPEW/WS-FM, 2005)

Synchronised Hyperedge Replacement as a Model for Service Oriented Computing. - Gian-Luigi Ferrari 002; Dan Hirsch; Ivan Lanese; Ugo Montanari; Emilio Tuosto (FMCO, 2005)

History-Based Access Control with Local Policies. - Massimo Bartoletti; Pierpaolo Degano; Gian-Luigi Ferrari 002 (FoSSaCS, 2005)

Model Checking for Nominal Calculi. - Gian-Luigi Ferrari 002; Ugo Montanari; Emilio Tuosto (FoSSaCS, 2005)

Checking Risky Events Is Enough for Local Policies. - Massimo Bartoletti; Pierpaolo Degano; Gian-Luigi Ferrari 002 (ICTCS, 2005)

Policy framings for access control. - Massimo Bartoletti; Pierpaolo Degano; Gian-Luigi Ferrari 002 (WITS, 2005)

Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types. - Gian-Luigi Ferrari 002; Ugo Montanari; Emilio Tuosto (Theor. Comput. Sci., 2005)

Types and Effects for Secure Service Orchestration. - Massimo Bartoletti; Pierpaolo Degano; Gian-Luigi Ferrari 002 (CSFW, 2006)

Topic 14: Mobile and Ubiquitous Computing. - Alois Ferscha; Alexander Schill; Gianluigi Ferrari 002; Valérie Issarny (Euro-Par, 2006)

Security Issues in Service Composition. - Massimo Bartoletti; Pierpaolo Degano; Gian-Luigi Ferrari 002 (FMOODS, 2006)

JSCL: A Middleware for Service Coordination. - Gian-Luigi Ferrari 002; Roberto Guanciale; Daniele Strollo (FORTE, 2006)

Event Based Service Coordination over Dynamic and Heterogeneous Networks. - Gian-Luigi Ferrari 002; Roberto Guanciale; Daniele Strollo (ICSOC, 2006)

Coordination Via Types in an Event-Based Framework. - Gianluigi Ferrari 002; Roberto Guanciale; Daniele Strollo; Emilio Tuosto (FORTE, 2007)

Secure Service Orchestration. - Massimo Bartoletti; Pierpaolo Degano; Gian-Luigi Ferrari 002; Roberto Zunino (FOSAD, 2007)

Types and Effects for Resource Usage Analysis. - Massimo Bartoletti; Pierpaolo Degano; Gian-Luigi Ferrari 002; Roberto Zunino (FoSSaCS, 2007)

Co-Algebraic Models for Quantitative Spatial Logics. - Vincenzo Ciancia; Gian-Luigi Ferrari 002 (QAPL, 2007)

History Dependent Automata for Service Compatibility. - Vincenzo Ciancia; Gian-Luigi Ferrari 002; Marco Pistore; Emilio Tuosto (Concurrency, Graphs and Models, 2008)

Ugo Montanari and Software Verification. - Gian-Luigi Ferrari 002 (Concurrency, Graphs and Models, 2008)

Event-Based Service Coordination. - Gian-Luigi Ferrari 002; Roberto Guanciale; Daniele Strollo; Emilio Tuosto (Concurrency, Graphs and Models, 2008)

Checking Correctness of Transactional Behaviors. - Vincenzo Ciancia; Gian-Luigi Ferrari 002; Roberto Guanciale; Daniele Strollo (FORTE, 2008)

Refactoring Long Running Transactions. - Gian-Luigi Ferrari 002; Roberto Guanciale; Daniele Strollo; Emilio Tuosto (WS-FM, 2008)

Debugging Distributed Systems with Causal Nets. - Gian-Luigi Ferrari 002; Roberto Guanciale; Daniele Strollo; Emilio Tuosto (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Hard Life with Weak Binders. - Massimo Bartoletti; Pierpaolo Degano; Gian-Luigi Ferrari 002; Roberto Zunino (EXPRESS, 2008)

Global Coordination Policies for Services. - Vincenzo Ciancia; Gian-Luigi Ferrari 002; Roberto Guanciale; Daniele Strollo (FACS, 2008)

A symbolic framework for multi-faceted security protocol analysis. - Andrea Bracciali; Gianluigi Ferrari 002; Emilio Tuosto (Int. J. Inf. Sec., 2008)

Semantics-Based Design for Secure Web Services. - Massimo Bartoletti; Pierpaolo Degano; Gian-Luigi Ferrari 002; Roberto Zunino (IEEE Trans. Software Eng., 2008)

nu-Types for Effects and Freshness Analysis. - Massimo Bartoletti; Pierpaolo Degano; Gian-Luigi Ferrari 002; Roberto Zunino (ICTAC, 2009)

Choreography Rehearsal. - Chiara Bodei; Gian-Luigi Ferrari 002 (WS-FM, 2009)

Planning and verifying service composition. - Massimo Bartoletti; Pierpaolo Degano; Gian-Luigi Ferrari 002 (J. Comput. Secur., 2009)

Local policies for resource usage analysis. - Massimo Bartoletti; Pierpaolo Degano; Gian-Luigi Ferrari 002; Roberto Zunino (ACM Trans. Program. Lang. Syst., 2009)

Refactoring Long Running Transactions: A Case Study. - Gian-Luigi Ferrari 002; Roberto Guanciale; Daniele Strollo; Emilio Tuosto (TGC, 2010)

Safer in the Clouds (Extended Abstract) - Chiara Bodei; Viet Dung Dinh; Gian-Luigi Ferrari 002 (ICE, 2010)

Event based choreography. - Vincenzo Ciancia; Gian-Luigi Ferrari 002; Roberto Guanciale; Daniele Strollo (Sci. Comput. Program., 2010)

Call-by-Contract for Service Discovery, Orchestration and Recovery. - Massimo Bartoletti; Pierpaolo Degano; Gian-Luigi Ferrari 002; Roberto Zunino (Results of the SENSORIA Project, 2011)

Model-Driven Development of Long Running Transactions. - Vincenzo Ciancia; Gian-Luigi Ferrari 002; Roberto Guanciale; Daniele Strollo; Emilio Tuosto (Results of the SENSORIA Project, 2011)

A Language-Based Approach to Autonomic Computing. - Rocco De Nicola; Gian-Luigi Ferrari 002; Michele Loreti; Rosario Pugliese (FMCO, 2011)

On Quantitative Security Policies. - Pierpaolo Degano; Gian-Luigi Ferrari 002; Gianluca Mezzetti (PaCT, 2011)

Applying Process Analysis to the Italian eGovernment Enterprise Architecture. - Roberto Bruni 001; Andrea Corradini 001; Gian-Luigi Ferrari 002; Tito Flagella; Roberto Guanciale; Giorgio Spagnolo (WS-FM, 2011)

Predicting global usages of resources endowed with local policies - Chiara Bodei; Viet Dung Dinh; Gian-Luigi Ferrari 002 (FOCLASA, 2011)

Formalising Security in Ubiquitous and Cloud Scenarios. - Chiara Bodei; Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta; Gianluca Mezzetti (CISIM, 2012)

Types for Coordinating Secure Behavioural Variations. - Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta; Gianluca Mezzetti (COORDINATION, 2012)

Nominal Automata for Resource Usage Control. - Pierpaolo Degano; Gian-Luigi Ferrari 002; Gianluca Mezzetti (CIAA, 2012)

Typing Context-Dependent Behavioural Variation - Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta; Gianluca Mezzetti (PLACES, 2012)

Secure and Unfailing Services. - Davide Basile 001; Pierpaolo Degano; Gian-Luigi Ferrari 002 (PaCT, 2013)

Towards Nominal Context-Free Model-Checking. - Pierpaolo Degano; Gian-Luigi Ferrari 002; Gianluca Mezzetti (CIAA, 2013)

Security in Pervasive Applications: A Survey. - Chiara Bodei; Pierpaolo Degano; Letterio Galletta; Gianluca Mezzetti; Gianluigi Ferrari 002 (Eur. J. Law Technol., 2013)

A Two-Component Language for COP. - Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta (COP@ECOOP, 2014)

A Two-Phase Static Analysis for Reliable Adaptation. - Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta (SEFM, 2014)

Automata for Analysing Service Contracts. - Davide Basile 001; Pierpaolo Degano; Gian-Luigi Ferrari 002 (TGC, 2014)

From Orchestration to Choreography through Contract Automata. - Davide Basile 001; Pierpaolo Degano; Gian-Luigi Ferrari 002; Emilio Tuosto (ICE, 2014)

A formal framework for secure and complying services. - Davide Basile 001; Pierpaolo Degano; Gian-Luigi Ferrari 002 (J. Supercomput., 2014)

Pierpaolo Degano. - Chiara Bodei; Gian-Luigi Ferrari 002; Corrado Priami (Programming Languages with Applications to Biology and Security, 2015)

A Context-Oriented Extension of F#. - Andrea Canciani; Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta (FOCLASA, 2015)

Model checking usage policies. - Massimo Bartoletti; Pierpaolo Degano; Gian-Luigi Ferrari 002; Roberto Zunino (Math. Struct. Comput. Sci., 2015)

Last Mile's Resources. - Chiara Bodei; Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta (Semantics, Logics, and Calculi, 2016)

Where Do Your IoT Ingredients Come From? - Chiara Bodei; Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta (COORDINATION, 2016)

Playing with Our CAT and Communication-Centric Applications. - Davide Basile 001; Pierpaolo Degano; Gian-Luigi Ferrari 002; Emilio Tuosto (FORTE, 2016)

Automata for Specifying and Orchestrating Service Contracts. - Davide Basile 001; Pierpaolo Degano; Gian-Luigi Ferrari 002 (Log. Methods Comput. Sci., 2016)

A Step Towards Checking Security in IoT. - Chiara Bodei; Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta (ICE, 2016)

Event-driven Adaptation in COP. - Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta (PLACES, 2016)

Relating two automata-based models of orchestration and choreography. - Davide Basile 001; Pierpaolo Degano; Gian-Luigi Ferrari 002; Emilio Tuosto (J. Log. Algebraic Methods Program., 2016)

A Two-Component Language for Adaptation: Design, Semantics and Program Analysis. - Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta (IEEE Trans. Software Eng., 2016)

Experimenting with a Context-Aware Language. - Chiara Bodei; Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta (PaCT, 2017)

Specifying variability in service contracts. - Davide Basile 001; Felicita Di Giandomenico; Stefania Gnesi; Pierpaolo Degano; Gian-Luigi Ferrari 002 (VaMoS, 2017)

Regular and context-free nominal traces. - Pierpaolo Degano; Gian-Luigi Ferrari 002; Gianluca Mezzetti (Acta Informatica, 2017)

Tracing where IoT data are collected and aggregated. - Chiara Bodei; Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta (Log. Methods Comput. Sci., 2017)

Checking global usage of resources handled with local policies. - Chiara Bodei; Viet Dung Dinh; Gian-Luigi Ferrari 002 (Sci. Comput. Program., 2017)

Secure Apps in the Fog: Anything to Declare? - Antonio Brogi; Gian-Luigi Ferrari 002; Stefano Forti 002 (ESOCC Workshops, 2018)

Automata-Based Behavioural Contracts with Action Correlation. - Davide Basile 001; Rosario Pugliese; Francesco Tiezzi 001; Pierpaolo Degano; Gian-Luigi Ferrari 002 (From Software Engineering to Formal Methods and Tools, and Back, 2019)

Revealing the Trajectories of KLAIM Tuples, Statically. - Chiara Bodei; Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)

Programming in a context-aware language. - Chiara Bodei; Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta (J. Supercomput., 2019)

Security Metrics at Work on the Things in IoT Systems. - Chiara Bodei; Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta (From Lambda Calculus to Cybersecurity Through Program Analysis, 2020)

Secure Cloud-Edge Deployments, with Trust. - Stefano Forti 002; Gian-Luigi Ferrari 002; Antonio Brogi (Future Gener. Comput. Syst., 2020)

A formal approach to the engineering of domain-specific distributed systems. - Rocco De Nicola; Gian-Luigi Ferrari 002; Rosario Pugliese; Francesco Tiezzi 001 (J. Log. Algebraic Methods Program., 2020)

Controller synthesis of service contracts with variability. - Davide Basile 001; Maurice H. ter Beek; Pierpaolo Degano; Axel Legay; Gian-Luigi Ferrari 002; Stefania Gnesi; Felicita Di Giandomenico (Sci. Comput. Program., 2020)

Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. - Davide Basile 001; Maurice H. ter Beek; Pierpaolo Degano; Axel Legay; Gian-Luigi Ferrari 002; Stefania Gnesi; Felicita Di Giandomenico (FORTE, 2021)

Placing FaaS in the Fog, Securely. - Alessandro Bocci; Stefano Forti 002; Gian-Luigi Ferrari 002; Antonio Brogi (ITASEC, 2021)

Secure FaaS orchestration in the fog: how far are we? - Alessandro Bocci; Stefano Forti 002; Gian-Luigi Ferrari 002; Antonio Brogi (Computing, 2021)

Modelling and analysing IoT systems. - Chiara Bodei; Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta (J. Parallel Distributed Comput., 2021)

Type, pad, and place: Avoiding data leaks in Cloud-IoT FaaS orchestrations. - Alessandro Bocci; Stefano Forti 002; Gian-Luigi Ferrari 002; Antonio Brogi (CCGRID, 2022)

Secure Partitioning of Composite Cloud Applications. - Alessandro Bocci; Roberto Guanciale; Stefano Forti 002; Gian-Luigi Ferrari 002; Antonio Brogi (ESOCC, 2022)

Risk Estimation in IoT Systems. - Chiara Bodei; Gian-Luigi Ferrari 002; Letterio Galletta; Pierpaolo Degano (Challenges of Software Verification, 2023)

Secure Partitioning of Cloud Applications, with Cost Look-Ahead. - Alessandro Bocci; Stefano Forti 002; Roberto Guanciale; Gian-Luigi Ferrari 002; Antonio Brogi (Future Internet, 2023)

Klaim in the Making. - Lorenzo Bettini; Gian-Luigi Ferrari 002; Michele Loreti; Rosario Pugliese; Francesco Tiezzi 001; Emilio Tuosto (ISoLA (1), 2024)

Riding the Data Storms: Specifying and Analysing IoT Security Requirements with SURFING. - Francesco Rubino; Chiara Bodei; Gian-Luigi Ferrari 002 (ISoLA (1), 2024)