All Stories

  1. CryptoBap: A Binary Analysis Platform for Cryptographic Protocols

    Article • November 2023, ACM (Association for Computing Machinery)

    Faezeh Nasrabadi, Robert Künnemann