%0 Journal Article %1 journals/jce/SauvageGP17 %A Sauvage, Laurent %A Graba, Tarik %A Porteboeuf, Thibault %D 2017 %J J. Cryptographic Engineering %K dblp %N 1 %P 87-95 %T Multi-level formal verification - A new approach against fault injection attack. %U http://dblp.uni-trier.de/db/journals/jce/jce7.html#SauvageGP17 %V 7

@article{journals/jce/SauvageGP17, added-at = {2017-04-04T00:00:00.000+0200}, author = {Sauvage, Laurent and Graba, Tarik and Porteboeuf, Thibault}, biburl = {https://www.bibsonomy.org/bibtex/278ee21639a7d72e6142daaa741e16f21/dblp}, ee = {http://dx.doi.org/10.1007/s13389-016-0144-3}, interhash = {1c7b46348d32b924d425122e3b70ed49}, intrahash = {78ee21639a7d72e6142daaa741e16f21}, journal = {J. Cryptographic Engineering}, keywords = {dblp}, number = 1, pages = {87-95}, timestamp = {2017-04-05T11:34:44.000+0200}, title = {Multi-level formal verification - A new approach against fault injection attack.}, url = {http://dblp.uni-trier.de/db/journals/jce/jce7.html#SauvageGP17}, volume = 7, year = 2017 }