ThmDex – An index of mathematical definitions, results, and conjectures.
Examples
E785: Symmetric (or secret key) cryptosystem scheme