BODEI, CHIARA Statistiche
BODEI, CHIARA
DIPARTIMENTO DI INFORMATICA
1839: la prima Riunione degli Scienziati Italiani Atti della giornata di studi tenuta a 180 anni di distanza
2020-01-01 Bodei, Chiara; Finelli, Pietro
A Control Flow Analysis for Beta-binders with and without Static Compartments
2009-01-01 Bodei, Chiara
A control flow analysis for safe and boxed ambients
2004-01-01 Levi, Francesca; Bodei, Chiara
A flat process calculus for nested membrane interactions
2014-01-01 Bodei, Chiara; Linda, Brodo; Bruni, Roberto; Davide, Chiarugi
A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols
2007-01-01 H., Gao; Bodei, Chiara; Degano, Pierpaolo; H., RIIS NIELSON
A Formal Analysis of Complex Type Flaw Attacks on Security Protocols
2008-01-01 Han, Gao; Bodei, Chiara; Degano, Pierpaolo
A formal approach to open multiparty interactions
2019-01-01 Bodei, Chiara; Brodo, Linda; Bruni, Roberto
A G-Local pi-calculus
2011-01-01 Bodei, Chiara; Ferrari, GIAN-LUIGI; Dinh, V. D.
A Global Occurrence Counting Analysis for Brane Calculi
2015-01-01 Bodei, Chiara; Brodo, Linda; Gori, Roberta; Hermith, Diana; Levi, Francesca
A Quantitative Study of Two Attacks
2005-01-01 Bodei, Chiara; Curti, M.; Degano, Pierpaolo; Priami, C.
A Static Analysis for Beta-Binders
2008-01-01 Bodei, Chiara
A static analysis for Brane Calculi providing global occurrence counting information
2017-01-01 Bodei, Chiara; Brodo, Linda; Gori, Roberta; Levi, Francesca; Bernini, Andrea; Hermith, Diana
A Step Towards Checking Security in IoT
2016-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
A Taxonomy of Causality-Based Biological Properties
2010-01-01 Bodei, Chiara; Bracciali, A; Chiarugi, D; Gori, Roberta
A Toolkit Supporting Formal Reasoning about Causality in Metabolic Networks
2007-01-01 Bodei, Chiara; Bracciali, A; Chiarugi, D.
Algoritmi ricorsivi da lavorare ai ferri
2009-01-01 Bernasconi, Anna; Bodei, Chiara; Pagli, Linda
An Analysis for Causal Properties of Membrane Interactions
2013-01-01 Bodei, Chiara; Gori, Roberta; Levi, Francesca
An Enhanced CFA for Security Policies
2003-01-01 Zannone, N.; Bodei, Chiara; Degano, Pierpaolo; Priami, Corrado
Analysing the Provenance of IoT Data
2020-01-01 Bodei, Chiara; Galletta, Letterio
Authentication Primitives for Protocol Specifications
2003-01-01 Bodei, Chiara; Degano, Pierpaolo; Focardi, R.; Priami, C.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 1839: la prima Riunione degli Scienziati Italiani Atti della giornata di studi tenuta a 180 anni di distanza | 1-gen-2020 | Bodei, Chiara; Finelli, Pietro | |
| A Control Flow Analysis for Beta-binders with and without Static Compartments | 1-gen-2009 | Bodei, Chiara | |
| A control flow analysis for safe and boxed ambients | 1-gen-2004 | Levi, Francesca; Bodei, Chiara | |
| A flat process calculus for nested membrane interactions | 1-gen-2014 | Bodei, Chiara; Linda, Brodo; Bruni, Roberto; Davide, Chiarugi | |
| A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols | 1-gen-2007 | H., Gao; Bodei, Chiara; Degano, Pierpaolo; H., RIIS NIELSON | |
| A Formal Analysis of Complex Type Flaw Attacks on Security Protocols | 1-gen-2008 | Han, Gao; Bodei, Chiara; Degano, Pierpaolo | |
| A formal approach to open multiparty interactions | 1-gen-2019 | Bodei, Chiara; Brodo, Linda; Bruni, Roberto | |
| A G-Local pi-calculus | 1-gen-2011 | Bodei, Chiara; Ferrari, GIAN-LUIGI; Dinh, V. D. | |
| A Global Occurrence Counting Analysis for Brane Calculi | 1-gen-2015 | Bodei, Chiara; Brodo, Linda; Gori, Roberta; Hermith, Diana; Levi, Francesca | |
| A Quantitative Study of Two Attacks | 1-gen-2005 | Bodei, Chiara; Curti, M.; Degano, Pierpaolo; Priami, C. | |
| A Static Analysis for Beta-Binders | 1-gen-2008 | Bodei, Chiara | |
| A static analysis for Brane Calculi providing global occurrence counting information | 1-gen-2017 | Bodei, Chiara; Brodo, Linda; Gori, Roberta; Levi, Francesca; Bernini, Andrea; Hermith, Diana | |
| A Step Towards Checking Security in IoT | 1-gen-2016 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio | |
| A Taxonomy of Causality-Based Biological Properties | 1-gen-2010 | Bodei, Chiara; Bracciali, A; Chiarugi, D; Gori, Roberta | |
| A Toolkit Supporting Formal Reasoning about Causality in Metabolic Networks | 1-gen-2007 | Bodei, Chiara; Bracciali, A; Chiarugi, D. | |
| Algoritmi ricorsivi da lavorare ai ferri | 1-gen-2009 | Bernasconi, Anna; Bodei, Chiara; Pagli, Linda | |
| An Analysis for Causal Properties of Membrane Interactions | 1-gen-2013 | Bodei, Chiara; Gori, Roberta; Levi, Francesca | |
| An Enhanced CFA for Security Policies | 1-gen-2003 | Zannone, N.; Bodei, Chiara; Degano, Pierpaolo; Priami, Corrado | |
| Analysing the Provenance of IoT Data | 1-gen-2020 | Bodei, Chiara; Galletta, Letterio | |
| Authentication Primitives for Protocol Specifications | 1-gen-2003 | Bodei, Chiara; Degano, Pierpaolo; Focardi, R.; Priami, C. |