Arshad, Hamed
Doctoral Research Fellow
|
|
hamedar@ifi.uio.no
|
security protocols,
access control,
authentication,
cryptography,
network security,
formal methods,
model checking,
key agreement,
privacy,
security
|
Gruschka, Nils
Associate Professor
|
+47-22840858
|
nilsgrus@ifi.uio.no
|
Security,
Privacy
|
Hannemyr, Gisle
Universitetslektor
|
+47-22852432
+47-90553659
|
gisle@ifi.uio.no
|
personvern,
digitale medier,
åpen aksess,
personvern,
åpne systemer,
datasikkerhet,
privacy,
design,
web,
konvergens
|
Johansen, Christian
Forsker
|
+47-22850481
|
cristi@ifi.uio.no
|
security,
privacy,
concurrency models,
formal methods,
safety verification,
automated tools,
logic in computer science,
process algebras,
semantics of programming languages,
security ceremonies,
access control
|
Johansen, Christian
Researcher
|
+47-22850481
|
cristi@ifi.uio.no
|
security,
privacy,
concurrency models,
formal methods,
safety verification,
automated tools,
logic in computer science,
process algebras,
semantics of programming languages,
security ceremonies,
access control
|