安全主题包括网络安全、协议分析、系统安全、可信计算、以人为本的安全、，以及网络。
软件工程软件工程是科学和工程技术的应用…
阅读更多信息关于软件工程
可信计算我们研究了可信计算技术，以及将其应用于计算机的方法…
阅读更多信息关于可信计算
系统安全在软件和系统安全主题中，学者和研究人员…
阅读更多信息关于系统安全
软件和系统安全软件和系统安全研究小组将这些…
阅读更多信息关于软件和系统安全
安全牛津大学的计算机安全研究种类越来越多…
阅读更多信息关于安全
GCSCC公司一个领先的国际网络安全能力研究中心…
阅读更多信息关于GCSCC
AA-安全
阅读更多信息关于AA-SAFE
下一代电网的物理层安全
阅读更多信息关于下一代电网的物理层安全
透明度协议的自动验证
阅读更多信息关于透明协议的自动验证
Iris：结构化对等网络中的动态隐私保护搜索
阅读更多信息关于Iris：结构化对等网络中的动态隐私保护搜索
使用骰子验证符号协议
阅读更多信息关于使用dice进行符号协议验证
ProVerify中超越差异等效的不可分辨性
阅读更多信息关于ProVerify中超越Diff−Equivalence的不可分辨性
Hash Gone Bad：自动发现利用Hash函数弱点的协议攻击
阅读更多信息关于Hash Gone Bad：自动发现利用Hash函数弱点的协议攻击
使用ProVerif进行选举验证
阅读更多信息关于ProVerif的选举可验证性
带有加密客户端Hello的TLS 1.3隐私的符号分析
阅读更多信息关于加密客户端Hello的TLS 1.3隐私的符号分析
SAPIC+：全球协议验证机构联合起来！
阅读更多信息关于SAPIC+：世界协议验证者联合起来！
完整配置文件
