[ACM Press the 55th Annual Design Automation Conference - San Francisco, California (2018.06.24-2018.06.29)] Proceedings of the 55th Annual Design Automation Conference on - DAC '18 - Formal security verification of concurrent firmware in SoCs using instruction-level abstraction for hardware
- 作者Huang, Bo-Yuan; Ray, Sayak; Gupta, Aarti; Fung, Jason M.; Malik, Sharad
- 文件大小159.91KB
- 发表时间2018
- DOI10.1145/3195970.3196055
- 页码1-6
[ACM Press the 2018 CHI Conference - Montreal QC, Canada (2018.04.21-2018.04.26)] Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems - CHI '18 - SpaceTokensMiau, Daniel; Feiner, Steven · 2018
[ACM Press the 2018 CHI Conference - Montreal QC, Canada (2018.04.21-2018.04.26)] Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems - CHI '18 - MindNavigatorLee, Kwangyoung; Hong, Hwajung · 2018
[ACM Press the 2018 CHI Conference - Montreal QC, Canada (2018.04.21-2018.04.26)] Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems - CHI '18 - MultirayMatulic, Fabrice; Vogel, Daniel · 2018
[ACM Press the 2018 CHI Conference - Montreal QC, Canada (2018.04.21-2018.04.26)] Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems - CHI '18 - OptiMoKoyama, Yuki; Goto, Masataka · 2018
[ACM Press the 2018 CHI Conference - Montreal QC, Canada (2018.04.21-2018.04.26)] Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems - CHI '18 - GestureWizSpeicher, Maximilian; Nebeling, Michael · 2018
[ACM Press the 2018 CHI Conference - Montreal QC, Canada (2018.04.21-2018.04.26)] Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems - CHI '18 - CraftMLYeh, Tom; Kim, Jeeeun · 2018
[ACM Press the 2018 CHI Conference - Montreal QC, Canada (2018.04.21-2018.04.26)] Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems - CHI '18 - CivilServantMatias, J. Nathan; Mou, Merry · 2018