A Tool to Compute the Leakage of Multi-threaded Programs.

Tri Minh Ngo, Quang Tuan Duong

Browse the full ACIIDS paper archive.