Karl Norrman

According to our database, Karl Norrman authored at least 18 papers between 2002 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Secure Anycast Channels with Applications to 4G and 5G Handovers.

Karl Norrman

IACR Cryptol. ePrint Arch., 2022

2021

Murat: Multi-RAT False Base Station Detector.

Prajwol Kumar Nakarmi, Mehmet Akif Ersoy, Elif Ustundag Soykan, Karl Norrman

CoRR, 2021

Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices.

Karl Norrman, Vaishnavi Sundararajan, Alessandro Bruni

Proceedings of the 18th International Conference on Security and Cryptography, 2021

Extended Formal Analysis of the EDHOC Protocol in Tamarin.

Karl Norrman, Vaishnavi Sundararajan, Alessandro Bruni

Proceedings of the E-Business and Telecommunications - 18th International Conference, 2021

2020

Secure Federated Learning in 5G Mobile Networks.

Martin Isaksson, Karl Norrman

Proceedings of the IEEE Global Communications Conference, 2020

2017

Subscription identifier privacy in 5G systems.

Enrique Cobo Jimenez, Prajwol Kumar Nakarmi, Mats Näslund, Karl Norrman

Proceedings of the International Conference on Selected Topics in Mobile and Wireless Networking, 2017

OpenSAW: Open Security Analysis Workbench.

Noomene Ben Henda, Björn Johansson, Patrik Lantz, Karl Norrman, Pasi Saarinen, Oskar Segersvärd

Proceedings of the Fundamental Approaches to Software Engineering, 2017

2016

Protecting IMSI and User Privacy in 5G Networks.

Karl Norrman, Mats Näslund, Elena Dubrova

Proceedings of the 9th EAI International Conference on Mobile Multimedia Communications, 2016

Error-Correcting Message Authentication for 5G.

Elena Dubrova, Mats Näslund, Göran Selander, Karl Norrman

Proceedings of the 9th EAI International Conference on Mobile Multimedia Communications, 2016

2015

A USIM Compatible 5G AKA Protocol with Perfect Forward Secrecy.

Jari Arkko, Karl Norrman, Mats Näslund, Bengt Sahlin

Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

Formal Verification of the Security for Dual Connectivity in LTE.

Noamen Ben Henda, Karl Norrman, Katharina Pfeffer

Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015

2014

Formal Analysis of Security Procedures in LTE - A Feasibility Study.

Noomene Ben Henda, Karl Norrman

Proceedings of the Research in Attacks, Intrusions and Defenses, 2014

2007

Integrity Transform Carrying Roll-Over Counter for the Secure Real-time Transport Protocol (SRTP).

Vesa Lehtovirta, Mats Näslund, Karl Norrman

RFC, January, 2007

2006

Key Management Extensions for Session Description Protocol (SDP) and Real Time Streaming Protocol (RTSP).

Jari Arkko, Fredrik Lindholm, Mats Näslund, Karl Norrman, Elisabetta Carrara

RFC, July, 2006

The Key ID Information Type for the General Extension Payload in Multimedia Internet KEYing (MIKEY).

Elisabetta Carrara, Vesa Lehtovirta, Karl Norrman

RFC, June, 2006

2004

MIKEY: Multimedia Internet KEYing.

Jari Arkko, Elisabetta Carrara, Fredrik Lindholm, Mats Näslund, Karl Norrman

RFC, August, 2004

The Secure Real-time Transport Protocol (SRTP).

Mark Baugher, David A. McGrew, Mats Näslund, Elisabetta Carrara, Karl Norrman

RFC, March, 2004

2002

Conversational IP multimedia security.

Rolf Blom, Elisabetta Carrara, Fredrik Lindholm, Karl Norrman, Mats Näslund

Proceedings of The Fourth IEEE Conference on Mobile and Wireless Communications Networks, 2002