21 citations · 54 across the 18 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LG2021★ 10 cited
Bayesian Framework for Gradient Leakage
Mislav Balunović, Dimitar I. Dimitrov, Robin Staab +1
Federated learning is an established method for training machine learning models without sharing training data. However, recent work has shown that it cannot guarantee data privacy…
cs.LG2021
Shared Certificates for Neural Network Verification
Marc Fischer, Christian Sprecher, Dimitar I. Dimitrov +2
Existing neural network verifiers compute a proof that each input is handled correctly under a given perturbation by propagating a symbolic abstraction of reachable values at each…