Persons tagged with «Security»

Name Phone E-mail Tags
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
Mavroeidis, Vasileios Researcher vasileim@ifi.uio.no Security, Cybersecurity, Sikkerhet, Cybersikkerhet, Information Security
Steffen, Martin Professor +47 22850417 msteffen@ifi.uio.no semantics, programming language theory, static analysis, verification, compiler construction, object-orientation, formal methods, concurrency, computer science, verification, PMA, program analysis, static analysis, compositionality, security, model checking, type systems
Feed from this page