Anders Moen Hagalisletto

15 papers A 2B 2C 3Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2010 J jnl
Designing attacks on SIP call set-up.
Int. J. Appl. Cryptogr.
Anders Moen Hagalisletto, Lars Strand
2010 — conf
Pervasive Integration by Autonomous Agents.
HICSS
Anders Moen Hagalisletto, Steinar Kristoffersen
2009 C conf
Analysing Protocol Implementations.
ISPEC
Anders Moen Hagalisletto, Lars Strand, Wolfgang Leister, Arne-Kristian Groven
2009 A conf
Automated detection of confidentiality goals.
IPDPS
Anders Moen Hagalisletto
2008 J jnl
Deciding the Correctness of Attacks on Authentication Protocols.
J. Softw.
Anders Moen Hagalisletto
2008 — conf
Formal Modeling of Authentication in SIP Registration.
SECURWARE
Anders Moen Hagalisletto, Lars Strand
2008 — conf
Proving Trust Locally.
SECURWARE
Anders Moen Hagalisletto
2007 B conf
Attacks are Protocols Too.
ARES
Anders Moen Hagalisletto
2007 J jnl
Constructing and Refining Large-Scale Railway Models Represented by Petri Nets.
IEEE Trans. Syst. Man Cybern. Part C
Anders Moen Hagalisletto, Joakim Bjørk, Ingrid Chieh Yu, På Enger
2007 B conf
Errors in Attacks on Authentication Protocols.
ARES
Anders Moen Hagalisletto
2007 C conf
Validating Attacks on Authentication Protocols.
ISCC
Anders Moen Hagalisletto
2006 A conf
Automated refinement of security protocols.
IPDPS
Anders Moen Hagalisletto
2006 C conf
Protocol Algebra.
ISCC
Anders Moen Hagalisletto
2004 — conf
Large scale construction of railroad models from specifications.
SMC (7)
Anders Moen Hagalisletto, Ingrid Chieh Yu
2002 — conf
Multimedia-Präsentationen auf persönlichen digitalen Assistenten mit geringer Übertragungsrate.
SimVis
Wolfgang Leister, Håvard Hegna, Thor Kristoffersen, Lars Aarhus, Anders Moen Hagalisletto, Bjarte M. Østvold