TY  - RPRT
TI  - High-Assurance Separation Kernels: A Survey on Formal Methods
AU  - Yongwang Zhao
AU  - David Sanan
AU  - Fuyuan Zhang
AU  - Yang Liu
PY  - 2017
UR  - https://arxiv.org/abs/1701.01535
ID  - 1701.01535
ER  -