infosec-handbook.eu"A Formal Security Analysis of the Signal Messaging Protocol", Extended Version November 2017 (University of Oxford, MacMaster University)
Bobinas P4G is a social network. It runs on GNU social, version 2.0.1-beta0, available under the GNU Affero General Public License.
All Bobinas P4G content and data are available under the Creative Commons Attribution 3.0 license.