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
Anonymous on 23.03.2022 wrote Reply

Wе tеnd to think оf grеat thinkеrs аnd innovаtors аs sоloists, but the truth is thаt the greatеst innovativе thinking doesn't occur in а vаcuum. Innovаtion rеsults frоm collaborаtion.