Karl Norrman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2014–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ESORICS | Towards Zero-Knowledge Based Private and Verifiable Software Assurance. | Bjrn Johansson, Ferhat Karako, Karl Norrman |
| 2021 | SECRYPT | Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices. | Karl Norrman, Vaishnavi Sundararajan, Alessandro Bruni |
| 2020 | GLOBECOM | Secure Federated Learning in 5G Mobile Networks. | Martin Isaksson, Karl Norrman |
| 2017 | FASE | OpenSAW: Open Security Analysis Workbench. | Noomene Ben Henda, Bjrn Johansson, Patrik Lantz, Karl Norrman, Pasi Saarinen, Oskar Segersvrd |
| 2015 | ICSE | Formal Verification of the Security for Dual Connectivity in LTE. | Noamen Ben Henda, Karl Norrman, Katharina Pfeffer |
| 2015 | TrustCom | A USIM Compatible 5G AKA Protocol with Perfect Forward Secrecy. | Jari Arkko, Karl Norrman, Mats Nslund, Bengt Sahlin |
| 2014 | RAID | Formal Analysis of Security Procedures in LTE - A Feasibility Study. | Noomene Ben Henda, Karl Norrman |