Department of Computer Science & Engineering
Dr. Juan Garay, author of “The Bitcoin Backbone Protocol: Analysis and Applications” – which was among CoinDesk’s top 10 cryptocurrency research papers of 2015 – is focused on understanding the fundamental properties of blockchain data structure and protocol. Blockchain serves as the core of the virtual currency bitcoin.
“My work was the first to formally define this, analyze it and prove the basic properties of the underlying data structure.”
— Dr. Juan Garay, Professor
“It is called a protocol because it is a collection of programs, one for each participant,” Garay says. “There are multiple participants that perform so-called ‘proofs of work’ and exchange messages. My work was the first to formally define this, analyze it and prove the basic properties of the underlying data structure.”

Garay’s research focuses on the specification and contrast of computational models on which blockchain protocols are run, together with the required trusted setup and computational assumptions and the cryptographic tools that enable their operation.
Read the original story about Dr. Garay’s research.