Persons tagged with «security ceremonies»
Name | Phone | Tags | |
---|---|---|---|
![]() |
+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 |