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, 103-126, 2020 | 12 | 2020 |
Project-based learning continues to inspire cybersecurity students: the 2018--2019 SFS research studies at UMBC E Golaszewski, AT Sherman, L Oliva, PAH Peterson, MR Bailey, S Bohon, ... ACM Inroads 11 (2), 46-54, 2020 | 5 | 2020 |
Project-Based learning continues to inspire cybersecurity students E Golaszewski, A Sherman, L Oliva, PA Peterson, MR Bailey, S Bohon, ... ACM inroads 11 (2), 2019 | 5 | 2019 |
A pilot study in using virtual reality during theatre rehearsal C Bonyadi, V Summet Journal of Computing Sciences in Colleges 34 (2), 164-171, 2018 | 1 | 2018 |
Analysis of the Secure Remote Password protocol using CPSA E Lanus, AT Sherman, R Chang, E Golaszewski, R Wnuk-Fink, C Bonyadi, ... High Confidence Software and Systems Conference (HCSS), 2020 | | 2020 |
Learning Continues to Inspire Cybersecurity Students: The 2018-2019 SFS Research Studies at UMBC E Golaszewski, AT Sherman, L Oliva, PAH Peterson, MR Bailey, S Bohon, ... | | 2020 |
An Investigation of Scenic Visualization Using Virtual Reality During Rehearsal CJ Bonyadi | | 2018 |