2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2024
Formalization of Differential Privacy in Isabelle/HOL
Tetsuya Sato, Yasuhiko Minamide
Differential privacy is a statistical definition of privacy that has attracted the interest of both academia and industry. Its formulations are easy to understand, but the differen…
cs.FL2016★ 2 cited
Weighted Pushdown Systems with Indexed Weight Domains
Yasuhiko Minamide
The reachability analysis of weighted pushdown systems is a very powerful technique in verification and analysis of recursive programs. Each transition rule of a weighted pushdown…