Chiara Bodei

Available identifiers

zbMath Open bodei.chiaraDBLP47/6967WikidataQ56643891 ScholiaQ56643891MaRDI QIDQ275995

List of research outcomes

Publication	Date of Publication	Type
Revealing the trajectories of KLAIM tuples, statically	2024-02-23	Paper
The \texttt{link}-calculus for open multiparty interactions	2020-12-15	Paper
Natural projection as partial model checking	2020-11-02	Paper
Security Metrics at Work on the Things in IoT Systems	2020-07-20	Paper
From natural projection to partial model checking and back	2019-09-16	Paper
Measuring security in IoT communications	2019-03-13	Paper
A formal approach to open multiparty interactions	2019-02-21	Paper
A Flat Process Calculus for Nested Membrane Interactions	2019-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q5367043	2017-10-12	Paper
An analysis for causal properties of membrane interactions	2016-04-26	Paper
Last Mile’s Resources	2016-03-23	Paper
A Global Occurrence Counting Analysis for Brane Calculi	2016-02-05	Paper
Pierpaolo Degano	2016-01-08	Paper
Static Evidences for Attack Reconstruction	2016-01-08	Paper
Causal static analysis for brane calculi	2015-06-10	Paper
Control Flow Analysis for Brane Calculi	2015-03-19	Paper
Linguistic Mechanisms for Context-Aware Security	2015-01-13	Paper
Control Flow Analysis of Generalised Boolean Networks	2014-03-21	Paper
A static analysis for beta-binders	2014-01-17	Paper
A quantitative study of two attacks	2013-09-20	Paper
Performance evaluation of security protocols specified in LySa	2013-09-20	Paper
Open Multiparty Interaction	2013-09-13	Paper
Techniques for security checking: non-interference vs control flow analysis	2013-07-24	Paper
Static Detection of Logic Flaws in Service-Oriented Applications	2009-10-22	Paper
A control flow analysis for Beta-binders with and without static compartments	2009-08-07	Paper
A Formal Analysis of Complex Type Flaw Attacks on Security Protocols	2009-01-27	Paper
On formal descriptions for knitting recursive patterns	2008-11-25	Paper
Knitting for Fun: A Recursive Sweater	2007-11-15	Paper
Programming Languages and Systems	2007-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q4818860	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4790411	2003-06-02	Paper
Static analysis for the \(\pi\)-calculus with applications to security	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4779098	2002-11-24	Paper
Primitives for authentication in process algebras.	2002-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q2766538	2002-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q4505701	2001-09-04	Paper
Names of the \(\pi\)-calculus agents handled locally	2000-12-12	Paper

Research outcomes over time

This page was built for person: Chiara Bodei