Hassan Eldib, Meng Wu, Chao Wang 0001
Synthesis of Fault-Attack Countermeasures for Cryptographic Circuits
CAV, 2016.
@inproceedings{CAV-2016-EldibWW,
author = "Hassan Eldib and Meng Wu and Chao Wang 0001",
booktitle = "{Proceedings of the 28th International Conference on Computer Aided Verification, Part II}",
doi = "10.1007/978-3-319-41540-6_19",
isbn = "978-3-319-41539-0",
pages = "343--363",
publisher = "{Springer}",
title = "{Synthesis of Fault-Attack Countermeasures for Cryptographic Circuits}",
year = 2016,
}