Towards formal verification of differential privacy in Isabelle/HOL | Science Tokyo Research Repository (T2R2)

Publication Information

Title

Japanese:
English:	Towards formal verification of differential privacy in Isabelle/HOL

Author

Japanese:	佐藤哲也.
English:	Tetsuya Sato.

Language

English

Journal/Book name

Japanese:
English:

Volume, Number, Page

Published date

Nov. 2023

Publisher

Japanese:
English:

Conference name

Japanese:
English:	8th Franco-Japanese Cybersecurity Workshop

Conference site

Japanese:
English:	Bordeaux

Official URL

https://fj-cybersec2023.sciencesconf.org/?forward-action=index&forward-controller=index&lang=en

©2007 Institute of Science Tokyo All rights reserved.