Scholar
Christian Johansen
Google Scholar ID: xoNm0kMAAAAJ
Professor at NTNU - Norwegian University of Science and Technology
system security
concurrency
formal methods
protocol verification
privacy
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,302
H-index
20
i10-index
35
Publications
20
Co-authors
20
list available
Publications
1 items
Unlinkability and History Preserving Bisimilarity
2026
Cited
0
Co-authors
10 total
Bjørnar Luteberget
Research Scientist, SINTEF
Uli Fahrenberg
Laboratoire de recherche de l'EPITA (LRE)
Georg Struth
University of Sheffield
Olaf Owe
Professor, Department of Informatics, University of Oslo
Ross Horne
University of Strathclyde
Simone Fischer-Hübner
Professor, Karlstad University
Tim Willemse
Full Professor, Eindhoven University of Technology
Clément Aubert
Augusta University, GA, USA
