, and we trust you all know the basic things like, number your pages, label your axis, use a spelling-checker, etcetera. Here we basically provide a short list of suggestions to turn your report into an exciting story. • Most importantly, a good paper reads like a good story. Do not paste a large number

of typed tactical primitives. We avoid the need to touch the trusted kernel type-checker of Coq by encapsulating uses of these new tactical primitives in a monad, and instrumenting Coq so that it executes monadic tactics during type inference. 1

Abstract—Several security protocols require a human to compare two hash values to ensure successful completion. When the hash values are represented as long sequences of numbers, humans may make a mistake or require significant time and patience to accurately compare the hash values. To improve usability during comparison, a number of researchers have proposed various hash representations that use words, sentences, or images rather than numbers. This is the first work to perform a comparative study of these hash comparison schemes to determine which scheme allows the fastest and most accurate comparison. To evaluate the schemes, we performed an online user study with more than 400 participants. Our findings indicate that only a small number of schemes allow quick and accurate comparison across a wide range of subjects from varying backgrounds. Keywords-Security; Human factors I.

Hiermit versichere ich, die vorliegende Diplomarbeit selbstständig und unter ausschliesslicher Verwendung der angegebenen Quellen und Hilfsmittel angefertigt zu haben. Diese Arbeit hat in gleicher oder ähnlicher Form noch keiner Prüfungsbehörde vorgelegen. Darmstadt, 14. Februar 2006

well and making the changes that will keep you ahead of the market is exceedingly difficult, especially when the cost of failure may be the future of the business. Leaders need three key resources to keep on top of this balance: • the space to step back, reflect and refocus • trusted peers who they can

the non-exclusive right to publish the Work electronically and in a non-commercial purpose make it accessible on the Internet. The Author warrants that he/she is the author to the Work, and warrants that the Work does not contain text, pictures or other material that violates copyright law. The Author shall, when transferring the rights of the Work to a third party (for example a publisher or a company); acknowledge the third party about this agreement. If the Author has signed a copyright agreement with a third party regarding the Work, the Author warrants hereby that he/she has obtained any necessary permission from this third party to let Chalmers University of Technology and University of Gothenburg store the Work electronically and make it accessible on the Internet.

commitment to his work and the ability to give firm advice were graciously expressed through his interest in African psychotherapy; his love for research and his experience in working therapeutically in Africa. Your efforts are more valuable than words can say. Without your support at that crucial time

'll find three articles making up the first installment of Library Connect’s new “Next Gen ” section. Isn’t it fitting, while talking about eLearning, to hear from Next Gen librarians Erika Bennett, Megan Curran and Guofu Qian discussing the subject? (You can see their fulltext articles at www

The compressive sensing (CS) framework aims to ease the burden on analog-to-digital converters (ADCs) by exploiting inherent structure in natural and man-made signals. It has been demon-strated that structured signals can be acquired with just a small number of linear measurements, on the order

question with which this dissertation will be concerned is whether or not an information-theoretic interpretation can serve as a conceptually acceptable interpretation of quantum mechanics. It will be argued that some of the more obvious approaches – that quantum information theory shows us that ultimately