Tomasz Blanc

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2006

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

[BibT_eX]

[DOI]

PhD thesis, 2006

2005

Sharing in the Weak Lambda-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Processes, 2005

2004

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

[BibT_eX]

[DOI]

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