%0 Conference Paper %1 conf/trustcom/Given-WilsonJLL17 %A Given-Wilson, Thomas %A Jafri, Nisrine %A Lanet, Jean-Louis %A Legay, Axel %B TrustCom/BigDataSE/ICESS %D 2017 %I IEEE Computer Society %K dblp %P 293-300 %T An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT. %U http://dblp.uni-trier.de/db/conf/trustcom/trustcom2017.html#Given-WilsonJLL17 %@ 978-1-5090-4906-6

@inproceedings{conf/trustcom/Given-WilsonJLL17, added-at = {2023-03-24T00:00:00.000+0100}, author = {Given-Wilson, Thomas and Jafri, Nisrine and Lanet, Jean-Louis and Legay, Axel}, biburl = {https://www.bibsonomy.org/bibtex/260fd258cbb2662ee7617b3796f5e88be/dblp}, booktitle = {TrustCom/BigDataSE/ICESS}, crossref = {conf/trustcom/2017}, ee = {https://doi.ieeecomputersociety.org/10.1109/Trustcom/BigDataSE/ICESS.2017.250}, interhash = {a14d170b1446c52ff37c0292241e12ca}, intrahash = {60fd258cbb2662ee7617b3796f5e88be}, isbn = {978-1-5090-4906-6}, keywords = {dblp}, pages = {293-300}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T16:26:32.000+0200}, title = {An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT.}, url = {http://dblp.uni-trier.de/db/conf/trustcom/trustcom2017.html#Given-WilsonJLL17}, year = 2017 }