-
05-15
2007
Describing vs. proving: connecting bounded arithmetic and descriptive complexity
演讲人： Antonina Kolokolova Simon Fraser University 时间： 2007-05-15 15:00-2007-05-15 16:00 地点：FIT Building 4-603, Tsinghua University 内容： In this talk, we discuss and relate the frameworks f...
-
05-15
2007
Chernoff-type Direct Product Theorems
演讲人： Valentine Kabanets Simon Fraser University 时间： 2007-05-15 14:00-2007-05-15 15:00 地点：FIT Building 4-603, Tsinghua University 内容： Consider a challenge-response protocol, where a legit...
-
04-20
2007
co-B\"uchi Rankings and omega-Automata Transformations
演讲人： Qiqi Yan Shanghai Jiao Tong University 时间： 2007-04-20 15:30-2007-04-20 16:30 地点：FIT Building,Tsinghua University 内容： Ranking-based constructions have been proposed for the complemen...
-
03-29
2007
An Appropriate Design for Trusted Computingand Digital Rights Management
演讲人： Clark Thomborson The University of Auckland 时间： 2007-03-29 15:30-2007-03-29 15:30 地点：FIT Building,Tsinghua University 内容： Trusted computing and digital rights management systems sho...
-
03-28
2007
Two zero-knowledge interactive proofs for problems in graph theory with applicat
演讲人： Yvo Desmedt University College London 时间： 2007-03-28 16:30-2007-03-28 17:30 地点：FIT Building,Tsinghua University 内容： Goldreich-Micali-Wigderson where the first to provide zero-knowle...
-
03-27
2007
All problems in statistical zero-knowledge have a classical protocol secure agai
演讲人： Shengyu Zhang California Institute of Technology 时间： 2007-03-27 14:00-2007-03-27 15:30 地点：FIT Building, Tsinghua University 内容： One of the main impacts of quantum computation thus f...