Student Travel Support for the 30th IEEE Computer Security Foundations Symposium (CSF); August, 2017, Santa Barbara, CA

该提案支持学生前往参加2017年8月在加利福尼亚州圣巴巴拉举行的2017年计算机安全基础研讨会（CSF）。CSF是计算机安全研究人员的年度会议，旨在研究当前的安全理论，为这些理论提供背景的正式模型，以及验证安全性的技术。这项旅行补助金将为美国和/或美国公民研究生提供职业发展和学习机会。参加会议是我们社会未来计算机安全研究人员研究生教育的重要组成部分。学生有机会与世界一流的计算机安全研究人员讨论前沿研究，并建立网络、联系和指导关系，这将在他们的研究生涯中很好地为他们服务。

This proposal supports student travel to attend the 2017 Computer Security Foundations Symposium (CSF) to be held in Santa Barbara, California, August 2017. CSF is an annual conference for researchers in computer security, to examine current theories of security, the formal models that provide a context for those theories, and techniques for verifying security. This travel grant will enable career development and learning opportunities for US-based and/or US citizen graduate students. Attending conferences is an important component of graduate school education for our society's future computer security researchers. Students have the opportunity to discuss leading edge research with world-class computer security researchers, and establish networks, connections, and mentoring relationships that will serve them well during their research careers.