A Tool to Compute the Leakage of Multi-threaded Programs. - Tri Minh Ngo; Quang Tuan Duong (ACIIDS (Extended Posters), 2018)