MISC

2025年1月

Formal Verification of IND-CPA Security of HQC in EasyCrypt

2025年 暗号と情報セキュリティシンポジウム（SCIS2025)
  • Yamato Umemura
    • ,
  • Msanori Hirotomo
    • ,
  • Makoto Takita
    • ,
  • Shohei Kakei
    • ,
  • Hiroki Kuzuno
    • ,
  • Masami Mohri
    • ,
  • Yoshiaki Shiraishi
記述言語
英語
掲載種別
記事・総説・解説・論説等（国際会議プロシーディングズ）
エクスポート
BibTeX RIS
MISCリストへ