introduction to provable security models adversaries reductions published presentations and documents on DocSlides.