Sign in
Andy Polyakov
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Primitive Operations
Invited Talk
High Level Programming
Model Checking
Top Venues
CONCUR
</>
Publications
</>
Andy Polyakov
,
Ming-Hsien Tsai
,
Bow-Yaw Wang
,
Bo-Yin Yang
Verifying Arithmetic Assembly Programs in Cryptographic Primitives (Invited Talk).
CONCUR
(2018)