Scalable Approximation of Quantitative Information Flow in Programs

DOI10.1007/978-3-319-73721-8_4zbMath1446.68027MaRDI QIDQ3296323

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

Publication date: 7 July 2020

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01629131/file/main.pdf

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)