S. F. Mjølsnes
S. F. Mjølsnes
Professor at NTNU
Verifierad e-postadress på item.ntnu.no
TitelCiteras avÅr
The ESPRIT project CAFE—High security digital payment systems
JP Boly, A Bosselaers, R Cramer, R Michelsen, S Mjølsnes, F Muller, ...
European Symposium on Research in Computer Security, 217-230, 1994
2361994
A survey of key management in ad hoc networks
AM Hegland, E Winjum, SF Mjolsnes, C Rong, O Kure, P Spilling
IEEE Communications Surveys & Tutorials 8 (3), 48-66, 2006
1522006
Efficient offline electronic checks
D Chaum, B den Boer, E van Heyst, S Mjølsnes, A Steenbeek
Workshop on the theory and application of of cryptographic techniques, 294-301, 1989
991989
A framework for compositional verification of security protocols
S Andova, C Cremers, K Gjøsteen, S Mauw, SF Mjølsnes, S Radomirović
Information and Computation 206 (2-4), 425-459, 2008
89*2008
System of secured payment by the transfer of electronic money through an interbank network
SF Mjolsnes, R Michelsen, MJ Revillet, A De Solages
US Patent 5,905,976, 1999
801999
On-line e-wallet system with decentralized credential keepers
SF Mjølsnes, C Rong
Mobile Networks and Applications 8 (1), 87-99, 2003
632003
A vulnerability in the umts and lte authentication and key agreement protocols
JK Tsay, SF Mjølsnes
International Conference on Mathematical Methods, Models, and Architectures …, 2012
422012
Eavesdropping near field communication
H Kortvedt, S Mjolsnes
The Norwegian Information Security Conference (NISK) 27, 5768, 2009
292009
An improved attack on TKIP
FM Halvorsen, O Haugen, M Eian, SF Mjølsnes
Nordic Conference on Secure IT Systems, 120-132, 2009
292009
Computational security analysis of the UMTS and LTE authentication and key agreement protocols
S Mjølsnes, JK Tsay
212012
Localized credentials for server assisted mobile wallet
SF Mjolsnes, C Rong
Proceedings 2001 International Conference on Computer Networks and Mobile …, 2001
202001
Easy 4G/LTE IMSI catchers for non-programmers
SF Mjølsnes, RF Olimid
International Conference on Mathematical Methods, Models, and Architectures …, 2017
192017
A formal analysis of IEEE 802.11 w deadlock vulnerabilities
M Eian, SF Mjølsnes
2012 Proceedings IEEE INFOCOM, 918-926, 2012
192012
E-Wallet Software Architecture and Decentralized Credentials
R Hernandez, SF MJØLSNES
Norsk Informatikkonferancse (NIK), 1-12, 2003
162003
From stateless to stateful: Generic authentication and authenticated encryption constructions with application to TLS
C Boyd, B Hale, SF Mjølsnes, D Stebila
Cryptographers’ Track at the RSA Conference, 55-71, 2016
152016
Digital forensic research
SY Willassen, SF Mjolsnes
Telektronikk 101 (1), 92, 2005
142005
The modeling and comparison of wireless network denial of service attacks
M Eian, SF Mjølsnes
Proceedings of the 3rd ACM SOSP workshop on networking, systems, and …, 2011
132011
A non-interactive zero knowledge proof protocol in an internet voting scheme
SF Mjølsnes
112009
Reducing the cost of certificate revocation: a case study
MH Ofigsbø, SF Mjølsnes, P Heegaard, L Nilsen
European Public Key Infrastructure Workshop, 51-66, 2009
82009
Open transnational system for digital currency payments
SF Mjolsnes, R Michelsen
Proceedings of the Thirtieth Hawaii International Conference on System …, 1997
71997
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20