Matthew Gregoire

According to our database, Matthew Gregoire authored at least 4 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

CheckOut: User-Controlled Anonymization for Customer Loyalty Programs.

Matthew Gregoire, Rachel Thomas, Saba Eskandarian

IACR Cryptol. ePrint Arch., 2024

2023

Augmented Symbolic Execution for Information Flow in Hardware Designs.

Kaki Ryan, Matthew Gregoire, Cynthia Sturton

CoRR, 2023

SEIF: Augmented Symbolic Execution for Information Flow in Hardware Designs.

Kaki Ryan, Matthew Gregoire, Cynthia Sturton

Proceedings of the 12th International Workshop on Hardware and Architectural Support for Security and Privacy, 2023

2022

Toward Hardware Security Property Generation at Scale.

Calvin Deutschbein, Andres Meza, Francesco Restuccia, Matthew Gregoire, Ryan Kastner, Cynthia Sturton

IEEE Secur. Priv., 2022