Paper accepted at CAV: SecCSL: Security Concurrent Separation Logic

Activities

Prof. Dr. Dr. h.c. Martin Wirsing