powered by Yesod Newsfeed
Tough times don't last, tough people do.
Pascal Wittmann

Seminar "Formal Specification"

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

Comments

Kommentare für diesen Eintrag als RSS Feed
No comments

Leave a Reply

netcup Ökostrom