Proof-of-Work CAPTCHA with password cracking functionality.

Szymon Chadam Pawel Topa

Published in: FedCSIS (Communication Papers) (2023)

Keyphrases

user authentication
keystroke dynamics
theorem prover
theorem proving
information security
artificial intelligence
reinforced concrete
real time
automated theorem proving
logical rules