Verifying Hyperproperties of Hardware Systems

被引：0
作者：
Finkbeiner, Bernd [1 ]
Rabe, Markus [2 ]
机构：
[1] Saarland Univ, Saarbrucken, Germany
[2] Univ Calif Berkeley, Berkeley, CA USA
来源：
PROCEEDINGS OF THE 2016 16TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD 2016) | 2016年
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：5 / 5
页数：1
相关论文
共 50 条
[21]   Verifying Quantitative Reliability for Programs that Execute on Unreliable Hardware [J].
Carbin, Michael ;
Misailovic, Sasa ;
Rinard, Martin C. .
COMMUNICATIONS OF THE ACM, 2016, 59 (08) :83-91
[22]   Specifying and verifying hardware for tamper-resistant software [J].
Lie, D ;
Mitchell, J ;
Thekkath, CA ;
Horowitz, M .
2003 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, PROCEEDINGS, 2003, :166-177
[23]   IODINE: Verifying Constant-Time Execution of Hardware [J].
v Gleissenthall, Klaus ;
Kici, Rami Gokhan ;
Stefan, Deian ;
Jhala, Ranjit .
PROCEEDINGS OF THE 28TH USENIX SECURITY SYMPOSIUM, 2019, :1411-1428
[24]   Verifying Quantitative Reliability for Programs That Execute on Unreliable Hardware [J].
Carbin, Michael ;
Misailovic, Sasa ;
Rinard, Martin C. .
ACM SIGPLAN NOTICES, 2013, 48 (10) :33-71
[25]   VERIFYING PIPELINED HARDWARE USING SYMBOLIC LOGIC SIMULATION [J].
BOSE, S ;
FISHER, AL .
PROCEEDINGS - IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN : VLSI IN COMPUTERS & PROCESSORS, 1989, :217-221
[26]   FROM PROGRAMS TO TRANSISTORS - VERIFYING HARDWARE SYNTHESIS TOOLS [J].
BROWN, GM ;
LEESER, ME .
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 408 :129-151
[27]   Verifying parametrised hardware designs via counter automata [J].
Smrcka, A. ;
Vojnar, T. .
HARDWARE AND SOFTWARE: VERIFICATION AND TESTING, 2008, 4899 :51-68
[28]   Verifying Cyberphysical Systems [J].
Platzer, Andre .
IEEE INTELLIGENT SYSTEMS, 2011, 26 (01) :13-13
[29]   Verifying Autonomous Systems [J].
Dennis, Louise A. .
INTEGRATED FORMAL METHODS, IFM 2022, 2022, 13274 :3-17
[30]   Verifying Autonomous Systems [J].
Fisher, Michael ;
Dennis, Louise ;
Webster, Matt .
COMMUNICATIONS OF THE ACM, 2013, 56 (09) :84-93
12345