Verifying Arithmetic Assembly Programs in Cryptographic Primitives (Invited Talk).

Andy Polyakov Ming-Hsien Tsai Bow-Yaw Wang Bo-Yin Yang

Published in: CONCUR (2018)

Keyphrases

invited talk
selected papers
knowledge discovery and data mining
smart card
high level
real world
building blocks
model checking
high level programming
galois field
wireless sensor networks
artificial intelligence
learning styles
floating point
accepted papers
primitive operations