Some projects I'm involved in ...

  • AN.ON on L4 - Anonymity mixes running on a small trusted computing base based on the microkernel operating system TUDOS.
  • JVM Kaffe on L4
  • BLAC
  • FliPS
  • software vTPMs for L4Linux
  • Nova/L4Re