The research group STEP (Secure and Trustworthy Execution Platforms) at KTH is recruiting a postdoc for a project on fullstack security focusing on e-voting, specifically Verificatum (www.verificatum.org). Verificatum is a world leading e-voting system based on mixnets, and developed by assoc. prof. Douglas Wikström (www.csc.kth.se/~dog).
The position is affiliated with TrustFull (trustfull.proj.kth.se), a project on secure fullstack computing funded by the Swedish Foundation for Strategic Research, SSF. The TrustFull project combines software engineering at scale with formal methods to address critical parts of the software/hardware stack. The part of TrustFull of particular interest for this position concerns formal techniques for low level software and hardware.
The goal of the present project is to develop a formally verified instance of Verificatum. The work involves domain specific modelling and security analysis as well as the development of general theory, methods, and tools for cryptography and low level implementations with respect to, e.g., analysis of side channels in software and hardware.
The opportunities for influencing the direction of the work are very good.
More information and Application