Towards Formal Verification of Password Generation Algorithms used in Password Managers.
Miguel GriloJoão F. FerreiraJosé Bacelar AlmeidaPublished in: CoRR (2021)
Keyphrases
- formal verification
- data structure
- learning algorithm
- information technology
- significant improvement
- optimization problems
- data mining techniques
- data mining algorithms
- graph theory
- artificial intelligence
- information systems
- worst case
- computationally efficient
- theoretical analysis
- model checking
- information security