本课程从安全协议形式化分析与验证、密码学相关研究、移动安全、工控系统安全等四个方向介绍了信息安全系的工作，并提出研究更复杂场景（例如考虑密钥之外的其它随机因素等）下的隐私问题的不可能性结果、构造基于新型的非完美随机源的差分隐私机制等等值得进一步探索的问题。