Formal and Computational Cryptographic Proofs
Compositionality of game-based secure key-exchange (Warinschi, B / Bristol)  의 1 번째 Windows Media 동영상입니다.
Computer-aided security proofs (Barthe, G / Madrid Institute of Advanced Studies)  의 1 번째 Windows Media 동영상입니다.
Constructive cryptography (Maurer, U / ETH Zürich)  의 1 번째 Windows Media 동영상입니다.
Cryptographically verified implementation of TLS 1.2 (Fournet, C / Microsoft Research)  의 1 번째 Windows Media 동영상입니다.
Definitions of Predicate Encryption (Persiano, P / Salerno)  의 1 번째 Windows Media 동영상입니다.
Efficient Smooth Projective Hash Functions and Applications (Pointcheval, D / ENS - Paris)  의 1 번째 Windows Media 동영상입니다.
Foundations of Garbled Circuits (Rogaway, P / UC, Davis)  의 1 번째 Windows Media 동영상입니다.
From crypto verif specifications to computationally secure implementations of protocols (Blanchet, B / ENS)  의 1 번째 Windows Media 동영상입니다.
How provably secure are cryptographic primitives used in practice (Kiltz, E / Ruhr-Universität Bochum)  의 1 번째 Windows Media 동영상입니다.
How to Compute in the Presence of Leakage (Rothblum, G / Microsoft Research)  의 1 번째 Windows Media 동영상입니다.
How to fake auxiliary input (Pietrzak, C / IST Austria)  의 1 번째 Windows Media 동영상입니다.
Leakage-Resilient Zero-Knowledge Proofs and their Applications (Sahai, A / UCLA)  의 1 번째 Windows Media 동영상입니다.
Meta-Reductions (Fischlin, M / TU, Darmstadt)  의 1 번째 Windows Media 동영상입니다.
Multi-key Homomorphic Encryption and Applications (Vaikuntanathan, V / Toronto)  의 1 번째 Windows Media 동영상입니다.
Overcoming Weak Expectations (Dodis, Y / New York)  의 1 번째 Windows Media 동영상입니다.
Pairing-based succinct non-interactive zero-knowledge arguments (Groth, J / UCL)  의 1 번째 Windows Media 동영상입니다.
Quadratic Span Programs for Succinct NIZKs without PCPs (Gentry, C / IBM Research)  의 1 번째 Windows Media 동영상입니다.
Rational Proofs (Micali, S / MIT)  의 1 번째 Windows Media 동영상입니다.
Semantic security for the wiretap channel (Tessaro, S / Massachusetts Institute of Technology)  의 1 번째 Windows Media 동영상입니다.
The Privacy of the Analyst and The Power of the State (Naor, M / Weizmann Institute of Science)  의 1 번째 Windows Media 동영상입니다.
Verifying Crypto Protocols Written in C (Gordon, A / Microsoft Research)  의 1 번째 Windows Media 동영상입니다.
Where Delegation Meets Einstein (Tauman Kalai, Y)  의 1 번째 Windows Media 동영상입니다.
Zero Knowledge Proofs and Nuclear Disarmament (Barak, B / Microsoft Research New England)  의 1 번째 Windows Media 동영상입니다.
Back to top of page