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.

Most Recent Comments
Like Us on Facebook
EE Times on Twitter
EE Times Twitter Feed