26,757 followers BlackPhysicists @BlackPhysicists Formal Verification for KMB09 Protocol https://t.co/ZlNBKG0yxr via @SpringerPhysics https://t.co/J3VGgPOTpJ 05 Aug 2019 Reply Repost Favourite