Michael Coblenz (Carnegie Mellon School of Computer Science)
Carnegie Mellon School of Computer Science
Publications by Michael Coblenz (Carnegie Mellon School of Computer Science)
-
Obsidian: A Safer Blockchain Programming Language
May 10, 2018 • Podcast
Eliezer KanalMichael 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.
learn more -
Obsidian - A Safer Blockchain Programming Language
October 30, 2017 • Presentation
Eliezer KanalMichael 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
read -
Obsidian - A Safer Blockchain Programming Language
October 30, 2017 • Poster
Eliezer KanalMichael 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
read -
Empirical Evaluation of API Usability and Security
May 20, 2015 • Presentation
Samuel M. WeberBrad MyersForrest Shull
In this presentation, the authors describe their work to develop and test API design principles.
read -
TWC: Small: Empirical Evaluation of the Usability and Security Implications of Application Programming Interface Design
May 20, 2015 • Poster
Brad MyersSamuel M. WeberRobert C. Seacord
In this poster, the authors analyze the usability of application programming interface design.
read -
A Course-Based Usability Analysis of Cilk Plus and OpenMP
May 20, 2015 • Conference Paper
Michael Coblenz (Carnegie Mellon School of Computer Science)Robert C. SeacordBrad Myers
In this paper, the authors compare Cilk Plus and OpenMP to evaluate the design tradeoffs in the usability and security of these two approaches.
read