共 29 条
- [2] TEEm: Supporting Large Memory for Trusted Applications in ARM TrustZone IEEE ACCESS, 2024, 12 : 108584 - 108596
- [3] Memory-Safe Elimination of Side Channels CGO '21: PROCEEDINGS OF THE 2021 IEEE/ACM INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION (CGO), 2021, : 200 - 210
- [4] Cuckoo: a language for implementing memory-safe and thread-safe system PLC '05: PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGES AND COMPILERS, 2005, : 94 - 100
- [5] Development of Fast and Memory-Safe Operating System Kernel PROCEEDINGS OF THE 2019 IEEE CONFERENCE OF RUSSIAN YOUNG RESEARCHERS IN ELECTRICAL AND ELECTRONIC ENGINEERING (EICONRUS), 2019, : 1852 - 1856
- [6] Fyr: a memory-safe and thread-safe systems programming language SAC '19: PROCEEDINGS OF THE 34TH ACM/SIGAPP SYMPOSIUM ON APPLIED COMPUTING, 2019, : 1574 - 1577
- [7] MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (POPL): : 425 - 454
- [8] Implementation of the Memory-safe Full ANSI-C Compiler PLDI'09 PROCEEDINGS OF THE 2009 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2009, : 259 - 269
- [10] TECS/Rust: Memory-safe Component Framework for Embedded Systems 2024 IEEE 27TH INTERNATIONAL SYMPOSIUM ON REAL-TIME DISTRIBUTED COMPUTING, ISORC 2024, 2024,