[NKI19]
Ali A. Noroozi, Jaber Karimpour and Ayaz Isazadeh.
Information leakage of multi-threaded programs.
Computers & Electrical Engineering, 78, pages 400-419.
2019.
[Presents an approach for quantitative information flow, implemented in PRISM-Leak, an extension of PRISM.]
|
