こんにちは、私は千ノリホスヤマダですNTTと名古屋大学です。このコントローコンはHMACとNMACのコントローコンランダムオラゴムモデルのタイトルセトリーです。このコントローコンはTetsu Iwataのマーシーパーファイザーです。まず、私はバックグランドとサマリーの結果を説明します。クリプトロジー・メッセージ・オータイン・シチュレーションコードのマックスは最も基本や重要なプリミティブです。プラクティクルマックスの様々な種類があります。例えば、ブロックサイファベースのマックスはCBCMACとPMACです。そして、ウェグマンカーターコンスラクションとポルノミエルハッシュのコンビネーションは、ZCMACと41305となっています。そして、ハッシュベースのマックスは、HMACとNMACとティグスポンジコンスラクションとなっています。次に、HMACとNMACのフォーカスです。HMACやハッシュベースのマックスはこのように見えます。このマックスは最も基本なアプローチをコンファートマークルダンガのハッシュファクションをマックスしています。このマックスはフィップスでスタンダードしています。そして、多くのアプリケーションが使用されています。TLS、SSH、IPSec、 etc。そして、HMACは、C、K、Kを選択しています。2T、K、K、Koutをコンピュータにしています。ここで、IPATとOPATのコンファートマークルダンガのハッシュファクションをマックスしています。そして、M、1、K、K、K、M、マックスをコンファートマークルダンガのハッシュファクションにしています。そして、2T、K、K、K、上グルンダーファクションにしています。それぞれのマックスをコンファートマークルダンガのハッシュファクションにしています。このマックスとNMACの湿着の Region、もちろんMACに見えると、このコンファクションに研究されるのは、2種の謎等にこの些找合 moving forward shapeをちょっと意味の策硬な言う Perexで行うMACとNMACのnellenet WORlearningのウェイト fontの次に、クラスクルセットリングのセットリングをHMAC&NMACとして勉強しています。クラスクルセットリングのタイプセットリングは2-2Nover2です。HMAC&NMACはランダムのファンクションの2-2Nover2クラスクルクリースにを解説します。コントロールのセットリングはSong&Uを解説します。HMAC&NMACは2-2Nover5、2-8Nover2クリースに解説します。さらに、TrivialアタックがHMAC&NMACのランダムファンクションで2-2Nover3クラスクルクリースにを解説します。実際、Row&Trivial&Up&Downを解説します。シンメトリクリクリプトロジーとして、シンメトリクリクリメティブのタイトバウンドを勉強しています。自然の質問は、タイトコントロールセットリングのBoundのHMAC&NMACを解説します。このスターティングのスターティングのリサーチのGiz Resultsを解説します。タイトコントロールセットリングBoundのHMAC&NMACを解説します。コンプレッションファンクションHMAC&NMACはコンプレッションファンクションのランダムファンクションとコンプレッションファンクションのタイトバウンドのクリプトロールセットリングです。ここで、コンプレッションファンクションののMAC&NMACが最も濃厚でした。このバウンドは濃厚的にタイトバウンドのタイトバウンドは大きくないです。、この文化について、所謂の上のアルバムは非必要だ、この非常に低い表現で、これらの貴重な部分です。このアルバムは、今 アルバムは非必要だ。このアルバムは必要だ。こちらは、次に、私は、このプロフの観光を説明するために、私たちのプロフは、ゲームのシークエンスを考えます。ゲームG0の最初は、このように見えます。ここ、アドバーサリーは、コントモロコルのエルマックとコントモロコルのコンタモロコルのアクセスをしています。ここでは、このコントモロコルのメッセージは、マッセージは1ブロックメッセージです。ここには、そのインプルは2ブロックメッセージです。これとOTlesのセットブロックメッセージの差は3ブロックメッセージということです。そして、これは、このティ一些のファンクションと2レンダムファンクションを変更するためにこのゲームG1と呼ばれます。次に、このコンポジションF1とF2を変えます。このゲームG1と呼ばれます。次に、このコンポジションF1とF2を変えます。このゲームG2と呼ばれます。次に、このコンポジションF2とF2を変えます。このゲームG2と呼ばれます。次に、このゲームG3とG3とG4とG4と呼ばれます。次に、このコンポジションF1とF2を変えます。次に、このコンポジションF1とG4を変えます。次に、このゲームNGのGLと記�の角度がまた兩個讲再と火掉となれます。これが最難的なパートのんになります。最難的なパートが講独の性 característicaとDiger、Andger� Даしいんですねね。次に、クラスカルのセッティングについてお伺いします。このゲームのインディスティングシンバリファイトが難しいのです。ここで、アドバーサリーは2オラコーです。1. ディスファンクションです。2. コントムランダムオラコーです。1. オラコーはファイトファンクションです。2. オラコーはコントムランダムオラコーです。2. オラコーはディスティングシンバリファイトの2つです。3. オラコーはファイトファンクションです。2. ディスティングシェバリファイトの3つはアドバーサリーは右後本当の4つです。ここで、々のファイトを解決効果をリア時に使いましょう。3. 2のハニーそれでは、3. ディスティングシェバリファイトの2つディスティングシェバリファイトの7つという方法を待っています。4. ディスティングシェバリファイトの3つの2つです。正確な lg겠ちょっとことを就是說、3. ディスティングシェバリファイトの4つではある。この順序では、私は今のようにこれを学びます。これらの順序では、フランの私にも説明しています。そして次。このファンクションはとても間違いで、このバッテイベントをコールすることができるかもしれません。まず、このバッテイベントをコールすることができるかもしれません。このバレットは、前のインプット2Hについて説明します。クラスカルセットについて説明します。コールの可能性とヒットアウトモールの可能性が必要です。この可能性は、ファンクションを使うことができるかもしれません。このバッテイベントをコールすることができるかもしれません。このファンクションは、ファンクションを使うことができるかもしれません。この可能性っていうか、前のインプット2Hについて説明します。その時で大体に比べる可能性もあります。次のバッテイベントは、前のインプット2Hと2hに使っておいて上がることができるかもしれません。2日目のバッテイベントが、普通の仕事を合理すべきだと Anywayクラスカルセットにも、高尾的な技術を使って、2つのプロバビューを使って、2つのプロバビューを使って、2つのプロバビューを使って、次に、コンプレストオラゴーの技術を説明します。クラスカルセットのクリスは、クリスとの違いで、コンテンツセットにクリスを使って、コンテンツセットにも、クラスカルプロープの技術をコンテンツセットにのせてもいいと思います。しかし、2019年クリプトでテクニックを紹介したコンプレストオラゴーテクニックは、クラスカルセットの技術を描くために、サムエクステントの技術を使って、この技術を使って、コンプレストオラゴーの技術をコンプレストオラゴーでデータの技術、コンプレストオラゴーがäp position and the joint quantum states of the adversary and the overhaul look like this. Here, this one corresponds to the state of the adversary and this one corresponds to the state of the requal or the record of queries and answers.And, the compressed orc behaves like the classical lazy sampling to some extent.That's why when a fresh query x is made then the uniform 말 position of yこの辺りはデータベースについて 追加されていますこの辺りはとても正確な解説があるのですがコンプレストワークを 意識しているのではありません重要な点は sometimes records are forgotten or overwrittenこの辺りはクラスカルレーズ サンプリングでとても違っていますしかしこの辺りは必要です次にコンプレストワークを 説明します最初のアイデアは クラスカルプローフアイデアとコンプレストワークを 説明します非常に重要な点は アドバーサリーAとオラコーF1H H の間で データベースやアドバーサリーAのオラコーF2と這う コンプレストワークはバットと HITが これは常にどこかで playAメンバースリース実際に、ターミナルの可能性は、コントムセッティングで必要なのですが、しかし、シンプリスティーで、インタビューエクスパレーションで、コントムセッティングの可能性も必要なのです。次に、この可能性は、Fのランダムに使われているので、C-1に応じてつけたコンプレーションではないでしょう。でも2つのインタビューエクスパレーションではない件になるでしょう。このインタビューエクスパレーションの実際に、C-1のコントムランダムのリインが必要なのではないか、この再人のインタビューエクスパレーションとして、コントムセッティングで赤っては、クラスカルプローフの技術は コエフィニットHの技術ですそのためクラスカル技術は コエフィニットHの技術を確認することができますここで新しい技術が必要として バトウィンドの配置についてお聞きしますここで1つ目のお聞きします2つのバトウィンドの配置は アドバトリアのアドバトリアのアクセスを 作成しますここで1つ目のアドバトリアのアクセスは コントロールアクセスF1HとコントロールアクセスF1Hのアドバトリアのアクセスを作成しますAとF1Hのアドバトリアのアクセスは コントロールアクセスF1HとコントロールアクセスF1Hのアドバトリアのアクセスを作成します次に アドバトリアとF1Hの配置は コントロールアクセスF1Hのアドバトリアのアクセスを作成します次に アドバトリアのアクセスF1Hのアドバトリアのアクセスを作成します次に アドバトリアのアクセスF1HのアドバトリアのアクセスF1Hのアドバトリアのアクセスは コントロールアクセスF1Hのアドバトリアのアクセスを作成します次に アドバトリアのアクセスF1Hのアドバトリアのアクセスは コントロールアクセスF1Hのアドバトリアのアクセスを作成します次に アドバトリアのアクセスF1Hのアドバトリアのアクセスは コントロールアクセスF1Hのアドバトリアのアクセスを作成します次に アドバトリアのアクセスF1Hのアドバトリアのアクセスは コントロールアクセスF1Hのアドバトリアのアクセスを作成します次に アドバトリアのアクセスF1Hのアクセスは コントロールアクセスF1Hのアドバトリアのアクセスを作成します次に アドバトリアのアクセスF1Hのアドバトリアのアクセスは コントロールアクセスF1Hのアドバトリアのアクセスを作成します次に アドバトリアのアクセスF1Hのアドバトリアのアクセスは コントロールアクセスF1Hのアドバトリアのアクセスを作成しますアドバトリアのアクセスF1Hのアクセスは コントロールアクセスF1Hのアドバトリアのアクセスは コントロールアクセスF2Hのアドバトリアのアクセスを作成します次にファイヒットを表示します。ファイヒットのノロモンは小さくなっています。フレイヒットのノロモンは2-3-4の数です。そして、フレイヒットのノロモンの倍増の数は、1回の倍増の数は小さくなっています。フレイヒットのノロモンは2-3-4の数です。フレイヒットのノロモンの数は、F1HとF2 are equal to F2.或there exists an isometric if these bad events do not happen.We also show the quantum coefficients forequivalent databases are exactly equal.We show these claims by tracingcoefficient quantum coefficient of each vector in detail.We consider this sequence of genes.We show that these games,GiPlay and GiPlayer3 were indistinguishable up to 2 to the power in over 3 queries.We can also show these games are indistinguishable up to 2 to the power in over 3 quantum queries similarly.This means that these games, the real game in Mac and GiPlayer, the ideal game or random function, are indistinguishable up to 2 to the power in over 3 quantum queries, when it is very small.And so, this is how we proved the tight quantum series of NMAC.And the proof for HMAC is almost the same.So, finally, I'd like to provide the summary of today's my talk.So, we showed the tight quantum series rebound of HMAC NMAC in the quantum random oracle model,where the combination function H is a quantum random oracle.And we showed that HMAC and NMAC are indistinguishable from a random function against the quantum query attacks as long as this inequality holds.And this inequality means that the tight bound of HMAC and NMAC, the tight quantum series of HMAC and NMAC, is over 2 to the power in over 3, when it is not exponentially large.And to prove this point, we used the compressed oracle technique.And the hardest part of our proof is to prove the adversaries' success probability is very low.And to prove the hardest part, we introduced a new idea and equivalent databases to capture the uncertainty of outputs of a random function that the adversary cannot observe directly.Thank you for your attention.