| Anonymous information sharing IT Blumenfeld, RA Borbely, FW Wolfinger, MV Raugas US Patent 9,313,177, 2016 | 41 | 2016 |
| Formal methods analysis of the secure remote password protocol AT Sherman, E Lanus, M Liskov, E Zieglar, R Chang, E Golaszewski, ... Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the …, 2020 | 16 | 2020 |
| Anonymous information sharing IT Blumenfeld, RA Borbely, FW Wolfinger, MV Raugas US Patent App. 15/096,037, 2017 | 15 | 2017 |
| SMT Solvers for Malware Unpacking I Blumenfeld, R Faux, P Li, M Raugas Proceedings of the 11th InternationalWorkshop on Satisfiability Modulo …, 2013 | 2 | 2013 |
| Formalized High Level Synthesis with Applications to Cryptographic Hardware W Harrison, I Blumenfeld, E Bond, C Hathhorn, P Li, M Torrence, J Ziegler NASA Formal Methods Symposium, 332-352, 2023 | 1 | 2023 |
| Check for updates Formalized High Level Synthesis with Applications to Cryptographic Hardware W Harrison, I Blumenfeld, E Bond, C Hathhorn, P Li, M Torrence, J Ziegler NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX …, 2023 | | 2023 |
