Login / Signup
Ulf Carlsen
Publication Activity (10 Years)
Years Active: 1993-2006
Publications (10 Years): 0
</>
Publications
</>
Josef Noll
,
György Kálmán
,
Ulf Carlsen
License Transfer Mechanisms through Seamless SIM Authentication - Rights Management based on SIM Keys.
WINSYS
(2006)
Ulf Carlsen
The QX Smart Card Operating System.
CARDIS
(2002)
Ulf Carlsen
Optimal Privacy and Authentication on a Portable Communications System.
ACM SIGOPS Oper. Syst. Rev.
28 (3) (1994)
Ulf Carlsen
Cryptographic Protocols Flaws.
CSFW
(1994)
Ulf Carlsen
Generating formal cryptographic protocol specifications.
IEEE Symposium on Security and Privacy
(1994)
Ulf Carlsen
Using logics to detect implementation-dependent flaws [cryptographic protocol design].
ACSAC
(1993)