@inproceedings{Cadar_2006,
    doi = {10.1145/1180405.1180445},
    url = {https://doi.org/10.1145%2F1180405.1180445},
    year = {2006},
    month = {oct},
    publisher = {{ACM}},
    author = {Cristian Cadar and Vijay Ganesh and Peter M. Pawlowski and David L. Dill and Dawson R. Engler},
    title = {{EXE}},
    booktitle = {Proceedings of the 13th {ACM} conference on Computer and communications security}
}

@inproceedings{Cadar_2006, doi = {10.1145/1180405.1180445}, url = {https://doi.org/10.1145%2F1180405.1180445}, year = {2006}, month = {oct}, publisher = {{ACM}}, author = {Cristian Cadar and Vijay Ganesh and Peter M. Pawlowski and David L. Dill and Dawson R. Engler}, title = {{EXE}}, booktitle = {Proceedings of the 13th {ACM} conference on Computer and communications security} }