Toward Hardware Security Property Generation at Scale

Calvin Deutschbein, Andres Meza, Francesco Restuccia, Matthew Gregoire, Ryan Kastner, Cynthia Sturton. Toward Hardware Security Property Generation at Scale. IEEE Security & Privacy, 20(3):43-51, 2022. [doi]

Authors

Calvin Deutschbein

This author has not been identified. Look up 'Calvin Deutschbein' in Google

Andres Meza

This author has not been identified. Look up 'Andres Meza' in Google

Francesco Restuccia

This author has not been identified. Look up 'Francesco Restuccia' in Google

Matthew Gregoire

This author has not been identified. Look up 'Matthew Gregoire' in Google

Ryan Kastner

This author has not been identified. Look up 'Ryan Kastner' in Google

Cynthia Sturton

This author has not been identified. Look up 'Cynthia Sturton' in Google