Security Analysis of a Closed-Source Signal Protocol Implementation - João Diogo Gaspar Alves (2018)