Wanted: Research assistant in CROSSING project

We are currently looking for a research assistant who supports us in modeling cryptographic API’s with the use of Clafer.

So if you are interested in cryptography and are currently looking for a theses topic or a paid HiWi project, have a look to the attached proposal and contact us!

Proposal