All Stories

  1. A scalable approach to verify complete vehicle software

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

    Di Ma, Robert Kaster

  2. Hybrid de-anonymization across real-world heterogeneous social networks

    Article • May 2017, ACM (Association for Computing Machinery)

    Di Ma

  3. Identity-Set-based Broadcast Encryption supporting "Cut-or-Select" with Short Ciphertext

    Article • April 2015, ACM (Association for Computing Machinery)

    Di Ma