Bottom

Materials and Interesting Links

• Bhargavan: Web Services [ samoa.Pdf2, sem.Pdf, tula.Pdf2 ]
• Comon-Lundh: FOSSACS'04 [ c1.Pdf4 ]
• Fournet: Verifying Cryptographic Protocols in the Pi Calculus [ mvalues.Ps, fkeying.Pdf2 ]
• Gopinath: notes [ gopi.ppt]
• Lévy: notes on pi-calculus [ ccs.Pdf4, c1.Pdf4, c2.Pdf4, c3.Pdf4, c4.Pdf4 ]
• Mathuria: notes [ part1.Pdf ]
• Morain: Public key cryptosystems [ Pdf4 ]
• Palamidessi: CIMPA School notes, PhD course in Pisa
  
• Pottier: Eugene school [ Pdf, Pdf4 ]   Flow Caml
• Ramanujam: Decidable Verification of Security protocols [ intro.Pdf2, BlPo04.ps.gz, CoCo01.ps.gz, RaSu04.ps.gz, RaSu01.ps.gz ]
• Concurrency course at MPRI
  
• Notes on security, Rossignol project
  
• CIRM Spring School on security
  
• Journal on Security

 Top