A Nitpicker’s guide to a minimal-complexity secure GUI

feske-nitpicker.pdf — PDF document, 708Kb

Document Actions

visiting address:

  Genode Labs GmbH
  Tharandter Str. 13
  D-01159 Dresden

postal address:

  Genode Labs GmbH
  Dammweg 2
  01097 Dresden

phone:+49 351 3282613

email: info@genode-labs.com