A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness