jaber-the-great / Seagull-Network-verification

Repository of Large scale privacy preserving network verification
0 stars 0 forks source link

Seagull: Privacy Preserving Network Verification

Contributors:

Mentor: Jaber Daneshamooz Mentees: Melody Yu, Sucheer Maddury

About the project:

Melody Yu and Sucheer joined the ongoing project "Seagull, Privacy Preserving Network Verification" as part of Research Mentorship Program (RMP) at UCSB in a 6 week program.

Presentations:

  1. RMP project pitch
  2. 2022 presentation