معرفی
Jo Van Bulck is affiliated with imec-DistriNet at the Department of Computer Science, KU Leuven, Belgium. His research focuses on securing computing systems through formal methods and hardware-based security techniques.
- Research Interests: Secure compilation, Trusted Execution Environments (TEEs), systems and hardware security, cryptography, and low-latency sandboxing.
His recent work, published at PriSC 2020, includes Securing Interruptible Enclaves, which addresses vulnerabilities in high-concurrency secure compilation frameworks. This aligns with broader trends in formal verification and systems security.
۰مقاله منتشرشده
