Seminar "Formal Specification"

Folien zu meinen Vortrag über "Security of Multithreaded Programs by Compilation"

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

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.

Leave a Reply