@techreport{weko_227080_1,
   author	 = "奥田,哲矢 and 中林,美郷 and 堀之内,謙一 and 岡崎,智行 and 小林,鉄太郎 and 山村,和輝 and 宮澤,俊之 and 福永,利徳",
   title	 = "秘匿情報を格納する変数のProof-Carrying Codeを用いた追跡と安全性評価",
   year 	 = "2023",
   institution	 = "NTT社会情報研究所, NTT社会情報研究所, テクニカルジャパン, NTTテクノクロス, NTTテクノクロス, NTT社会情報研究所, NTT社会情報研究所, NTT社会情報研究所",
   number	 = "3",
   month	 = "jul"
}