CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances. - Anastasia-Maria Leventi-Peetz; Oliver Zendel 002; Werner Lennartz; Kai Weber 003 (POS@SAT, 2018)

Geheimkommunikation mit moderner IT. - Oliver Zendel 002; Marianne Ziesmer (Datenschutz und Datensicherheit, 2022)