开放存取媒体
USENIX致力于开放访问我们活动上展示的研究。活动开始后,所有人都可以免费获得论文和会议记录。活动结束后发布的任何视频、音频和/或幻灯片也免费向所有人开放。支持USENIX以及我们对开放存取的承诺。
BibTeX公司
@进行中{203642,
作者={Barry Bond和Chris Hawblitzel、Manos Kapritsos和K.Rustan M.Leino、Jacob R.Lorch和Bryan Parno、Ashay Rane、Srinath Setty和Laure Thompson},
title={Vale:验证{高性能}加密程序集代码},
booktitle={第26届USENIX安全研讨会(USENIX-Security 17)},
年份={2017年},
isbn={978-1-931971-40-9},
地址={温哥华,不列颠哥伦比亚},
页数={917--934},
网址={https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/bond(网址:https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/bond)},
publisher={USENIX协会},
月=八月
}
演示文稿视频