New Modular Compilers for Authenticated Key Exchange. - Yong Li 021; Sven Schäge; Zheng Yang 005; Christoph Bader; Jörg Schwenk (ACNS, 2014)

Efficient Signatures with Tight Real World Security in the Random-Oracle Model. - Christoph Bader (CANS, 2014)

Tightly-Secure Authenticated Key Exchange. - Christoph Bader; Dennis Hofheinz; Tibor Jager; Eike Kiltz; Yong Li 021 (IACR Cryptol. ePrint Arch., 2014)

How Secure is TextSecure? - Tilman Frosch; Christian Mainka; Christoph Bader; Florian Bergsma; Jörg Schwenk; Thorsten Holz (IACR Cryptol. ePrint Arch., 2014)

On the Impossibility of Tight Cryptographic Reductions. - Christoph Bader; Tibor Jager; Yong Li 021; Sven Schäge (IACR Cryptol. ePrint Arch., 2015)

Recursive symmetries for geometrically complex and materially heterogeneous additive manufacturing. - Christoph Bader; Neri Oxman (Comput. Aided Des., 2016)

On the possibility and impossibility of tight reductions in cryptography. - Christoph Bader (2016)

Viva in Silico: A position-based dynamics model for microcolony morphology simulation. - Christoph Bader; Sunanda Sharma; Rachel Soo Hoo Smith; Jean Disset; Neri Oxman (ALIFE, 2018)

Design of a multi-agent, fiber composite digital fabrication system. - Levi Cai; Sara Falcone; Christoph Bader; Nassia Inglessis; Barrak Darweesh; Neri Oxman (Sci. Robotics, 2018)

Akzeptanzprognose zur Einführung eines Energiemanagementsystems in automatisierten Milchviehställen in Bayern - "CowEnergySystem". - Christoph Bader; Jörn Stumpenhausen; Heinz Bernhardt (GIL, 2024)