Effective verification of confidentiality for multi-threaded programs.

Published in: J. Comput. Secur. (2014)

Keyphrases