1 Introduction  
2 Related Work  
3 Preliminaries of CML Approaches  
4 Systematization Framework  
5 Homogeneous Cryptographic Approaches  
6 Hybrid Composition  
7 Security Proofs, Attacks, and Correctness  
8 Evaluation Methods  
9 Other CML Approaches  
10 Conclusion