- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j18 |      | Chiara Bodei, Linda Brodo, Davide Chiarugi: Control Flow Analysis of Generalised Boolean Networks. Electr. Notes Theor. Comput. Sci. 284: 3-22 (2012) |
| c22 | | Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti: Formalising Security in Ubiquitous and Cloud Scenarios. CISIM 2012: 1-29 |
| c21 | | |
| 2011 | ||
| p2 | | Lucia Acciai, Chiara Bodei, Michele Boreale, Roberto Bruni, Hugo Torres Vieira: Static Analysis Techniques for Session-Oriented Calculi. Results of the SENSORIA Project 2011: 214-231 |
| c20 | | Chiara Bodei, Viet Dung Dinh, Gian Luigi Ferrari: Predicting global usages of resources endowed with local policies. FOCLASA 2011: 49-64 |
| i1 | | Chiara Bodei, Linda Brodo: Brane Calculi Systems: A Static Preview of their Possible Behaviour. CoRR abs/1108.3429 (2011) |
| 2010 | ||
| j17 | | Chiara Bodei, Linda Brodo, Pierpaolo Degano, Han Gao: Detecting and preventing type flaws at static time. Journal of Computer Security 18(2): 229-264 (2010) |
| c19 | | Chiara Bodei, Viet Dung Dinh, Gian Luigi Ferrari: Safer in the Clouds (Extended Abstract). ICE 2010: 45-49 |
| c18 | | Chiara Bodei, Andrea Bracciali, Davide Chiarugi, Roberta Gori: A Taxonomy of Causality-Based Biological Properties. FBTC 2010: 116-133 |
| 2009 | ||
| j16 | | Chiara Bodei, Andrea Bracciali, Davide Chiarugi: Control Flow Analysis for Brane Calculi. Electr. Notes Theor. Comput. Sci. 227: 59-75 (2009) |
| j15 | | Chiara Bodei: A Control Flow Analysis for Beta-binders with and without static compartments. Theor. Comput. Sci. 410(33-34): 3110-3127 (2009) |
| c17 | | Chiara Bodei, Linda Brodo, Roberto Bruni: Static Detection of Logic Flaws in Service-Oriented Applications. ARSPA-WITS 2009: 70-87 |
| c16 | | |
| 2008 | ||
| j14 | | Chiara Bodei, Andrea Bracciali, Davide Chiarugi: On deducing causality in metabolic networks. BMC Bioinformatics 9(S-4) (2008) |
| j13 | | Chiara Bodei: A Static Analysis for Beta-Binders. Electr. Notes Theor. Comput. Sci. 194(3): 69-85 (2008) |
| c15 | | Han Gao, Chiara Bodei, Pierpaolo Degano: A Formal Analysis of Complex Type Flaw Attacks on Security Protocols. AMAST 2008: 167-183 |
| 2007 | ||
| j12 | | Chiara Bodei, Pierpaolo Degano, Han Gao, Linda Brodo: Detecting and Preventing Type flaws: a Control Flow Analysis with Tags. Electr. Notes Theor. Comput. Sci. 194(1): 3-22 (2007) |
| c14 | | Han Gao, Chiara Bodei, Pierpaolo Degano, Hanne Riis Nielson: A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols. ASIAN 2007: 150-165 |
| c13 | | |
| 2005 | ||
| j11 | | Chiara Bodei, Michele Curti, Pierpaolo Degano, Mikael Buchholtz, Flemming Nielson, Hanne Riis Nielson, Corrado Priami: Performance Evaluation of Security Protocols Specified in LySa. Electr. Notes Theor. Comput. Sci. 112: 167-189 (2005) |
| j10 | | Chiara Bodei, Michele Curti, Pierpaolo Degano, Corrado Priami: A Quantitative Study of Two Attacks. Electr. Notes Theor. Comput. Sci. 121: 65-85 (2005) |
| j9 | | Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami: Authentication primitives for secure protocol specifications. Future Generation Comp. Syst. 21(4): 645-653 (2005) |
| j8 | | Chiara Bodei, Pierpaolo Degano, Corrado Priami: Checking security policies through an enhanced Control Flow Analysis. Journal of Computer Security 13(1): 49-85 (2005) |
| j7 | | Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Static validation of security protocols. Journal of Computer Security 13(3): 347-390 (2005) |
| c12 | | Chiara Bodei, Mikael Buchholtz, Michele Curti, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson, Corrado Priami: On Evaluating the Performance of Security Protocols. PaCT 2005: 1-15 |
| 2004 | ||
| c11 | | Francesca Levi, Chiara Bodei: A Control Flow Analysis for Safe and Boxed Ambients. ESOP 2004: 188-203 |
| 2003 | ||
| c10 | | Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Automatic Validation of Protocol Narration. CSFW 2003: 126-140 |
| c9 | | Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami: Authentication Primitives for Protocol Specifications. PaCT 2003: 49-65 |
| 2002 | ||
| j6 | | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Flow logic for Dolev-Yao secrecy in cryptographic processes. Future Generation Comp. Syst. 18(6): 747-756 (2002) |
| j5 | | Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami: Primitives for authentication in process algebras. Theor. Comput. Sci. 283(2): 271-304 (2002) |
| 2001 | ||
| j4 | | Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Techniques for Security Checking: Non-Interference vs Control Flow Analysis. Electr. Notes Theor. Comput. Sci. 62: 211-228 (2001) |
| j3 | | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Static Analysis for the pi-Calculus with Applications to Security. Inf. Comput. 168(1): 68-92 (2001) |
| j2 | | Chiara Bodei, Pierpaolo Degano, Corrado Priami: Names of the -calculus agents handled locally. Theor. Comput. Sci. 253(2): 155-184 (2001) |
| p1 |  | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Security Analysis Using Flow Logics. Current Trends in Theoretical Computer Science 2001: 525-542 |
| c8 | | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Static Analysis for Secrecy and Non-interference in Networks of Processes. PaCT 2001: 27-41 |
| 2000 | ||
| j1 | | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Security Analysis using Flow Logics. Bulletin of the EATCS 70: 112-130 (2000) |
| c7 | | Pierpaolo Degano, Francesca Levi, Chiara Bodei: Safe Ambients: Control Flow Analysis and Security. ASIAN 2000: 199-214 |
| 1999 | ||
| c6 | | Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami: Authentication via Localized Names. CSFW 1999: 98-110 |
| c5 | | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Static Analysis of Processes for No and Read-Up nad No Write-Down. FoSSaCS 1999: 120-134 |
| 1998 | ||
| c4 | | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Control Flow Analysis for the pi-calculus. CONCUR 1998: 84-98 |
| c3 | | Chiara Bodei, Pierpaolo Degano, Corrado Priami: Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation. SAS 1998: 168-183 |
| 1997 | ||
| c2 | | |
| 1996 | ||
| c1 | | Chiara Bodei, Pierpaolo Degano, Corrado Priami: Mobile Processes with a Distributed Environment. ICALP 1996: 490-501 |
Colors in the list of coauthors
Last update Sun May 19 05:51:38 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page