Tomasz Blanc

According to our database, Tomasz Blanc authored at least 3 papers between 2004 and 2006.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2006

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

Tomasz Blanc

PhD thesis, 2006

2005

Sharing in the Weak Lambda-Calculus.

Tomasz Blanc, Jean-Jacques Lévy, Luc Maranget

Proceedings of the Processes, 2005

2004

From Stack Inspection to Access Control: A Security Analysis for Libraries.

Frédéric Besson, Tomasz Blanc, Cédric Fournet, Andrew D. Gordon

Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004