در روز دوشنبه ۲۷ اردیبهشت ۱۳۹۵ نشست سخنرانی با عنوان «آشنایی با امنیت اثباتپذیر و ایدههای موجود در آن» برگزار شد. برگههای نمایشی این نشست در پایان این گزارش قرار گرفتهاند.
در روز دوشنبه ۲۷ اردیبهشت ۱۳۹۵ نشست سخنرانی با عنوان «آشنایی با امنیت اثباتپذیر و ایدههای موجود در آن» برگزار شد. برگههای نمایشی این نشست در پایان این گزارش قرار گرفتهاند.
آشنایی با امنیت اثباتپذیر و ایدههای موجود در آن
Provable Security زمان: دوشنبه ۲۷ اردیبهشت ۱۳۹۵ ساعت ۱۲ الی ۱۳ مکان: دانشکده مهندسی کامپیوتر دانشگاه صنعتی شریف، طبقه چهارم، سالن خوارزمی |
قطب علمی رمز |
In this talk, we try to demystify the ideas behind "provable security." Roughly speaking, a cryptographic construct is said to be provably secure if attacking it is at least as hard as breaking some underlying mathematical problem. The concepts of attack model, security definition, comparison of hardness and mathematical assumptions play a key role in the proof of security. In the course of this talk, some historical debates regarding the philosophy of provable security is discussed. The debates include questions raised by famous mathematicians regarding the mathematical validity of the so-called proofs of security, as well as the unanimous responses by active researchers in the field of modern cryptography.