The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Injections
The work
| Authors | Marie-Laure Potet; Laurent Mounier; Maxime Puys; Louis Dureuil |
|---|---|
| Editors | |
| Type | inproceedings |
| Year | 2014 |
| Citekey | potet2014lazart |
Where it appeared
| Published in | 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation |
|---|---|
| Publisher | IEEE |
| Pages | 213--222 |
Identifiers
| DOI | 10.1109/icst.2014.34 |
|---|
Access
| Landing page | https://doi.org/10.1109/icst.2014.34 |
|---|
How it got here
| How it got here | agent via crossref |
|---|---|
| Added | 2026-10-26 06:01 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@inproceedings{potet2014lazart,
title = {Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Injections},
author = {Marie-Laure Potet and Laurent Mounier and Maxime Puys and Louis Dureuil},
year = {2014},
booktitle = {2014 IEEE Seventh International Conference on Software Testing, Verification and Validation},
publisher = {IEEE},
pages = {213--222},
doi = {10.1109/icst.2014.34},
}
This record lives at https://refs.drheap.org/potet2014lazart/ and will keep doing so.