Ulf Carlsen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1993–2002
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2002 | CARDIS | The QX Smart Card Operating System. | Ulf Carlsen |
| 1994 | SP | Generating formal cryptographic protocol specifications. | Ulf Carlsen |
| 1993 | ACSAC | Using logics to detect implementation-dependent flaws [cryptographic protocol design]. | Ulf Carlsen |