Software Security: Theory to Practice

点击翻译按钮获取中文摘要

Abstract0438714Zena M. AriolaUniversity of Oregon We propose to organize a summer school on Software Security: Theory and Practice. The aim of theschool is to prepare graduate students, academic and industrial people to conduct research on this topic,which is very important since more and more of our economy, defense, government and social life is online.The curriculum will include basic foundational material for all attendees; advanced material for thoseinterested in new research directions; and presentation of applications . In more detail, we will present threetypes of material:1. Security Principles and Foundational Theory This will provide an introduction to the essentialconcepts and methodologies.2. Advanced Techniques for Software Security This material will consists of more recent results inthe area of language-based security.3. Theory, in Practice This will demonstrate how theoretical results can be used by practitioners indealing with security problems.