@techreport{weko_217866_1,
   author	 = "斎藤,文弥 and 高野,祐輝 and 宮地,充子",
   title	 = "Coqで検証可能なTEEシェル基盤の実装",
   year 	 = "2022",
   institution	 = "大阪大学, 株式会社ティアフォー, 大阪大学／北陸先端科学技術大学院大学",
   number	 = "8",
   month	 = "may"
}