概要
概要
研究
リーダーシップ
メディア
製品
コミュニティ
概要
ブログ
Essential Cardano
Catalyst
採用情報
お問い合わせ
English
日本語
日本語
IOHK |
ライブラリー
概要
ライブラリー
ライブラリー
>
Miguel Ambrona
Miguel Ambrona
Block Ciphers in Idealized Models: Automated Proofs and New Security Results
Miguel Ambrona,
Pooya Farshim,
Patrick Harasser
October 2024, ACM CCS '24