In the PROSPER project at CSC/TCS we are developing *provably secure virtualization solutions* for smartphones and embedded devices. This is how smartphones, Internet-of-things, and all sorts of computing machinery will be secured over the next 10 years.
We are looking for students interested in getting involved:
- On hobby basis, through our open source project
- Through coursework
- As exjobbers/kexjobbers
- Or even by getting paid, if you are among the few that can really contribute