The recent ability for video conferencing platform Zoom to offer end-to-end encryption to its paying customers was made possible with the help of a cutting edge research project from Europe. The new proprietary encryption protocol has been verified using the open source formal verification software Verifpal, which was developed in France with funding from the Next Generation Internet initiative. Until recently, such verification would have taken much longer to complete.
