Formal Aspects in Security and Trust Berlin DDT Project on Robots and the satellite impact hazard DDT Project on Robots and Systems for Urban Search and Rescue Frontmatter A A Abschied abschiessen Aejresch Aejreschbum Altland altmelich angelegen Angelegenheit ansterben Anstich Arkan Arkeden Asmotter Asp aufdrehn aufdrieseln aufpassen Aufpasser Augapfel Augbraue Auskrisch auskühlen Ausweg ausweichen Az B B Baffer Baffert Bauch Bäuchhütte befluren befolgen beineben beinebenst benesch Bengel Beschuhung beschuldigen Bettler Bettlerläuse Bingkeln bingker blättern Blattlaus böcksen Bocksherndel Bote Botelo Brautrocken Brautscharre Brot Brotbeute Brunnenstange Brunnenstelzen Buretz Buretzebröder Buttner Büttnerberg Byzyn C Capesius Christ The 18 revised papers presented were carefully reviewed and selected from 47 submissions security protocol design and analysis