Tetsuya Sato

1. Graded Hoare Logic and its Categorical Semantics
   2020/07/22 by Marco Gaboardi, Gaboardi, Marco, Shin-ya Katsumata +5 · 1 citation
   Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Formal Methods in Verification
2. 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