Reasoning Analytically about Password-Cracking Software.
Enze LiuAmanda NakanishiMaximilian GollaDavid CashBlase UrPublished in: IEEE Symposium on Security and Privacy (2019)
Keyphrases
- software systems
- software architecture
- knowledge representation
- automated reasoning
- knowledge base
- software design
- source code
- software development
- software tools
- data sets
- reasoning systems
- software package
- probabilistic reasoning
- software maintenance
- test cases
- case study
- software components
- expert systems
- meta level
- information systems
- neural network
- reasoning tasks
- real time
- reinforced concrete