As a part of my degree as Masters in Science in Computer science I wrote my masters thesis on the subject of formalizing differential privacy.

The outcome what a thesis report and a thesis site.