search menu icon-carat-right cmu-wordmark

Our Latest on Blockchain: A More Secure Programming Language and Next Steps

This September 4, 2018 SEI Bulletin talks about a new blog post written by Eliezer Kanal, a technical manager and researcher in CERT's Cyber Security Foundations group.

Software Engineering Institute


Eliezer Kanal describes a new programming language, Obsidian, that the SEI is developing in partnership with Carnegie Mellon University (CMU) to write secure smart contracts in blockchain platforms.