جلسه‌ی سخن‌رانی -- آشنایی با امنیت اثبات‌پذیر و ایده‌های موجود در آن

سخن‌رانی مشترک قطب علمی رمز و انجمن رمز ایران با همکاری شاخه دانشجویی انجمن رمز ایران در دانشگاه صنعتی شریف

آشنایی با امنیت اثبات‌پذیر و ایده‌های موجود در آن Provable Security دکتر محمَدصادق دوستی زمان: دوشنبه ۲۷ اردیبهشت ۱۳۹۵ ساعت ۱۲ الی ۱۳ مکان: دانشکده مهندسی کامپیوتر دانشگاه صنعتی شریف، طبقه چهارم، سالن خوارزمی

قطب علمی رمز

ورود به دانشگاه شریف:

چنانچه مایل به حضور در این جلسه هستید خواهشمندیم برای هماهنگی ورود به دانشگاه تا ساعت ۱۲ روز شنبه ۲۵ اردیبهشت، نام، نام خانوادگی و کد ملی خود را به نشانی رایانامه‌ی «lajevardi در ce.sharif.edu» با عنوان «Sharif Entrance» بفرستید.

چکیده‌ی سخن‌رانی:

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.

درباره‌ی سخن‌ران:

Mohammad Sadeq Dousti got his Ph.D., M.S., and B.S. from Sharif University of Technology. His research interests  include "foundations of cryptography" and "computational complexity theory." He is currently teaching the  graduate course "Theory of Cryptography," as well as the undergraduate course "Data & Network Security," at the  Department of Computer Engineering, Sharif University of Technology.