All Stories

  1. Verification of Privacy-Enhanced Collaborations

    Article • September 2020, ACM (Association for Computing Machinery)

    Barbara Re, Sara Belluccini, Marlon Dumas