The National Science Foundation has awarded query grants on the scientific discipline in addition to applications of crypto-currency, amongst simply about $1 1000000 awarded to date. The NSF first is usage of the “Secure in addition to Trustworthy Cyberspace” programme for cybersecurity query in addition to evolution to minimize the dangers of cyber technology, promote instruction in addition to preparation inwards cybersecurity, flora a scientific discipline of cybersecurity in addition to convert promising cybersecurity query into practice.
The NSF grant has been awarded to Emin Sirer at Cornell University (grant information here), Elaine Shi, Michael Hicks, Jonathan Katz in addition to David Van Horn at the University of Maryland (grant information here), in addition to Dawn Song at the University of California-Berkeley (grant information here).
Emin Sirer, an associate professor of calculator scientific discipline at Cornell University, researches operating systems, networking in addition to distributed systems. His electrical current projects require a novel secure operating organization in addition to organization infrastructure for high-performance cloud computing applications.
“We programme to investigate the cardinal principles of cryptocurrency protocols, develop programming linguistic communication back upward for smart contracts, in addition to open-source secure systems infrastructure for cryptocurrency services, such every bit exchanges,” Sirer told CoinTelegraph inwards reference to the NSF grant.
Elaine Shi, an assistant professor of calculator scientific discipline at the University of Maryland Institute for Advanced Computer Studies in addition to the Maryland Cybersecurity Center, in addition to the main investigator for the largest NSF grant at the University of Maryland, launched the world’s start undergraduate laboratory course of written report that combines “smart” contracts – calculator programs that tin automatically execute the damage of a contract – in addition to cryptocurrency.
“Smart contracts volition shape the futurity of our fiscal transactions in addition to e-commerce,” Shi said later on the laboratory course. “They send out high-value fiscal transactions, then their safety is peculiarly important. We learned many lessons from this lab, including it is really tricky to write a rubber cryptocurrency contract.”
“We believe that our query tin assist flora cryptocurrency every bit a prominent query area, in addition to brand a large behave upon inwards shaping the futurity of fiscal transactions in addition to e-commerce,” Shi told CoinDesk referring to the NSF grant.
Dawn Song, a professor of calculator scientific discipline at U.C. Berkeley, researches safety in addition to privacy issues inwards calculator systems in addition to networks, including software security, networking security, database security, distributed systems security, in addition to applied cryptography.
The NSF projection wants to flora a rigorous scientific foundation for cryptocurrencies past times leveraging cryptography, game theory, programming languages in addition to systems safety techniques. Expected outcomes include novel cryptocurrency designs amongst provable safety properties, financially enforceable cryptographic protocols whose safety properties are backed past times enforceable payments inwards illustration of a breach, smart contract systems that are tardily to programme in addition to formally verifiable, likewise every bit high-assurance systems for storing in addition to treatment high-value cryptocurrencies in addition to transactions.
This is 1 of the start large query grants on digital currencies awarded past times a government. Earlier this year, the Great Britain authorities launched a novel query initiative to convey together the Research Councils, Alan Turing Institute in addition to Digital Catapult amongst manufacture inwards gild to address the query opportunities in addition to challenges for digital currency technology, in addition to decided to growth query funding inwards this expanse past times £10 1000000 ($14.6 1000000 USD).
