"Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes ..."

Marie-Laure Potet et al. (2014)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics