| 2009 | ||
|---|---|---|
| 2 | Anders Moen Hagalisletto, Lars Strand, Wolfgang Leister, Arne-Kristian Groven: Analysing Protocol Implementations. ISPEC 2009: 171-182 | |
| 2008 | ||
| 1 | Anders Moen Hagalisletto, Lars Strand: Formal Modeling of Authentication in SIP Registration. SECURWARE 2008: 16-21 | |
| 1 | Arne-Kristian Groven | [2] |
| 2 | Anders Moen Hagalisletto | [1] [2] |
| 3 | Wolfgang Leister | [2] |