- Formal Verification of Smart Contracts, a paper from Microsoft Research, Inria and Harvard http://research.microsoft.com/en-us/um/people/nswamy/papers/solidether.pdf 12 comments ethereum
Linking pages
- The History of the DAO and Lessons Learned | by Christoph Jentzsch | slock.it Blog https://blog.slock.it/the-history-of-the-dao-and-lessons-learned-d06740f8cfa5 30 comments
- Building a better blockchain – The Internet Health Report https://internethealthreport.org/v01/stories/building-a-better-blockchain/ 6 comments
- On Tokens and Crowdsales: 4 Challenges and How to Tackle Them | by Demian Brener | Zeppelin Blog | Medium https://medium.com/zeppelin-blog/on-tokens-and-crowdsales-4-challenges-and-how-to-tackle-them-16be887adf5f#.bre4spb9h 0 comments
Related searches:
Search whole site: site:research.microsoft.com
Search title: Nikhil Swamy at Microsoft Research
See how to search.