TY - GEN
T1 - Evolving Operating System Kernels Towards Secure Kernel-Driver Interfaces
AU - Burtsev, Anton
AU - Narayanan, Vikram
AU - Huang, Yongzhe
AU - Huang, Kaiming
AU - Tan, Gang
AU - Jaeger, Trent
N1 - Publisher Copyright:
© 2023 Owner/Author(s).
PY - 2023/6/22
Y1 - 2023/6/22
N2 - Our work explores the challenge of developing secure kernel-driver interfaces designed to protect the kernel from isolated kernel extensions. We first analyze a range of possible attack vectors that exist in current isolation frameworks. Then, we suggest a new approach to building secure isolation boundaries centered around ideas that originate in safe operating systems: isolation of heaps and single ownership.
AB - Our work explores the challenge of developing secure kernel-driver interfaces designed to protect the kernel from isolated kernel extensions. We first analyze a range of possible attack vectors that exist in current isolation frameworks. Then, we suggest a new approach to building secure isolation boundaries centered around ideas that originate in safe operating systems: isolation of heaps and single ownership.
UR - http://www.scopus.com/inward/record.url?scp=85166262442&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85166262442&partnerID=8YFLogxK
U2 - 10.1145/3593856.3595914
DO - 10.1145/3593856.3595914
M3 - Conference contribution
AN - SCOPUS:85166262442
T3 - HotOS 2023 - Proceedings of the 19th Workshop on Hot Topics in Operating Systems
SP - 166
EP - 173
BT - HotOS 2023 - Proceedings of the 19th Workshop on Hot Topics in Operating Systems
PB - Association for Computing Machinery, Inc
T2 - 19th Workshop on Hot Topics in Operating Systems, HotOS 2023
Y2 - 22 June 2023 through 24 June 2023
ER -