通用可组合性（UC）黑客马拉松

教练:
Ran Canetti教授，波士顿大学

视频:
普遍可组合安全性：教程

教学材料:

• Slides: 演示文稿 and PDF formats
• Reading material: Ran’s UC tutorial (ps) (pdf) and the full framework (pdf)

日期和地点：
3月18日星期五 and 3月19日星期六 at 波士顿大学’s Hariri seminar room

概述:
The event will consist of a day of lectures on the UC framework, followed by “hackathon style” sessions of UC security analysis of an assortment of schemes and modules that have not been analyzed in this style before.

框架的表示将较少地关注理论基础，而更多地关注提供必要的理解和技术，以便在该框架内表示安全需求，并显示给定的系统满足这些需求。

在分析会议中，参与者将分成小组，每个小组将从主题和方案菜单中选择一个主题进行澳门威尼斯人注册网站研究。 对建模和分析提出自己的原创想法是可以接受和欢迎的。 每个小组的最终目标是提出运行代码和（手动生成的）代码的安全性分析。

澳门威尼斯人注册网站将与小组互动，小组将相互互动，以获得更好的整体理解和分析。

时间表:

3月18日星期五

3月19日星期六