Presen sew-35-12(beamer)
1 Ivan Lanese Computer Science Department University of Pisa (moved to Bologna) Synchronization strategies for global computing models Ph.D. thesis discussion.
1 Ivan Lanese Computer Science Department University of Bologna Italy Error Handling in Service Oriented Computing Joint work with Claudio Guidi, Fabrizio.
Formal Modeling of Concurrent Processes: PI and API Calculi Shahram Rahimi.
Bilinear Mappings in Formal Cryptography
June 2005 A Plausible Approach to Computer-aided Cryptographic Proofs Shai Halevi.
Dependable Composition of Web Services and Process Calculi
Process Calculus and Security 18739A: Foundations of Security and Privacy Anupam Datta Fall 2007-08.
Static Validation of a Voting ProtocolSlide 1 Static Validation of a Voting Protocol Christoffer Rosenkilde Nielsen with Esben Heltoft Andersen and Hanne.
Bilinear Mappings in Formal Cryptography 08.10.11.