From Stack Inspection to Access Control: A Security Analysis for Libraries. - Frédéric Besson; Tomasz Blanc; Cédric Fournet; Andrew D. Gordon 001 (CSFW, 2004)

Sharing in the Weak Lambda-Calculus. - Tomasz Blanc; Jean-Jacques Lévy; Luc Maranget (Processes, Terms and Cycles, 2005)

Propriétés de sécurité dans le lambda-calcul. (Security Properties in the lambda-calculus). - Tomasz Blanc (2006)