Dardinier, Thibault

1. CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity
   2022/11/15 by Eilers, Marco, Dardinier, Thibault, Müller, Peter · 3 citations
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Programming Languages (cs.PL)
2. Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language (extended version)
   2024/04/04 by G. Parthasarathy, Thibault Dardinier, Parthasarathy, Gaurav +7 · 3 citations
   Computer Science · #Security and Verification in Computing #Formal Methods in Verification #Logic, programming, and type systems