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
|
+47 22852432
+47 90553659
|
gisle@ifi.uio.no
|
personvern,
digitale medier,
åpen aksess,
personvern,
åpne systemer,
datasikkerhet,
privacy,
design,
web,
konvergens
|
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
|
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
|
Owe, Olaf
Professor
|
+47 22852449
|
olaf@ifi.uio.no
|
semantics,
object-orientation,
formal methods,
concurrency,
privacy,
information security,
language-based security,
verification,
programming languages
|
Tokas, Shukun
|
|
shukunt@ifi.uio.no
|
Privacy,
Data Protection,
GDPR,
Privacy by Design,
Static Analysis,
Runtime Verification,
Language-based enforcement
|