2022年ACM博士论文奖公布了

在线体验各类最新模型,更有模型 免费Token 额度领取!
立即体验
简介: 2022年ACM博士论文奖公布了


UCLA 博士毕业的 Aayush Jain 摘得了密码学「皇冠上的明珠」。


近日,新一届 ACM 博士论文奖正式公布。

CMU 助理教授 Aayush Jain 因其论文《Indistinguishability Obfuscation from Well-Studied Assumptions》而获得 2022 年 ACM 博士论文奖。荣誉提名奖授予了在康奈尔大学获得博士学位的 Alane Suhr 和在剑桥大学获得博士学位的 Conrad Watt。

ACM 2022 博士论文奖(左)及荣誉提名奖(中、右)获得者


ACM 博士论文奖每年颁发一次,旨在奖励计算机科学与工程领域最佳的博士论文的作者。博士论文奖的奖金为 2 万美元,荣誉提名奖的奖金总共有 1 万美元。

2022 年 ACM 博士论文奖
Aayush Jain 获奖论文标题为《Indistinguishability Obfuscation from Well-Studied Assumptions》,该论文建立了从已经研究的困难猜想中实现的数学严谨软件混淆的可行性。


软件混淆的核心目标是改造源代码,在不改变其计算内容的情况下使其无法理解。其中可以添加额外的条件,例如要求转换后的代码与原始代码的性能相似,甚至没有区别。作为一种软件安全机制,软件混淆必须有一个坚实的数学基础。

该论文也获得了 STOC 2021 的最佳论文奖,并且在 Quanta Magazine 上被报道。当时,Quanta Magazine 称这篇研究摘得密码学 “皇冠上的明珠”。

机器之心曾编译介绍了 Quanta Magazine 对该论文的报道, 感兴趣的读者可以查看《不可区分混淆被实现,计算机科学家摘得这颗密码学 “皇冠上的明珠”》。

Jain 是卡内基梅隆大学的助理教授,他对密码学理论和应用,以及密码学与理论计算机科学相关领域的联系很感兴趣。Jain 在印度理工学院获得了电气工程学士学位和信息与通信技术硕士学位,并在加州大学洛杉矶分校获得了计算机科学博士学位。

此外,2022 ACM 博士论文奖还有两位荣誉提名获得者,分别是在康奈尔大学获得博士学位的 Alane Suhr 和在剑桥大学获得博士学位的 Conrad Watt。

Alane Suhr

Alane Suhr 的论文《Reasoning and Learning in Interactive Natural Language Systems》制定和设计了协作交互中用于持续语言学习的算法,并设计了用于上下文相关语义推理的方法。Suhr 的这篇论文为自然语言处理(NLP)领域做出了变革性的贡献。

Suhr 目前是加州大学伯克利分校的助理教授。Suhr 的研究重点是自然语言处理、机器学习和计算机视觉,她在俄亥俄州立大学获得了计算机科学与工程学士学位,并在康奈尔大学获得了计算机科学博士学位。

Conrad Watt

Watt 目前是剑桥大学的博士后研究员,其研究重心在于机械化形式验证、并发机制和 WebAssembly 语言。他先后在帝国理工学院和剑桥大学获得计算机科学硕士和博士学位。

Watt 的博士论文题目为《Mechanising and evolving the formal semantics of WebAssembly: the Web's new low-level language》,创建了 WebAssembly 的机械化语义并定义其并发模型。该模型将成为当前和未来网络工程的基础。

Watt 的博士论文被认为是「开发和使用完全严格的机械化语义来直接影响和改进工业计算基础设施主要组件设计的典范。」


相关文章
|
应用服务中间件 网络安全 nginx
docker 映射端口穿透内置防火墙
docker 映射端口穿透内置防火墙
1729 0
|
SQL 存储 NoSQL
CQL基本语法介绍|学习笔记
快速学习CQL:CQL基本语法介绍
CQL基本语法介绍|学习笔记
|
7月前
|
自然语言处理 编译器 Python
深入理解Python语法分析(从零开始掌握AST与解析器原理)
教程来源https://www.vpshk.cn/本教程带你深入浅出地学习Python语法分析,了解编译原理入门知识。通过ast模块解析代码结构,掌握抽象语法树(AST)的生成与遍历,轻松理解Python解析器工作原理,适合编程新手快速上手。
|
传感器 存储 供应链
物联网技术在物流领域的应用实例有哪些?
物联网技术在物流领域的应用实例有哪些?
3281 59
|
人工智能 安全 量子技术
大疆DJI无人机等你来拿,蚂蚁集团agentUniverse 多智能体框架有奖征文
agentUniverse有奖征文活动来啦!分享agentUniverse的实践经验、亦或是剖析市面上各路智能体技术理念、对比开源框架的洞见,都有机会获得大疆无人机!
大疆DJI无人机等你来拿,蚂蚁集团agentUniverse 多智能体框架有奖征文
|
存储 运维 监控
实战:使用Spring Boot Admin实现运维监控平台
我们知道,使用Actuator可以收集应用系统的健康状态、内存、线程、堆栈、配置等信息,比较全面地监控了Spring Boot应用的整个生命周期。但是还有一个问题:如何呈现这些采集到的应用监控数据、性能数据呢?在这样的背景下,就诞生了另一个开源软件Spring Boot Admin。下面就来介绍什么是Spring Boot Admin以及如何使用Spring Boot Admin搭建完整的运维监控平台。
132659 3
实战:使用Spring Boot Admin实现运维监控平台
|
Java 编译器
通义灵码的使用体验
作为一名Java开发工程师,我使用通义灵码辅助开发,通过IDEA插件实现便捷的问题检索与解决,显著提升开发效率。该插件还提供代码解释、生成优化建议等实用功能,助力高效编程。
|
Oracle 关系型数据库 MySQL
OceanBase兼容性
【8月更文挑战第13天】OceanBase兼容性
1828 5
|
存储 Linux C语言
Linux|如何安装和运行多个 glibc 库
Linux|如何安装和运行多个 glibc 库
5405 5
|
开发工具 git
Idea(二) 解决IDEA卡顿问题及相关基本配置(转)
一、IDEA太卡顿,设置使用IDEA的内存 在IDEA的安装目录下的bin目录下: 打开设置: 将idea.exe.vmoptions文件内由-server-Xms128m-Xmx512m-XX:MaxPermSize=250m-XX:ReservedCodeCacheSize=150m-ea-Dsun.
2787 0