Welcome to the Online Database of Cryptographic Relations (ODCR).
The ODCR is a collection of specifications, properties, and relations between them. For example, AES would be a specification, IND-CCA would be a property, and the fact that AES is IND-CCA secure under certain assumptions would be a relation. Together, these will hopefully allow cryptographers to define and design new cryptographic tools. By creating a structured database such as this one, we can automatically derive all known realizations of desired properties (WIP). Feel free to add any missing entries by opening a pull request on GitHub!