Scalable Approximation of Quantitative Information Flow in Programs.

Biondi, Fabrizio; Enescu, Michael A.; Heuser, Annelie; Legay, Axel; Meel, Kuldeep S.; Quilbeuf, Jean

doi:10.1007%2F978-3-319-73721-8_4

Scalable Approximation of Quantitative Information Flow in Programs.

Biondi, Fabrizio

;

Enescu, Michael A.

;

Heuser, Annelie

;

Legay, Axel

;

Quilbeuf, Jean

;et.al.

(2018) VMCAI

Files

No attached file found for this publication.

Details

Authors

Biondi, Fabrizio
Author
Enescu, Michael A.
Author
Heuser, Annelie
Author
Legay, AxelUCLouvain
Author
Quilbeuf, Jean
Author

Affiliations

UCLouvainSST/ICTM - Institute of Information and Communication Technologies, Electronics and Applied Mathematics
UCLouvainSST/ICTM/INGI - Pôle en ingénierie informatique

Citations

APA
Chicago
FWB

Biondi, F., Enescu, M. A., Heuser, A., Legay, A., Meel, K. S., & Quilbeuf, J. (2018). Scalable Approximation of Quantitative Information Flow in Programs. VMCAI, 71-93. https://doi.org/10.1007%2F978-3-319-73721-8_4 (Original work published 2018)