Electronic communication in heterometallated porphyrin oligomers by Cremers, J

Unbounded verification, falsification, and characterization of security protocols by pattern refinement by Cremers, C

The scyther tool: Verification, falsification, and analysis of security protocols - Tool paper by Cremers, C

Session-StateReveal is stronger than eCKs EphemeralKeyReveal: using automatic analysis to attack the NAXOS protocol by Cremers, C

Drugs for rare disorders by Cremers, S, Aronson, J

Know Your Enemy by Basin, D, Cremers, C

Improving the ISO/IEC 11770 standard for key management techniques by Cremers, C, Horvat, M

Improving the ISO/IEC 11770 standard for key management techniques by Cremers, C, Horvat, M

Strengthening the security of authenticated key exchange against bad randomness by Feltz, M, Cremers, C

Beyond eCK: perfect forward secrecy under actor compromise and ephemeral-key reveal by Cremers, C, Feltz, M

Improving the ISO/IEC 11770 standard for key management techniques by Cremers, C, Horvat, M

SCP: SCENE COMPLETION PRE-TRAINING FOR 3D OBJECT DETECTION by Y. Shan, Y. Xia, Y. Xia, Y. Chen, D. Cremers, D. Cremers

Get full text

Editorial: Conversational AI by Stephan Raaijmakers, Stephan Raaijmakers, Anita Cremers, Anita Cremers, Emiel Krahmer, Matthijs Westera

Get full text

Component-based formal analysis of 5G-AKA: channel assumptions and session confusion by Cremers, C, Dehnel-Wild, M

Provably repairing the ISO/IEC 9798 standard for entity authentication by Basin, D, Cremers, C, Meier, S

Efficient construction of machine-checked symbolic protocol security proofs. by Meier, S, Cremers, C, Basin, D

Description and results of a new method for assessing real-life performance of a UV-C disinfection robot by Michael Rodgers, Suzan Cremers, Edmée Bowles

Get full text

Actor Key Compromise: Consequences and Countermeasures by Basin, D, Cremers, C, Horvat, M

When the crypto in cryptocurrencies breaks: Bitcoin security under broken primitives by Giechaskiel, I, Cremers, C, Rasmussen, K

Deduktive Datenbanken — Eine Einführung aus der Sicht der logischen Programmierung by Cremers, A, Griefahn, U, Hinze, R