Stem lazart$ (all stems)
1 papers:
- ICST-2014-PotetMPD #approach #control flow #evaluation #injection #named #robust
- Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Injections (MLP, LM, MP, LD), pp. 213–222.