Skip to main navigation Skip to search Skip to main content

(Transfer) Abstract Techniques for Programming Languages and Secure Compilation

Project Details

Short title(Transfer) Abstract Techniques for Programming Languages and Secure Compilation
StatusActive
Effective start/end date1/05/25 → 31/07/28

Funding

  • DEUTSHE FORSCHUNGSGEMEINSCHAFT (DFG)