- Names of the Calculus Agents Handled Locally \Lambda Chiara Bodei, Pierpaolo Degano
- On deducing causality in metabolic networks Chiara Bodei1
- April 28, 2008 15:53 Journal of Mathematics and the Arts IIIrevision Journal of Mathematics and the Arts
- Knitting for fun: a recursive sweater Anna Bernasconi1, Chiara Bodei1, and Linda Pagli1
- Detecting and Preventing Type flaws: a Control Flow Analysis with tags 1
- Statically Detecting Message Confusions in a Multi-Protocol Setting
- A Static Analysis for Beta-Binders Chiara Bodei
- Static Analysis for Secrecy and Non-Interference in Networks of Processes ?
- Static Analysis for the calculus with Applications to Security
- WISP 2004 Preliminary Version A Quantitative Study of Two Attacks 1
- Electronic Notes in Theoretical Computer Science 62 (2001) URL: http://www.elsevier.nl/locate/entcs/volume62.html LastPage pages
- Flow Logic for Dolev-Yao Secrecy in Cryptographic Processes ?
- A Toolkit Supporting Formal Reasoning about Causality in Metabolic Networks
- A Control Flow Analysis for Safe and Boxed Francesca Levi 1 Chiara Bodei 2
- Authentication Primitives for Protocol Specifications ? Chiara Bodei 1 Pierpaolo Degano 1 Riccardo Focardi 2 Corrado Priami 3
- Security Analysis using Flow Logics Chiara Bodei, Pierpaolo Degano
- Automatic Validation of Protocol Narration # C. Bodei 1 M. Buchholtz 2 P. Degano 1 F. Nielson 2 H. Riis Nielson 2
- Control Flow Analysis for the calculus Chiara Bodei, Pierpaolo Degano, 1
- Constructing specific SOS semantics for concurrency via abstract interpretation
- Authentication via Localized Names Chiara Bodei, Pierpaolo Degano
- Static Validation of Security Protocols Chiara Bodei1
- Universit a degli Studi di Pisa Dipartimento di Informatica
- Primitives for Authentication in Process Algebras Chiara Bodei, Pierpaolo Degano
- On Evaluating the Performance of Security Chiara Bodei1, Mikael Buchholtz3, Michele Curti1, Pierpaolo Degano1,
- Choreography Rehearsal Chiara Bodei1
- Security Analysis for Mobile Ambients Francesca Levi, Chiara Bodei
- Authentication Primitives for Refining Protocol Specifications #
- Static Analysis of Processes for No ReadUp and No WriteDown
- A Control Flow Analysis for Beta-Binders With and Without Static Compartments 1
- Checking Security Policies through an Enhanced Control Flow Analysis
- A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols
- An Enhanced CFA for Security Policies ? Chiara Bodei 1 Pierpaolo Degano 1 Corrado Priami 2 Nicola Zannone 3
- SOME CONCURRENCY MODELS IN A CATEGORICAL EXTENDED ABSTRACT
- A Formal Analysis of Complex Type Flaw Attacks on Security Protocols ?
- QAPL 2004 Preliminary Version Performance Evaluation of Security Protocols
- Static Detection of Logic Flaws in Service-Oriented Applications
- Safe Ambients: Control Flow Analysis and Security.
- Detecting Replay Attacks by Freshness Annotations , Pierpaolo Degano2
