Search form

You are here

Home » News » This Yale Technology Could Fix Blockchain’s Security Issues and Make It a Lot More Viable

This Yale Technology Could Fix Blockchain’s Security Issues and Make It a Lot More Viable

March 8, 2018

“A lot of people are excited about blockchain not because of the money they can make, but because they believe in a decentralized community,” says Zhong Shao, Thomas L. Kempner Professor of Computer Science at Yale, who has spent the past 20 years developing certified software that relies on mathematical proofs, and who has, in recent years, developed what many in the programming community thought was impossible – a certified operating system known as CertiKOS.