加密,安全和隐私(CrySP)研究小组开展了各种主题的研究,从设计加密协议到评估其在部署系统中的有效性和可用性。一些例子是:
· (分布式)加密协议。设计交互式协议以实现安全通信,例如密钥协商协议,密钥分发方案,秘密共享方案,识别方案,广播加密和遗忘传输。

· 高效的加密算法及其实现。
· 设计和分析加密原语,例如块和流密码,公钥加密方案,签名方案,消息认证码,密钥建立协议和基于配对的加密。
· 加密哈希函数。分析迭代设计技术和随机预言模型的安全性,构建通用散列函数族。
· 保护隐私的通信网络。创建隐私保护通信网络,具有比现有通信网络更好的安全性,隐私性,效率和可扩展性。
· 非正式消息传递。改善非录制消息或OTR的用户界面,健壮性和群组通信能力。
· 审查阻力。设计,开发和部署审查抵制技术,检查审查员和抵制者的动机,并分析他们的交互的游戏理论方面。
· 私人信息检索。创建私人信息检索(PIR)协议,这些协议在计算和通信方面都很有效,同时还提供拜占庭式的健壮性。
· 高效的零知识证明。开发零知识证明(ZKP)的批处理技术,使更多种类的复杂ZKP更有效; 开发一个软件库,程序员可以在没有ZKP专业知识的情况下轻松使用该软件库来证明和验证简单,复杂和批量的语句。
· 智能手机用户的安全和隐私。开发安全和隐私技术,允许智能手机用户以安全和隐私保护的方式使用移动应用程序。
· 位置隐私。为基于位置的服务的用户开发隐私保护技术。
· 基因组隐私。开发隐私保护技术以保护基因组数据的存储和处理。
· (移动)社交网络的隐私。为(移动)在线社交网站的用户设计隐私保护技术。
· 加密和在线投票。设计和分析具有高可用性和选民可验证正确性的投票协议。
· 响应和恢复策略。评估和设计有效的事件响应策略以确保业务连续性。
· 安全评估和审计。应用系统脆弱性和风险评估技术,特别关注金融服务和卫生部门。
· 计算加密数据和程序。为加密数据和程序的安全计算开发理论和实践基础 。
· 加密货币。开发和构建新的加密货币。