Digital Systems Embedded Computing

Research Frontiers in Memory Safety Verification Embedded Software

Development of static analysis techniques, runtime monitoring, and type systems for preventing memory-related vulnerabilities in embedded code.

All Digital Systems & Embedded Computing PhD categories