Paper accepted at CAV: SecCSL: Security Concurrent Separation Logic

Presentations