Practical Security Properties on Commodity Computing Platforms by Amit Vasudevan

Author:Amit Vasudevan
Language: eng
Format: epub
ISBN: 9783030250492
Publisher: Springer International Publishing

2.1.2 Performance

Our solution must not preclude aggressive code optimization and must not adversely affect runtime performance. Furthermore, commodity OS on multi-core hardware must be supported.

2.1.3 Low TCB and Low Complexity

Our solution should have a low TCB and complexity to facilitate manual audits and/or formal verification. Recent advances in formal verification have shown this is a critical requirement for verifiability (Vasudevan et al., 2016; Gu et al., 2015).

2.2 System Properties and Applications

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.