Paper accepted at CAV: SecCSL: Security Concurrent Separation Logic

Thomas Lemberger

Picture of Thomas Lemberger

Software and Computational Systems Lab
Institute for Informatics
Ludwig-Maximilians-Universität München (LMU Munich)
Oettingenstraße 67
80538 Munich (Germany)

Office
Room F 012, Oettingenstr. 67
Phone
+49 89 2180 9185
E-Mail
thomas.lemberger@sosy.ifi.lmu.de
Office Hours
Thursday, 14:00 – 16:00

GPG-Key

Please send me encrypted mails!
My GPG key: 0x033DE66F
Fingerprint: BBC4 36E1 F2BA BA4E 8E81 872E 9787 7E1F 033D E66F

Teaching

Publications