GitHub repository: JanAhrens/threema-protocol-analysis
Primary language: TeX
Description: "Threema protocol analysis" paper (including LaTeX sources)