NSF Student Travel Grant for 2020 IEEE Computer Security Foundations Symposium (IEEE CSF), Boston, MA

该奖项将促进美国和/或美国公民研究生参加2020年计算机安全基础研讨会（CSF）。CSF成立于1988年，是计算机安全研究人员的年度会议，旨在研究当前的安全理论，为这些理论提供背景的正式模型以及验证安全性的技术。2020年版CSF将于2020年6月在马萨诸塞州波士顿举行。参加会议是我们社会未来计算机安全研究人员研究生院教育的重要组成部分。学生将有机会与世界一流的计算机安全研究人员讨论前沿研究，并建立网络、联系和指导关系，这将在他们的研究生涯中为他们提供良好的服务。该奖项反映了NSF的法定使命，并且通过使用基金会的智力价值和更广泛的影响力审查标准进行评估，被认为值得支持。

The award will facilitate the participation of US-based and/or US citizen graduate students to the 2020 Computer Security Foundations Symposium (CSF). CSF, founded in 1988, 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. The 2020 edition of CSF will take place in Boston, MA in June 2020. Attending conferences is an important component of graduate school education for our society's future computer security researchers. Students will 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.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.