Toward Hardware Security Property Generation at Scale. - Calvin Deutschbein; Andres Meza 001; Francesco Restuccia 002; Matthew Gregoire; Ryan Kastner; Cynthia Sturton (IEEE Secur. Priv., 2022)

SEIF: Augmented Symbolic Execution for Information Flow in Hardware Designs. - Kaki Ryan; Matthew Gregoire; Cynthia Sturton (HASP@MICRO, 2023)

Augmented Symbolic Execution for Information Flow in Hardware Designs. - Kaki Ryan; Matthew Gregoire; Cynthia Sturton (CoRR, 2023)

Onion Franking: Abuse Reports for Mix-Based Private Messaging. - Matthew Gregoire; Margaret Pierce; Saba Eskandarian (IACR Cryptol. ePrint Arch., 2024)

CheckOut: User-Controlled Anonymization for Customer Loyalty Programs. - Matthew Gregoire; Rachel Thomas; Saba Eskandarian (Proc. Priv. Enhancing Technol., 2024)