The Signal Protocol used by 1+ billion people is getting a post-quantum makeover – Ars Technica