Lucy put up an etherpad to catch issues and other notes we want to quickly save and share from the Berlin workshop: http://tid.isoc.org:9001/p/cryptech-berlin