معرفی
Dr. Jonathan Woodruff is a Senior Research Associate at the Department of Computer Science and Technology, University of Cambridge. His research focuses on secure computing architectures, with a particular emphasis on the CHERI (Capability Hardware Enhanced RISC Instructions) project. His work spans computer architecture, security, programming languages, and hardware-software co-design.
Research Interests:
- Hardware-enhanced memory safety
- Secure processor architectures (RISC-V/CHERI)
- Formal verification of microarchitectures
- Compiler/runtime systems for secure execution
- Transient-execution attack mitigation
- Global address space security
Recent work emphasizes validation of the Morello platform (ARM's CHERI implementation) and exploration of architectural contracts for safe speculation. His contributions include novel memory protection mechanisms and performance evaluation of secure architectures.
۰مقاله منتشرشده
