Our platform security technologies provide trust in the computing platform upon which software is executed. Our current projects, FVA and TFPGA, focus on hardware assurance. We have also worked on securing physical and virtual computing platforms, including Virtual Trusted Platform Modules and FPGA PUF design.
Extract higher-level design understanding from third-party FPGAs
Detect Trojans and other vulnerabilities in unknown/undocumented third-party FPGA designs
Automate development of FPGA designs to test all FPGA resources; enumerate and grade each resource to obtain coverage metrics
Enable advanced FPGA design techniques, such as precisely controlled, relocatable macros, automatically generated and graded test suites, and device characterization
FPGA reverse engineering allows deriving netlists and higher-level intermediate representations from devices
FPGA testing and test suite grading allows accurate detection of anomalies and potential vulnerabilities