@misc{cryptoeprint:2015:469, author = {Andrew Miller and Rob Jansen}, title = {Shadow-Bitcoin: Scalable Simulation via Direct Execution of Multi-threaded Applications}, howpublished = {Cryptology ePrint Archive, Report 2015/469}, year = {2015}, url = {https://eprint.iacr.org/2015/469}, }