EDU: Competing to Build Secure Systems
EDU:竞争构建安全系统
基本信息
- 批准号:1319147
- 负责人:
- 金额:$ 30万
- 依托单位:
- 依托单位国家:美国
- 项目类别: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)
会议论文数量(0)
专利数量(0)

暂无数据
数据更新时间:2024-06-01
Michael Hicks其他文献
Dynamic inference of static types for ruby
ruby 静态类型的动态推断
- DOI:10.1145/1925844.192643710.1145/1925844.1926437
- 发表时间:20112011
- 期刊:
- 影响因子:0
- 作者:Jong;A. Chaudhuri;Jeffrey S. Foster;Michael HicksJong;A. Chaudhuri;Jeffrey S. Foster;Michael Hicks
- 通讯作者:Michael HicksMichael Hicks
A Revised Basis for Iceberg Areal Density Values for Risk Analysis
用于风险分析的冰山面密度值的修订基础
- DOI:10.4043/27369-ms10.4043/27369-ms
- 发表时间:20162016
- 期刊:
- 影响因子:0
- 作者:Kashfi B. Habib;Michael Hicks;Paul Stuckey;T. KingKashfi B. Habib;Michael Hicks;Paul Stuckey;T. King
- 通讯作者:T. KingT. King
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Cedar:一种用于表达、快速、安全和可分析授权的新语言
- DOI:
- 发表时间:20242024
- 期刊:
- 影响因子:0
- 作者:Joseph W. Cutler;Craig Disselkoen;Aaron Eline;Shaobo He;Kyle Headley;Michael Hicks;Kesha Hietala;Eleftherios Ioannidis;J. Kastner;Anwar Mamat;Darin McAdams;Matt McCutchen;Neha Rungta;Emina Torlak;Andrew M. WellsJoseph W. Cutler;Craig Disselkoen;Aaron Eline;Shaobo He;Kyle Headley;Michael Hicks;Kesha Hietala;Eleftherios Ioannidis;J. Kastner;Anwar Mamat;Darin McAdams;Matt McCutchen;Neha Rungta;Emina Torlak;Andrew M. Wells
- 通讯作者:Andrew M. WellsAndrew M. Wells
Combustion of <em>n</em>-propylbenzene: Experiments and numerical modeling
- DOI:10.1016/j.proci.2024.10554310.1016/j.proci.2024.105543
- 发表时间:2024-01-012024-01-01
- 期刊:
- 影响因子:
- 作者:Songtao Guo;Yuhao Xu;Andrea Scaboro;Raisa Rasul;Yujie Wang;Anthony Reeves;Alberto Cuoci;Alessio Frassoldati;Michael Hicks;C. Thomas AvedisianSongtao Guo;Yuhao Xu;Andrea Scaboro;Raisa Rasul;Yujie Wang;Anthony Reeves;Alberto Cuoci;Alessio Frassoldati;Michael Hicks;C. Thomas Avedisian
- 通讯作者:C. Thomas AvedisianC. Thomas Avedisian
Serializing C intermediate representations for efficient and portable parsing
序列化 C 中间表示以实现高效且可移植的解析
- DOI:10.1002/spe.95410.1002/spe.954
- 发表时间:20102010
- 期刊:
- 影响因子:0
- 作者:Jeffrey A. Meister;Jeffrey S. Foster;Michael HicksJeffrey A. Meister;Jeffrey S. Foster;Michael Hicks
- 通讯作者:Michael HicksMichael Hicks
共 8 条
- 1
- 2
Michael Hicks的其他基金
Mapping the Medieval Countryside: The Fifteenth-Century Inquisitions Post Mortem
绘制中世纪乡村地图:十五世纪的死后宗教裁判所
- 批准号:AH/I027223/1AH/I027223/1
- 财政年份:2011
- 资助金额:$ 30万$ 30万
- 项目类别:Research GrantResearch Grant
TC:Medium:Collaborative Research:Techniques to Retrofit Legacy Code with Security
TC:中:协作研究:安全改造遗留代码的技术
- 批准号:09054190905419
- 财政年份:2009
- 资助金额:$ 30万$ 30万
- 项目类别:Standard GrantStandard Grant
SHF: Large: Collaborative Research: PASS: Perpetually Available Software Systems
SHF:大型:协作研究:PASS:永久可用的软件系统
- 批准号:09105300910530
- 财政年份:2009
- 资助金额:$ 30万$ 30万
- 项目类别:Standard GrantStandard Grant
SoD-HCER: Evaluation of Complex Designs--A Comparative Study
SoD-HCER:复杂设计的评估——比较研究
- 批准号:06136010613601
- 财政年份:2006
- 资助金额:$ 30万$ 30万
- 项目类别:Standard GrantStandard Grant
Scalable, Precise, and Effective Analyses for Detecting Race Conditions
用于检测竞争条件的可扩展、精确且有效的分析
- 批准号:05410360541036
- 财政年份:2006
- 资助金额:$ 30万$ 30万
- 项目类别:Continuing GrantContinuing Grant
PARALLEL STOCHASTIC ANALYSIS FOR GEO-ENGINEERING
地球工程并行随机分析
- 批准号:EP/D037247/1EP/D037247/1
- 财政年份:2006
- 资助金额:$ 30万$ 30万
- 项目类别:Research GrantResearch Grant
Collaborative Research: CT-T: Flexible, Decentralized Information-flow Control for Dynamic Environments
合作研究:CT-T:动态环境下灵活、分散的信息流控制
- 批准号:05240360524036
- 财政年份:2005
- 资助金额:$ 30万$ 30万
- 项目类别:Standard GrantStandard Grant
CAREER: Programming Languages for Reliable and Secure Low-level Systems
职业:可靠且安全的低级系统的编程语言
- 批准号:03469890346989
- 财政年份:2004
- 资助金额:$ 30万$ 30万
- 项目类别:Standard GrantStandard Grant
相似国自然基金
寡头市场中质量竞争与价格竞争下的信息设计问题研究
- 批准号:72303082
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
大国竞争背景下战略性关键矿产全产业链韧性提升机制及保障对策研究
- 批准号:72304255
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
两种重要近缘入侵斑潜蝇竞争取代的生态适应性分子机制
- 批准号:32360664
- 批准年份:2023
- 资助金额:32 万元
- 项目类别:地区科学基金项目
市场公平竞争与企业发展:指标测度、影响机理与效应分析
- 批准号:72373155
- 批准年份:2023
- 资助金额:41 万元
- 项目类别:面上项目
地表水溶解性有机质与功能化杯芳烃对磺胺类抗生素的竞争吸附机制
- 批准号:42301095
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
相似海外基金
Deciphering the Competing Mechanisms of Li Microstructure Formation in Solid Electrolytes with Nuclear Magnetic Resonance Spectroscopy (NMR) and Imaging (MRI)
利用核磁共振波谱 (NMR) 和成像 (MRI) 解读固体电解质中锂微结构形成的竞争机制
- 批准号:23191512319151
- 财政年份:2024
- 资助金额:$ 30万$ 30万
- 项目类别:Continuing GrantContinuing Grant
SERVICES TO EXTEND METHODS FOR RISK PREDICTION WITH A CONTINUOUS TIME MODEL FOR SURVIVAL UNDER COMPETING RISKS
通过连续时间模型扩展风险预测方法的服务,以实现竞争风险下的生存
- 批准号:1097426410974264
- 财政年份:2023
- 资助金额:$ 30万$ 30万
- 项目类别:
Contact Networks, Immunity, and Evolution in Competing Cancer Epidemics
癌症流行中的接触网络、免疫和进化
- 批准号:DP230100162DP230100162
- 财政年份:2023
- 资助金额:$ 30万$ 30万
- 项目类别:Discovery ProjectsDiscovery Projects
Private Disclosures in Competing Mechanisms: Theory and Applications
竞争机制中的私人披露:理论与应用
- 批准号:23156522315652
- 财政年份:2023
- 资助金额:$ 30万$ 30万
- 项目类别:Standard GrantStandard Grant
Competing charge, spin, and molecular lattice interactions lead to quantum glass phases in strongly correlated pi-electron systems
竞争性电荷、自旋和分子晶格相互作用导致强相关π电子系统中的量子玻璃相
- 批准号:23H0111423H01114
- 财政年份:2023
- 资助金额:$ 30万$ 30万
- 项目类别:Grant-in-Aid for Scientific Research (B)Grant-in-Aid for Scientific Research (B)