Inferring secrets by guided experiments

DOI10.1007/978-3-319-67729-3_16zbMath1444.68048OpenAlexW2755626311MaRDI QIDQ1675815

Quoc Huy Do, Reiner Hähnle, Richard Bubel

Publication date: 3 November 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-67729-3_16

zbMATH Keywords

static analysisinformation flowsymbolic execution

Mathematics Subject Classification ID

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