Persons tagged with «security ceremonies»
| Name | Phone | Tags | |
|---|---|---|---|
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 |