Flexible Runtime Security Enforcement with Tagged C
Flexible Runtime Security Enforcement with Tagged C
复制标题
带有标记 C 的灵活运行时安全实施
DOI：
--
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Tolmach, Andrew
中科院分区：
文献类型：
--
作者：
Anderson, Sean;Naaktgeboren, Allison;Tolmach, Andrew
登录
查看更多内容
DOI：
--
发表时间：
2015
期刊：
International Conference on Architectural Support for Programming Languages and Operating Systems
影响因子：
--
作者：
Udit Dhawan;Cătălin Hriţcu;Raphael Rubin;N. Vasilakis;S. Chiricescu;Jonathan M. Smith;T. Knight;B. Pierce;A. DeHon
通讯作者：
A. DeHon
DOI：
10.1109/sp46215.2023.10179416
发表时间：
2023-05
期刊：
2023 IEEE Symposium on Security and Privacy (SP)
影响因子：
--
作者：
Ravi Theja Gollapudi;Gokturk Yuksek;David Demicco;Matthew Cole;Gaurav Kothari;Rohit Kulkarni;Xin Z
通讯作者：
Ravi Theja Gollapudi;Gokturk Yuksek;David Demicco;Matthew Cole;Gaurav Kothari;Rohit Kulkarni;Xin Z
经过验证的信息流架构
DOI：
10.1145/2535838.2535839
发表时间：
2014
期刊：
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
影响因子：
--
作者：
Arthur Azevedo de Amorim;Nathan Collins;A. DeHon;Delphine Demange;Cătălin Hriţcu;David Pichardie;B. Pierce;R. Pollack;A. Tolmach
通讯作者：
A. Tolmach
DOI：
10.1145/2103656.2103677
发表时间：
2012-01
期刊：
--
影响因子：
--
作者：
Thomas H. Austin;C. Flanagan
通讯作者：
Thomas H. Austin;C. Flanagan
实现基于标签的策略执行的正式验证编译
DOI：
--
发表时间：
2020
期刊：
Certified Programs and Proofs
影响因子：
--
作者：
Chr Chhak;A. Tolmach;S. Anderson
通讯作者：
S. Anderson