A Framework for Embedded Hardware Security Analysis