Using logics to detect implementation-dependent flaws [cryptographic protocol design]. - Ulf Carlsen (ACSAC, 1993)

Cryptographic Protocols Flaws. - Ulf Carlsen (CSFW, 1994)

Generating formal cryptographic protocol specifications. - Ulf Carlsen (S&P, 1994)

Optimal Privacy and Authentication on a Portable Communications System. - Ulf Carlsen (ACM SIGOPS Oper. Syst. Rev., 1994)

The QX Smart Card Operating System. - Ulf Carlsen (CARDIS, 2002)

License Transfer Mechanisms through Seamless SIM Authentication - Rights Management based on SIM Keys. - Josef Noll; György Kálmán; Ulf Carlsen (WINSYS, 2006)