Security of Multithreaded Programs by Compilation
Paper in proceeding, 2007
Author
Gilles Barthe
Tamara Rezk
Alejandro Russo
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Andrei Sabelfeld
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 4734 2-18978-3-540-74834-2 (ISBN)
Subject Categories
Computer Science
ISBN
978-3-540-74834-2