University of Toronto (Canada).;
机译:BUNDILDEN:通过编译时间转换进行线程强制空间内存安全性
机译:使用指针算法自动证明程序的终止和内存安全
机译:CIMA:对网络物理系统中的记忆安全攻击进行编译恢复性
机译:WPBOUND:在运行时以最弱的先决条件有效地加强空间内存的安全性
机译:使用线性指针进行简单,安全和高效的内存管理。
机译:蚂蚁使用多种空间记忆和化学指针来导航巢穴
机译:胖胖指针:硬件辅助标记 - 指针空间内存安全防御与子object粒度保护