معرفی
Jim Alves-Foss is a University Distinguished Professor of Computer Science at University of Idaho's College of Engineering, specializing in high-assurance computing systems and cybersecurity.
Core research domains:
- Formal methods for security verification
- Operating system security architectures
- Critical infrastructure protection
- Automated security policy enforcement
Publications demonstrate consistent focus on:
- Rigorous verification of security properties (e.g., seL4 kernel)
- Development of automated analysis tools (fuzzing, SDN policy)
- Industrial control system protection frameworks
- Adversary-aware risk assessment methodologies
۰مقاله منتشرشده
