Other Gillian-related Publications

• A Formal CHERI-C Semantics for Verification (TACAS'23) by Seung Hoon Park, Rekha Pai, and Tom Melham