REGISTER | LOGIN
Breaking News
News & Analysis

Software Secure? Good! But What About the Hardware (FPGAs & SoCs)?

5/20/2015 05:15 PM EDT
1 Comment
NO RATINGS
More Related Links
View Comments: Newest First | Oldest First | Threaded View
impedimenttoprogress
User Rank
Rookie
Security Checkers
impedimenttoprogress   5/20/2015 7:12:14 PM
NO RATINGS
The concept of security checkers already exists:

http://www.impedimenttoprogress.com/storage/publications/hicks_ASPLOS_15.pdf

 

Any insights into how they mine security-related assertions?

 

It is interesting that their SBIR is totally different than what is on their website.

Like Us on Facebook
EE Times on Twitter
EE Times Twitter Feed