受强制性开放获取政策约束的文章 - Shengyi Wang了解详情
可在其他位置公开访问的文章：4 篇
{BesFS}: A {POSIX} Filesystem for Enclaves with a Mechanized Safety Proof
S Shinde, S Wang, P Yuan, A Hobor, A Roychoudhury, P Saxena
29th USENIX Security Symposium (USENIX Security 20), 523-540, 2020
强制性开放获取政策： US National Science Foundation
Certifying graph-manipulating C programs via localizations within data structures
S Wang, Q Cao, A Mohan, A Hobor
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-30, 2019
强制性开放获取政策： US National Science Foundation
Foundational verification of stateful P4 packet processing
Q Wang, M Pan, S Wang, R Doenges, L Beringer, AW Appel
14th International Conference on Interactive Theorem Proving (ITP 2023), 2023
强制性开放获取政策： US National Science Foundation, US Department of Defense
Compositional verification of concurrent C programs with search structure templates
DT Nguyen, L Beringer, W Mansky, S Wang
Proceedings of the 13th ACM SIGPLAN International Conference on Certified …, 2024
强制性开放获取政策： US National Science Foundation, US Department of Defense
出版信息和资助信息由计算机程序自动确定