搜索条件
筛选:
Advisor
Dougherty, Daniel J.
删除限定条件 Advisor: Dougherty, Daniel J.
资源类型
Thesis
删除限定条件 资源类型: Thesis
1 - 7 共 7
每页显示结果数
搜索结果
选择图片启动幻灯展示
A Coq Formalization of Unification Modulo Exclusive-Or
1 of 7
Evaluating SGX’s Remote Attestation Security Through the Analysis of Copland Phrases
2 of 7
Alloy-Guided Verification of Cooperative Autonomous Driving Behavior
3 of 7
User Evaluation Framework for Model Finding Research
4 of 7
Multi-Decision Policy and Policy Combinator Specifications
5 of 7
Noninterference in Concurrent Game Structures
6 of 7
Formalization and Verification of Rewriting-Based Security Polices
7 of 7