<p>Currently I'm in the process of finishing my master thesis on the topic of Bitcoin security, and I know there is one more person making a similar master thesis. While it might not be as in-depth of an analysis as a professional cryptography expert might perform, it should be fairly extensive.</p>

<p>Over the course of working on the subject I haven't found any article more comprehensive than the <a href="https://en.bitcoin.it/wiki/Weaknesses" rel="nofollow">Bitcoin wiki page on Weaknesses</a> of Bitcoin. A lot of problems have been covered in depth on this Stackexchange, as well as some topics on the Bitcoin forum.</p>

<p>EDIT:</p>

<p>My master thesis is available to read in <a href="https://bitcointalk.org/index.php?topic=88149.0" rel="nofollow">this thread</a> on the Bitcoin forum. It covers a wide analysis of many aspects of Bitcoin, from its cryptography algorithms, through the protocol, the standard client, Bitcoin-related applications, and even users' behaviours. I hope that answers your question better.</p>

CC BY-SA 3.0
2012-05-06T20:31:57.930Z
2012-06-17T22:55:49.580Z
2012-06-17T22:55:49.580Z
ThePiachu
<p>I found those really reasonable papers, wish it will help:</p>

<p><a href="https://sites.google.com/site/2ndbtcwpaper/2ndBitcoinWhitepaper.pdf" rel="nofollow">https://sites.google.com/site/2ndbtcwpaper/2ndBitcoinWhitepaper.pdf</a></p>

<p>Reid, F., &amp; Harrigan, M. (2011). An Analysis of Anonymity in the Bitcoin System. Network, 1318-1326.</p>

<p>Laurie, B. (2011). Decentralised Currencies Are Probably Impossible But Let ’ s At Least Make Them Efficient, 0100.</p>

<p>I am also doing my master degree to adapt Bitcoin in CO2 trading,security and privacy are my main focus in that perspective</p>

CC BY-SA 3.0
2012-05-08T20:26:53.423Z
2012-05-08T20:26:53.423Z
Yasmin Dahab
<p>I was wondering if there is any in depth (with formal theorems) analysis of the security of the Bitcoin system. </p>

<p>The analysis in the original paper by Nakamoto is quite empirical and not that formal. I would love to see a detailed statement of what the actual assumptions for Bitcoin security are and what these assumptions imply about the security related to the "corruption" of the block chain and double spending problems. </p>

<p>I can deduce the respective theorems from Nakamoto's security analysis but I am not an expert in this area and there could be some hidden assumptions/implications I could overlook. </p>

<p>So I am wondering if someone else already tried to do a formal and detailed analysis of the  security aspects of Bitcoin perhaps in the same manner as some textbook treat other cryptographic applications?</p>

<security><architecture>
Formal security analysis of Bitcoin
user1338
# Formal security analysis of Bitcoin

(Asked by: username_0 on 2012-05-06)

I was wondering if there is any in depth (with formal theorems) analysis of the security of the Bitcoin system.

The analysis in the original paper by Nakamoto is quite empirical and not that formal. I would love to see a detailed statement of what the actual assumptions for Bitcoin security are and what these assumptions imply about the security related to the "corruption" of the block chain and double spending problems.

I can deduce the respective theorems from Nakamoto's security analysis but I am not an expert in this area and there could be some hidden assumptions/implications I could overlook.

So I am wondering if someone else already tried to do a formal and detailed analysis of the security aspects of Bitcoin perhaps in the same manner as some textbook treat other cryptographic applications?

**Tags:** security, architecture


---

## 2 answers

### Answer by username_1 on 2012-05-06. Score: 7

Currently I'm in the process of finishing my master thesis on the topic of Bitcoin security, and I know there is one more person making a similar master thesis. While it might not be as in-depth of an analysis as a professional cryptography expert might perform, it should be fairly extensive.

Over the course of working on the subject I haven't found any article more comprehensive than the [Bitcoin wiki page on Weaknesses](https://en.bitcoin.it/wiki/Weaknesses) of Bitcoin. A lot of problems have been covered in depth on this Stackexchange, as well as some topics on the Bitcoin forum.

EDIT:

My master thesis is available to read in [this thread](https://bitcointalk.org/index.php?topic=88149.0) on the Bitcoin forum. It covers a wide analysis of many aspects of Bitcoin, from its cryptography algorithms, through the protocol, the standard client, Bitcoin-related applications, and even users' behaviours. I hope that answers your question better.


---

### Answer by username_2 on 2012-05-08. Score: 4

I found those really reasonable papers, wish it will help:

<https://sites.google.com/site/2ndbtcwpaper/2ndBitcoinWhitepaper.pdf>

Reid, F., & Harrigan, M. (2011). An Analysis of Anonymity in the Bitcoin System. Network, 1318-1326.

Laurie, B. (2011). Decentralised Currencies Are Probably Impossible But Let ’ s At Least Make Them Efficient, 0100.

I am also doing my master degree to adapt Bitcoin in CO2 trading,security and privacy are my main focus in that perspective


---

