Dear Genodians-
I enter your world wishing / working for a world were we can feel more certain that computing systems can be trusted... is seems clear that those form Genodia have also come to see this vision..
I contacted Martin Stein, regarding his work with running/co-designing Genode's core within an FPGA.... I'm just starting to work with
ZedBoard... He suggested that I might sign up on this mailing list.
I am a Information Theoretic Social Decision System Theorist... See
our Introductory paper published in
the journal Voting Matters. from our perspective secure computation will be critical towards the electorate's trust in more advanced, network based social decision systems.