Stig F. Mjølsnes

A survey of key management in ad hoc networks

A Hegland, Eli Winjum, Stig F. Mjølsnes et al. · IEEE Communications Surveys & Tutorials · 2006 · 139 citations

Hardware Security, Engineering, Wireless Security +11

A framework for compositional verification of security protocols

Suzana Andova, Cas Cremers, Kristian Gjøsteen et al. · Information and Computation · 2007 · 58 citations · Full text

Compositional Verification, Engineering, Verification +9

Efficient offline electronic checks (extended abstract)

David Chaum, Bert den Boer, Eugène van Heyst et al. · Theory and Application of Cryptographic Techniques · 1990 · 23 citations

Hardware Security, Engineering, Runtime Verification +10

On-Line E-Wallet System with Decentralized Credential Keepers

Stig F. Mjølsnes, Chunming Rong · Mobile Networks and Applications · 2003 · 21 citations

The modeling and comparison of wireless network denial of service attacks

Martin Eian, Stig F. Mjølsnes · 2011 · 19 citations

Mobile Handhelds, Engineering, Information Security +17