Digital Systems Embedded Computing

Research Frontiers in Embedded Software Memory Safety Verification

Static and dynamic techniques for verifying memory safety properties in embedded C and assembly code preventing exploits.

All Digital Systems & Embedded Computing PhD categories