Writing secure Smart Contracts in Solidity?

Question

With the DAO hack, it becomes even more important for developers to write secure smart contracts and be aware of pitfalls. Are there any good reference points/links which can describe the best practices around security of Solidity based Smart Contracts?

Answer 1

This answer is a wiki that's editable by the community (add and explain as needed.)

Thinking About Smart Contract Security - Vitalik Buterin 2016-06-19

https://blog.ethereum.org/2016/06/10/smart-contract-security

http://hackingdistributed.com/2016/06/16/scanning-live-ethereum-contracts-for-bugs

https://github.com/LeastAuthority/ethereum-analyses/blob/master/GasEcon.md

http://martin.swende.se/blog/Devcon1-and-contract-security.html

http://www.kingoftheether.com/postmortem.html

How can I debug a smart contract?

http://www.blunderingcode.com/writing-secure-solidity/

https://github.com/ConsenSys/smart-contract-best-practices