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 条
[41]   COATCheck: Verifying Memory Ordering at the Hardware-OS Interface [J].
Lustig, Daniel ;
Sethi, Geet ;
Martonosi, Margaret ;
Bhattacharjee, Abhishek .
ACM SIGPLAN NOTICES, 2016, 51 (04) :233-247
[42]   COATCheck: Verifying memory ordering at the hardware-OS interface [J].
Lustig D. ;
Sethi G. ;
Martonosi M. ;
Bhattacharjee A. .
ACM SIGPLAN Notices, 2016, 51 (04) :233-247
[43]   Seeds of SEED: Building and Verifying Foundationally Isolated Hardware Architectures [J].
Oberg, Jason .
2021 INTERNATIONAL SYMPOSIUM ON SECURE AND PRIVATE EXECUTION ENVIRONMENT DESIGN (SEED 2021), 2021, :210-214
[44]   Verifying Hardware Security Modules with Information-Preserving Refinement [J].
Athalye, Anish ;
Kaashoek, M. Frans ;
Zeldovich, Nickolai .
PROCEEDINGS OF THE 16TH USENIX SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION, OSDI 2022, 2022, :503-519
[45]   Verifying clocked transition systems [J].
Kesten, Y. ;
Manna, Z. ;
Pnueli, A. .
Lecture Notes in Computer Science, 1066
[46]   Runtime Enforcement of Hyperproperties [J].
Coenen, Norine ;
Finkbeiner, Bernd ;
Hahn, Christopher ;
Hofmann, Jana ;
Schillo, Yannick .
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2021, 2021, 12971 :283-299
[47]   Synthesis from hyperproperties [J].
Bernd Finkbeiner ;
Christopher Hahn ;
Philip Lukert ;
Marvin Stenger ;
Leander Tentrup .
Acta Informatica, 2020, 57 :137-163
[48]   Validating and Verifying AI Systems [J].
Hand, David J. ;
Khan, Shakeel .
PATTERNS, 2020, 1 (03)
[49]   Verifying software streaming systems [J].
Nam, KH ;
Park, JK ;
Choi, JY ;
Lee, JJ ;
Choi, W .
8th International Conference on Advanced Communication Technology, Vols 1-3: TOWARD THE ERA OF UBIQUITOUS NETWORKS AND SOCIETIES, 2006, :U367-U371
[50]   Verifying Digital Systems with MATLAB [J].
Chaves, Lennon ;
Bessa, Iury ;
Cordeiro, Lucas ;
Kroening, Daniel ;
Lima, Eddie .
PROCEEDINGS OF THE 26TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA'17), 2017, :388-391
12345