EDU: Competing to Build Secure Systems
EDU: Competing to Build Secure Systems
批准号:
1319147
负责人:
Michael Hicks
金额:
$30.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2013
资助国家:
美国
项目状态:
已结题
起止时间:
2013-09-15 至 2016-08-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Even as security has long been a tenet of good programming practice, developers continue to produce insecure software resulting in a litany of data breaches and other compromises. This project aims to improve education on secure software development and add evidence to understanding methods, tools, techniques, and other factors that best contribute to writing secure code. The project centers on a novel multiphase programming competition that combines ideas from two traditionally disparate kinds of contests: those for building code and those for finding bugs in others' code. In phase one, contestants are tasked with building secure code. In phase two, contestants perform vulnerability analyses to attempt to break the code submitted by the other contestants in the first phase. The original builders finally aim to fix exploits discovered in phase two to recover lost points. Educators, practitioners, and policymakers broadly view secure code as important, and yet there is little consensus as to how best to teach and encourage secure-programming practices. By developing a competition, this project creates a setting that is more engaging to students, improving learning outcomes, and moreover enables greater insight into both practice and pedagogy through the analysis of data on how the participants approach secure programming, what techniques they use, and what methodologies succeed or fail for different programming tasks. The educational impact is significant, as the competition scales to hundreds of participants over two years, improving the design of the contest based on each offering. The artifacts and data produced by this project are made freely available to assist secure-programming endeavors across educational institutions. Finally, the students involved in the design, implementation, and execution of the contest are trained in advanced research and pedagogical methods.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Mapping the Medieval Countryside: The Fifteenth-Century Inquisitions Post Mortem
-
批准号:AH/I027223/1
-
项目类别:Research Grant
-
资助金额:$67.28万
-
财政年份:2011
-
负责人:Michael Hicks
-
依托单位:
TC:Medium:Collaborative Research:Techniques to Retrofit Legacy Code with Security
-
批准号:0905419
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2009
-
负责人:Michael Hicks
-
依托单位:
SHF: Large: Collaborative Research: PASS: Perpetually Available Software Systems
-
批准号:0910530
-
项目类别:Standard Grant
-
资助金额:$64.2万
-
财政年份:2009
-
负责人:Michael Hicks
-
依托单位:
SoD-HCER: Evaluation of Complex Designs--A Comparative Study
-
批准号:0613601
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Michael Hicks
-
依托单位:
Scalable, Precise, and Effective Analyses for Detecting Race Conditions
-
批准号:0541036
-
项目类别:Continuing Grant
-
资助金额:$36.0万
-
财政年份:2006
-
负责人:Michael Hicks
-
依托单位:
PARALLEL STOCHASTIC ANALYSIS FOR GEO-ENGINEERING
-
批准号:EP/D037247/1
-
项目类别:Research Grant
-
资助金额:$12.91万
-
财政年份:2006
-
负责人:Michael Hicks
-
依托单位:
Collaborative Research: CT-T: Flexible, Decentralized Information-flow Control for Dynamic Environments
-
批准号:0524036
-
项目类别:Standard Grant
-
资助金额:$27.96万
-
财政年份:2005
-
负责人:Michael Hicks
-
依托单位:
CAREER: Programming Languages for Reliable and Secure Low-level Systems
-
批准号:0346989
-
项目类别:Standard Grant
-
资助金额:$55.0万
-
财政年份:2004
-
负责人:Michael Hicks
-
依托单位:
海外基金