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?