vix.ing
·
top
·
new
·
best
·
stats
·
spec
Yasuhiko Minamide
Formalization of Differential Privacy in Isabelle/HOL
2024/10/20 by
Tetsuya Sato
,
Sato, Tetsuya
,
Yasuhiko Minamide
+1 · 1 citation
Computer Science
·
#Privacy-Preserving Technologies in Data
#Cellular Automata and Applications