Automatic Equivalence Checking for Assembly Implementations of Cryptography Libraries.

Jay P. Lim Santosh Nagarakatte

Published in: CGO (2019)

Keyphrases

digital libraries
semi automatic
cellular automata
fully automatic
learning algorithm
artificial intelligence
case study
data driven
efficient implementation
real world
search engine
knowledge base
image processing
search algorithm
data model