Google DeepMind formally verifies part of Signal protocol — Ars Technica UA.NEWS