Solver-Aided Constant-Time Hardware Verification
Klaus v. Gleissenthall
◽
Rami Gökhan Kıcı
◽
Deian Stefan
◽
Ranjit Jhala
2011 ◽
Vol 18
(11)
◽
pp. 651-654
◽
1995 ◽
Vol 15
(3)
◽
pp. 60-71
◽
A. Louri
◽
J.A. Hatch
◽
Jongwhoa Na
2020 ◽
Vol 53
(2)
◽
pp. 15198-15203
Andrs A. Peters
◽
Alejandro J. Rojas
Sebastian Banescu
◽
Martin Derka
◽
Jan Gorzny
◽
Sung-Shine Lee
◽
Alex Murashkin
Sunjay Cauligi
◽
Craig Disselkoen
◽
Klaus v. Gleissenthall
◽
Dean Tullsen
◽
Deian Stefan
◽
...
Dibei Chen
◽
Zhaoshi Li
◽
Tianzhu Xiong
◽
Zhiwei Liu
◽
Jun Yang
◽
...
1995 ◽
Vol 27
(1)
◽
pp. 86-99
◽
V. Bokka
◽
H. Gurla
◽
S. Olariu
◽
J.L. Schwing
1995 ◽
Vol 42
(4)
◽
pp. 908-918
◽