Security of Multithreaded Programs by Compilation
Paper in proceedings, 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-18

Subject Categories

Computer Science

ISBN

978-3-540-74834-2

More information

Created

10/7/2017