安全主题包括网络安全、协议分析、系统安全、可信计算、以人为本的安全、，和网络。
软件工程软件工程是科学和工程技术的应用…
阅读更多信息关于软件工程
可信计算我们研究了可信计算技术，以及将其应用于计算机的方法…
阅读更多信息关于可信计算
系统安全在软件和系统安全主题中，学者和研究人员…
阅读更多信息关于系统安全
软件和系统安全软件和系统安全研究小组将这些…
阅读更多信息关于软件和系统安全
安全牛津大学的计算机安全研究种类越来越多…
阅读更多信息关于安全
网络价值与风险分析随着网络攻击的数量不断增加，以及网络攻击所造成的伤害程度不断上升…
阅读更多信息关于分析网络价值与风险
自发安全在过去10年中发展起来的新一代计算机安全技术为我们提供了一个新的解决方案…
阅读更多信息关于自发性安全
GCSCC公司一个领先的国际网络安全能力研究中心…
阅读更多信息关于GCSCC
再来一个为了提高个人授予的方便性、可靠性和严格性，以及更多的im…
阅读更多信息关于EnCoRe
RicherPicture公司
阅读更多信息关于RicherPicture
MetaVis公司
阅读更多信息关于MetaVis
透明度协议的自动验证
阅读更多信息关于透明协议的自动验证
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+：世界协议验证者联合起来！
完整配置文件
