Multimedia-Präsentationen auf persönlichen digitalen Assistenten mit geringer Übertragungsrate. - Wolfgang Leister; Håvard Hegna; Thor Kristoffersen; Lars Aarhus; Anders Moen Hagalisletto; Bjarte M. Østvold (SimVis, 2002)

Large scale construction of railroad models from specifications. - Anders Moen Hagalisletto; Ingrid Chieh Yu (SMC (7), 2004)

Automated refinement of security protocols. - Anders Moen Hagalisletto (IPDPS, 2006)

Protocol Algebra. - Anders Moen Hagalisletto (ISCC, 2006)

Errors in Attacks on Authentication Protocols. - Anders Moen Hagalisletto (ARES, 2007)

Attacks are Protocols Too. - Anders Moen Hagalisletto (ARES, 2007)

Validating Attacks on Authentication Protocols. - Anders Moen Hagalisletto (ISCC, 2007)

Constructing and Refining Large-Scale Railway Models Represented by Petri Nets. - Anders Moen Hagalisletto; Joakim Bjørk; Ingrid Chieh Yu; På Enger (IEEE Trans. Syst. Man Cybern. Part C, 2007)

Proving Trust Locally. - Anders Moen Hagalisletto (SECURWARE, 2008)

Formal Modeling of Authentication in SIP Registration. - Anders Moen Hagalisletto; Lars Strand (SECURWARE, 2008)

Deciding the Correctness of Attacks on Authentication Protocols. - Anders Moen Hagalisletto (J. Softw., 2008)

Automated detection of confidentiality goals. - Anders Moen Hagalisletto (IPDPS, 2009)

Analysing Protocol Implementations. - Anders Moen Hagalisletto; Lars Strand; Wolfgang Leister; Arne-Kristian Groven (ISPEC, 2009)

Pervasive Integration by Autonomous Agents. - Anders Moen Hagalisletto; Steinar Kristoffersen (HICSS, 2010)

Designing attacks on SIP call set-up. - Anders Moen Hagalisletto; Lars Strand (Int. J. Appl. Cryptogr., 2010)