Current CDL research projects mostly deal with high-integrity election systems, formal-methods analysis of cryptographic protocols, and cybersecurity education.
We welcome new members at all levels (BS, MS, MPS, PhD). New members may join existing projects or suggest new projects. What ties CDL members together is a shared interest in cybersecurity, an eagerness to collaborate, and a willingness to assist ongoing projects. Different subsets of CDL members work collaboratively on a variety of projects in these areas.
Our research is supported in part by the National Science Foundation (NSF) and the U.S. Department of Defense (DoD).
High-Integrity Election Systems
We design, build, test, and analyze voting systems that enable voters to verify that their votes are cast, collected, and counted correctly.
For example, CDL played a crucial role in the development of the Scantegrity voting system.
- Random Sample Voting (RSV)
- Boardroom Voting
Formal-Methods Analysis of Cryptographic Protocols
We use the Cryptographic Shapes Analyzer (CPSA) to analyze protocols for structural weaknesses in the Dolev-Yao adversarial model.
For example, we recently analyzed the Secure Remote Protocol (SRP).
- How Protocols Fail
- Formal-Methods Analysis of OPAQUE
- Cryptographic Binding
- Protocol Analysis Lab (PAL)
We create assessment tools for measuring the effectiveness of various pedagogies for teaching and learning cybersecurity. We also create learning modules and educational games.
In addition, we administer cybersecurity scholarships (NSF SFS and DoD CySP) and organize cohort activities for cybersecurity scholarship students.
For example, we are working on Cybersecurity Assessment Tools (CATS).
- Cybersecurity Assessment Tools (CATS)
- Meeting Mayhem – Cybersecurity Learning Exercise
- SFS Cybersecurity Scholarships
- CySP Cybersecurity Scholarships
- INSuRE Cybersecurity Research Courses
Other Area of Research
CDL members also carry out research on a variety of other topics in cybersecurity and computer science.
- A Learning Unit on Quantum Algorithms (QALM)
- Usable String Matching by Humans in Adversarial Environments