Seminar "Formal Specification"

Published on 15.12.2011
Published in mais tu-darmstadt

Dies sind die Folien zu meinem Vortrag über das Paper "Security of Multithreaded Programs by Compilation" von Gilles Barthe, Tamara Rezk, Alejandro Russo und Andrei Sabelfeld, den ich im Rahmen des Seminars "Formal Specification" gehalten habe.

Update: Der Report zum Seminar ist nun auch fertig.

Die Latex-Quellen zu Folien und Report findet man auf github.

Attachments

seminar-report-security-of-multithreaded-programs.pdf
slides-security-of-multithreaded-programs.pdf
slides-with-overlays-security-of-multithreaded-programs.pdf

Leave a Reply

Comments

Kommentare für diesen Eintrag als RSS Feed
No comments