Academic Proof of Work Publications

MathematicsProof of Work is a kind of network algorithm to secure networks. It was central to Satoshi Nakamoto’s original bitcoin proposal as a way to bring trust among an inherently adversarial environment. There are several forms of algorithms to do proof of work using hashing that is cryptographically difficult to generate but easy to verify. Most proof of work systems try to find a hash of a particular set of data that matches a certain pattern, such as several leading zeros. Proof of work has ties to cryptography, public key encryption, and elliptic curves. Publications below must be assigned a Digital Object Identifier to be presented in this list. Last updated November 19th, 2017.

  1. Minimal work principle: Proof and counterexamples“. A. E. Allahverdyan, Th. M. Nieuwenhuizen. 2005. American Physical Society (APS) Physical Review E. Journal Article.
  2. The proof is in the pudding: Putting Actor-Network-Theory to work in medical education“. Alan Bleakley. 2012. Informa UK Limited Medical Teacher. Journal Article.
  3. Secure implementation experiments: Do strategy-proof mechanisms really work?“. Timothy N. Cason, Tatsuyoshi Saijo, Tomas Sjöström, Takehiko Yamato. 2006. Elsevier BV Games and Economic Behavior. Journal Article.
  4. Proof of Activity“. Iddo Bentov, Charles Lee, Alex Mizrahi, Meni Rosenfeld. 2014. Association for Computing Machinery (ACM) ACM SIGMETRICS Performance Evaluation Review. Journal Article.
  5. Gentzen’s Proof Systems: Byproducts in a Work of Genius“. Jan von Plato. 2012. Cambridge University Press (CUP) Bulletin of Symbolic Logic. Journal Article.
  6. The Quest for Scalable Blockchain Fabric: Proof-of-Work vs. BFT Replication“. Marko Vukolić. 2016. Springer International Publishing Open Problems in Network Security. Book Chapter.
  7. A Proof Dedicated Meta-Language1 1This work has been realized within the LogiCal project (INRIA-Rocquencourt, France).“. David Delahaye. 2002. Elsevier BV Electronic Notes in Theoretical Computer Science. Journal Article.
  8. Cryptocurrencies Without Proof of Work“. Iddo Bentov, Ariel Gabizon, Alex Mizrahi. 2016. Springer Berlin Heidelberg Financial Cryptography and Data Security. Book Chapter.
  9. Influence of work material proof stress and tool steel microstructure on galling initiation and critical contact pressure“. Patrik Karlsson, Pavel Krakhmalev, Anders Gåård, Jens Bergström. 2013. Elsevier BV Tribology International. Journal Article.
  10. AfterMath: The Work of Proof in the Age of Human–Machine Collaboration“. Stephanie Dick. 2011. University of Chicago Press Isis. Journal Article.
  11. Asylum-Seekers’ Perspectives on Work and Proof of Identity: The Norwegian Experience“. M. Valenta, K. Thorshaug. 2012. Oxford University Press (OUP) Refugee Survey Quarterly. Journal Article.
  12. Between Values and Science: Education for the Profession during a Moral Crisisoris Proof Truth?“. Joseph L. Vigilante. 1974. Informa UK Limited Journal of Education for Social Work. Journal Article.
  13. Can We Afford Integrity by Proof-of-Work? Scenarios Inspired by the Bitcoin Currency“. Jörg Becker, Dominic Breuker, Tobias Heide, Justus Holler, Hans Peter Rauer, Rainer Böhme. 2013. Springer Berlin Heidelberg The Economics of Information Security and Privacy. Book Chapter.
  14. Experimentation and Proof in Mathematics“. Michael de Villiers. 2009. Springer US Explanation and Proof in Mathematics. Book Chapter.
  15. Explaining Gentzen’s consistency proof within infinitary proof theory“. Wilfried Buchholz. 1997. Springer Berlin Heidelberg Lecture Notes in Computer Science. Book Chapter.
  16. Proof Pearl: De Bruijn Terms Really Do Work“. Michael Norrish, René Vestergaard. 2007. Springer Berlin Heidelberg Lecture Notes in Computer Science. Book Chapter.
  17. Proof Theory at Work: Program Development in the Minlog System“. Benl, Berger, Schwichtenberg, Seisenberger, Zuber. 1998. Springer Netherlands Applied Logic Series. Book Chapter.
  18. The roles of proof and concern in the work of the Royal Commission on Environmental Pollution“. T.R.E Southwood. 1985. Elsevier BV Marine Pollution Bulletin. Journal Article.
  19. Typed ?-calculus at work: A correctness proof of Jones’s parallelisation transformation on concurrent objects“. Davide Sangiorgi. 1999. Wiley-Blackwell Theory and Practice of Object Systems. Journal Article.
  20. Do You Get What You Pay For? Using Proof-of-Work Functions to Verify Performance Assertions in the Cloud“. Falk Koeppe, Joerg Schneider. 2010. IEEE 2010 IEEE Second International Conference on Cloud Computing Technology and Science. Proceedings Article.
  21. Mitigating denial of service attack using proof of work and Token Bucket Algorithm“. A K Pandey, C Pandu Rangan. 2011. IEEE IEEE Technology Students’ Symposium. Proceedings Article.
  22. Superdeduction at Work“. Paul Brauner, Clément Houtmann, Claude Kirchner. 2007. Springer Berlin Heidelberg Rewriting, Computation and Proof. Book Chapter.
  23. Why Proof? What is a Proof?“. Carlo Celluci. 2008. Springer Milan Deduction, Computation, Experiment. Book Chapter.
  24. A PROOF THAT ESSERGY IS THE ONLY CONSISTENT MEASURE OF POTENTIAL WORK (FOR CHEMICAL SYSTEMS)“. Robert B. Evans. 1969. Defense Technical Information Center . Report.
  25. Historical Artefacts, Semiotic Mediation and Teaching Proof“. Maria G. Bartolini Bussi. 2009. Springer US Explanation and Proof in Mathematics. Book Chapter.
  26. mod_kaPoW“. Ed Kaiser, Wu chang Feng. 2007. ACM Press Proceedings of the 2007 ACM CoNEXT conference on – CoNEXT ’07. Proceedings Article.
  27. Physical Proof of the Formation of Free Radicals: the Work of Isao Yamazaki“. Nicole Kresge, Robert D. Simoni, Robert L. Hill. 2010. American Society for Biochemistry & Molecular Biology (ASBMB) Journal of Biological Chemistry. Journal Article.
  28. Proof, Mathematical Problem-Solving, and Explanation in Mathematics Teaching“. Kazuhiko Nunokawa. 2009. Springer US Explanation and Proof in Mathematics. Book Chapter.
  29. Proof-of-Work as Anonymous Micropayment: Rewarding a Tor Relay“. Alex Biryukov, Ivan Pustogarov. 2015. Springer Berlin Heidelberg Financial Cryptography and Data Security. Book Chapter.
  30. Social Proof Structures: The Dialectic of Method and Theory in the Work of Psychology“. SHELDON H. WHITE. 1977. Elsevier Life-Span Developmental Psychology. Book Chapter.
  31. VDM proof obligations and their justification“. C. B. Jones. 1987. Springer Berlin Heidelberg VDM ’87 VDM — A Formal Method at Work. Book Chapter.
  32. ‘Proof’, ‘Theory’, and ‘Foundations’ in Hilbert’s Mathematical Work from 1885 to 1900“. Vito Michele Abrusci. 1981. Springer Netherlands Italian Studies in the Philosophy of Science. Book Chapter.
  33. A New Finitary Proof of a Theorem of Mostowski“. Timothy B. Flannagan. 1976. Elsevier Sets and Classes on The Work by Paul Bernays. Book Chapter.
  34. A new proof-of-work mechanism for bitcoin“. Ning Shi. 2016. Springer Nature Financial Innovation. Journal Article.
  35. An (Almost) Constant-Effort Solution-Verification Proof-of-Work Protocol Based on Merkle Trees“. Fabien Coelho. 2008. Springer Berlin Heidelberg Progress in Cryptology – AFRICACRYPT 2008. Book Chapter.
  36. Applied Proof Theory: Proof Interpretations and Their Use in Mathematics“. . 2008. Springer Berlin Heidelberg Springer Monographs in Mathematics. Book.
  37. Bitcoin Message: Data Insertion on a Proof-of-Work Cryptocurrency System“. Matthew D. Sleiman, Adrian P. Lauf, Roman Yampolskiy. 2015. IEEE 2015 International Conference on Cyberworlds (CW). Proceedings Article.
  38. Fair overload handling using proof-of-work functions“. S. Golze, G. Muhl. 2006. IEEE International Symposium on Applications and the Internet (SAINT’06). Proceedings Article.
  39. Helping TicketMaster: Changing the Economics of Ticket Robots with Geographic Proof-of-Work“. Edward Kaiser, Wu-chang Feng. 2010. IEEE 2010 INFOCOM IEEE Conference on Computer Communications Workshops. Proceedings Article.
  40. Integrating Algebra and Proof in High School: Students’ Work with Multiple Variables and a Single Parameter in a Proof Context“. Mara V. Martinez, Alison Castro Superfine. 2012. Informa UK Limited Mathematical Thinking and Learning. Journal Article.
  41. mod kaPoW: Protecting the web with transparent proof-of-work“. Ed Kaiser, Wu-chang Feng. 2008. IEEE IEEE INFOCOM 2008 – IEEE Conference on Computer Communications Workshops. Proceedings Article.
  42. Narrating a Different (Hi)Story“. Dorothee Klein. 2015. Informa UK Limited Interventions. Journal Article.
  43. New Proof Makes Light Work Of Partial Latin Squares“. B. Cipra. 1994. American Association for the Advancement of Science (AAAS) Science. Journal Article.
  44. Program Development by Proof Transformation“. Ulrich Berger, Helmut Schwichtenberg. 1995. Springer Berlin Heidelberg Proof and Computation. Book Chapter.
  45. Proof complexity generators: conjectures“. Jan Krajicek. 2011. Cambridge University Press Forcing with Random Variables and Proof Complexity. Book Chapter.
  46. The Conjoint Origin of Proof and Theoretical Physics“. Hans Niels Jahnke. 2009. Springer US Explanation and Proof in Mathematics. Book Chapter.
  47. The Proof Is in the Pudding“. W. H. Hudson. 1986. Oxford University Press (OUP) Social Work Research and Abstracts. Journal Article.
  48. When Proof of Work Works“. Debin Liu, L. Jean Camp. 2006. Elsevier BV SSRN Electronic Journal. Journal Article.
  49. Why does the proof-theory of hybrid logic work so well?“. Torben Braüner. 2007. Informa UK Limited Journal of Applied Non-Classical Logics. Journal Article.

Leave a Reply

This site uses Akismet to reduce spam. Learn how your comment data is processed.