معرفی
Robert Künnemann is affiliated with CISPA and Saarland University. His work focuses on theoretical foundations of secure compilation and formal verification in programming languages.
Research Interests span secure compilation, cryptography, and formal methods. His contributions aim to bridge universal composability with low-level system security.
Publications include the 2020 paper Universal Composability is Secure Compilation, which explores cryptographic frameworks for secure software compilation.
۰مقاله منتشرشده
