Dfg 2023

DFG Project ATLaS: Abstract Techniques for Programming Languages and Secure Compilation (~700K EUR) granted! The PIs are Sergey Goncharov and myself.