Cryptography; Libraries; Protocols; Browsers; Standards; Servers;
机译:机械化和验证WebAssembly规范
机译:Web应用程序正式规范和验证的重写逻辑方法
机译:使用范围扩展的LTL进行Web应用程序运行时验证的正式方法
机译:在webassembly中正式验证了加密Web应用程序
机译:方程式统一及其在密码协议形式验证中的应用
机译:色度:基于WebAssembly的癌症基因组查看器
机译:在webassembly中正式验证了加密Web应用程序