本周六（12月4日）下午一点到三点，学堂112，陶润洲、罗辑同学会分享自己的工作，时长约为一到两小时。
陶润洲：Data-Driven Automated Invariant Learning for Distributed Protocols
陶润洲是姚班2015级毕业生，现为哥伦比亚大学博士生。本次seminar他将介绍他最近在OSDI上的关于系统验证的工作。由于非确定性，分布式系统很难正确实现。找到分布式协议的归纳不变量是验证分布式系统的正确性的关键步骤，但即使对于简单的协议也需要很长时间才能做到。我们提出了一个数据驱动的学习分布式系统归纳不变量的新方法。它通过模拟分布式协议生成不同实例大小的数据并将状态记录为样本，并从小的公式开始枚举所有可能的最强不变量。然后它使用SMT求解器尝试安全性，并尝试修改当前不变量，重复该过程直到最终成功。实验证明此方法可以自动验证13个常见的分布式协议，相比其他方法可加速超过两个数量级。
罗辑：Compact Adaptively Secure Attribute-Based Encryption
罗辑是姚班2014级本科生，本次Seminar他将介绍他和他的研究生导师林蕙佳在密码学中的工作。基于属性的加密(attribute-based encryption)是支持细粒度访问权限控制的公钥加密算法，可以看作访问控制列表(access control list)的密码学实现。他们最近的工作依托一个易于理解的新框架和随机化编码的一种新安全性定义，构造了高效且适应性安全的属性加密，新方案支持算术分支程序(arithmetic branching program)、NFA、NL图灵机表达的访问策略。本次报告中，他将介绍支持算术公式(arithmetic formula)的属性加密之构造，并讲述这段研究中最有趣的经历。
Make IIIS Great Again!
