Formal Verification of Security Protocols Bernd Finkbeiner, Swen Jacobs


Information for Summary

Written: 31.05.2018 08:42 Written By: Swen Jacobs

Dear students,

we have just uploaded the slides from yesterday's presentation on "How to write your summary", as well as a zip-file with the LaTeX template and class files to be used for the summary (in "Information->Material->Background"). Note that the template .tex file contains some "typesetting instructions" - these are meant for authors of conference papers and are not binding for you. You may find some good hints there, though.

Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators