An automated and scalable formal process for detecting fault injection vulnerabilities in binaries
Article in Concurrency and Computation Practice and Experience (September 2018)
The most recent citing publications are shown below. View all 2 publications that cite this research output on Dimensions.
Article in Concurrency and Computation Practice and Experience (September 2018)
Article in IEEE Transactions on Knowledge and Data Engineering (August 2014)