Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Michael Coblenz (Carnegie Mellon School of Computer Science)
May 2018 - Podcast Obsidian: A Safer Blockchain Programming Language

Topics: Secure Coding

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.

October 2017 - Presentation Obsidian - A Safer Blockchain Programming Language

Topics: Secure Coding

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

October 2017 - Poster Obsidian - A Safer Blockchain Programming Language

Topics: Secure Coding

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

May 2015 - Conference Paper A Course-Based Usability Analysis of Cilk Plus and OpenMP

Topics: Secure Coding

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