Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs | Publicación