Digital Library

Topics: Secure Coding

Authors: Eliezer Kanal, Michael Coblenz (Carnegie Mellon School of Computer Science)

Eliezer Kanal and Michael Coblenz discuss the creation of Obsidian, a novel programming language specifically tailored to secure blockchain software development that significantly reduces the risk of coding errors.

Topics: Secure Coding

Authors: Eliezer Kanal, Michael Coblenz (Carnegie Mellon School of Computer Science)

Presentation on research by CMU and SEI to develop a novel programming language for secure blockchain software development

Topics: Secure Coding

Authors: Eliezer Kanal, Michael Coblenz (Carnegie Mellon School of Computer Science)

Poster on research by CMU and SEI to create a novel programming language for safer blockchain software development

Topics: Secure Coding

Authors: Samuel M. Weber, Brad Myers, Forrest Shull, Robert C. Seacord, Michael Coblenz (Carnegie Mellon School of Computer Science), Joshua Sunshine (Institute for Software Research), David Keaton

In this presentation, the authors describe their work to develop and test API design principles.

Topics: Secure Coding

Authors: Brad Myers, Samuel M. Weber, Robert C. Seacord, Michael Coblenz (Carnegie Mellon School of Computer Science), David Keaton, Forrest Shull, Joshua Sunshine (Institute for Software Research), Robert Schiela

In this poster, the authors analyze the usability of application programming interface design.

Topics: Secure Coding

Authors: Michael Coblenz (Carnegie Mellon School of Computer Science), Robert C. Seacord, Brad Myers, Joshua Sunshine (Institute for Software Research), Jonathan Aldrich

In this paper, the authors compare Cilk Plus and OpenMP to evaluate the design tradeoffs in the usability and security of these two approaches.