Publikation

A Generic Approach to the Security of Multi-threaded Programs

Heiko Mantel, Andrei Sabelfeld

In: Proceedings of the 14th IEEE Computer Security Foundations Workshop. IEEE Computer Security Foundations Workshop Cape Breton Seiten 126-142 IEEE Computer Society 6/2001.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence