Martín Abadi

• Trustworthy Global Computing
• CONCUR 2005 - Concurrency Theory
• La sécurité informatique
• Principles of Security and Trust
• Theory of Objects