NSF安全形式化方法研讨会报告
密码学与安全
2016-08-04 v2 计算机科学中的逻辑
摘要
关于NSF安全形式化方法研讨会的报告，于2015年11月19-20日举行。
引用
@article{arxiv.1608.00678,
title = {Report on the NSF Workshop on Formal Methods for Security},
author = {Stephen Chong and Joshua Guttman and Anupam Datta and Andrew Myers and Benjamin Pierce and Patrick Schaumont and Tim Sherwood and Nickolai Zeldovich},
journal= {arXiv preprint arXiv:1608.00678},
year = {2016}
}