UnipiEprints
Università di Pisa
Sistema bibliotecario di ateneo

Items where Author is "Bodei, Chiara"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Book
Number of items: 3.

Book

Bodei, Chiara and Dung, Dinh and Gian Luigi, Ferrari (2010) Safer in the Clouds. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bodei, Chiara and Gao, Han and Degano, Pierpaolo (2008) A Formal Analysis of Complex Type Flaw Attacks on Security Protocols. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bodei, Chiara and Degano, Pierpaolo and Gao, Han and Brodo, Linda (2007) Detecting and Preventing Type flaws: a Control Flow Analysis with tags. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

This list was generated on Thu Mar 28 20:21:30 2024 CET.