Ulf Carlsen

According to our database, Ulf Carlsen authored at least 6 papers between 1993 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2006

License Transfer Mechanisms through Seamless SIM Authentication - Rights Management based on SIM Keys.

Josef Noll, György Kálmán, Ulf Carlsen

Proceedings of the WINSYS 2006, 2006

2002

The QX Smart Card Operating System.

Ulf Carlsen

Proceedings of the Fifth Smart Card Research and Advanced Application Conference, 2002

1994

Optimal Privacy and Authentication on a Portable Communications System.

Ulf Carlsen

ACM SIGOPS Oper. Syst. Rev., 1994

Generating formal cryptographic protocol specifications.

Ulf Carlsen

Proceedings of the 1994 IEEE Computer Society Symposium on Research in Security and Privacy, 1994

Cryptographic Protocols Flaws.

Ulf Carlsen

Proceedings of the Seventh IEEE Computer Security Foundations Workshop, 1994

1993

Using logics to detect implementation-dependent flaws [cryptographic protocol design].

Ulf Carlsen

Proceedings of the Ninth Annual Computer Security Applications Conference, 1993