| 2009 |
|---|
| 12 | EE | Anders Moen Hagalisletto,
Lars Strand,
Wolfgang Leister,
Arne-Kristian Groven:
Analysing Protocol Implementations.
ISPEC 2009: 171-182 |
| 2008 |
|---|
| 11 | EE | Anders Moen Hagalisletto,
Lars Strand:
Formal Modeling of Authentication in SIP Registration.
SECURWARE 2008: 16-21 |
| 10 | EE | Anders Moen Hagalisletto:
Proving Trust Locally.
SECURWARE 2008: 80-87 |
| 9 | EE | Anders Moen Hagalisletto:
Deciding the Correctness of Attacks on Authentication Protocols.
JSW 3(5): 40-54 (2008) |
| 2007 |
|---|
| 8 | EE | Anders Moen Hagalisletto:
Attacks are Protocols Too.
ARES 2007: 1197-1206 |
| 7 | EE | Anders Moen Hagalisletto:
Errors in Attacks on Authentication Protocols.
ARES 2007: 223-229 |
| 6 | EE | Anders Moen Hagalisletto:
Validating Attacks on Authentication Protocols.
ISCC 2007: 481-488 |
| 5 | EE | Anders Moen Hagalisletto,
Joakim Bjørk,
Ingrid Chieh Yu,
På Enger:
Constructing and Refining Large-Scale Railway Models Represented by Petri Nets.
IEEE Transactions on Systems, Man, and Cybernetics, Part C 37(4): 444-460 (2007) |
| 2006 |
|---|
| 4 | EE | Anders Moen Hagalisletto:
Automated refinement of security protocols.
IPDPS 2006 |
| 3 | EE | Anders Moen Hagalisletto:
Protocol Algebra.
ISCC 2006: 394-401 |
| 2004 |
|---|
| 2 | EE | Anders Moen Hagalisletto,
Ingrid Chieh Yu:
Large scale construction of railroad models from specifications.
SMC (7) 2004: 6212-6219 |
| 2002 |
|---|
| 1 | | Wolfgang Leister,
Håvard Hegna,
Thor Kristoffersen,
Lars Aarhus,
Anders Moen Hagalisletto,
Bjarte M. Østvold:
Multimedia-Präsentationen auf persönlichen digitalen Assistenten mit geringer Übertragungsrate.
SimVis 2002: 147-160 |
