rene_mobile’s avatarrene_mobile’s Twitter Archive—№ 2,249

  1. @wire protocol implementation review didn't reveal major issues (x41-dsec.de/reports/Kudelski-X41-Wire-Report-phase1-20170208.pdf), backing my current preference for Rust.
    1. …in reply to @rene_mobile
      @wire one potential further step to complete the chain: formal analysis of Proteus spec diff vs. Signal to build on eprint.iacr.org/2016/1013.pdf?