7 citations · 7 across the 6 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.CR2020
Experiences and Lessons Learned Creating and Validating Concept Inventories for Cybersecurity
Alan T. Sherman, Geoffrey L. Herman, Linda Oliva +5
We reflect on our ongoing journey in the educational Cybersecurity Assessment Tools (CATS) Project to create two concept inventories for cybersecurity. We identify key steps in thi…
cs.CR2020
Formal Methods Analysis of the Secure Remote Password Protocol
Alan T. Sherman, Erin Lanus, Moses Liskov +7
We analyze the Secure Remote Password (SRP) protocol for structural weaknesses using the Cryptographic Protocol Shapes Analyzer (CPSA) in the first formal analysis of SRP (specific…