25 citations · 35 across the 6 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LG2020★ 2 cited
Fast Geometric Projections for Local Robustness Certification
Aymeric Fromherz, Klas Leino, Matt Fredrikson +2
Local robustness ensures that a model classifies all inputs within an -ball consistently, which precludes various forms of adversarial inputs. In this paper, we present a f…
cs.CR2020★ 25 cited
Talek: Private Group Messaging with Hidden Access Patterns
Raymond Cheng, William Scott, Elisaweta Masserova +5
Talek is a private group messaging system that sends messages through potentially untrustworthy servers, while hiding both data content and the communication patterns among its use…