3 papers
cs.LO2026
Taming the Search Space: Solving and Generating Hitori and Binairo Puzzles
Lukas Zandomeneghi, Rainhard Dieter Findling, Marc Kurz
This paper investigates solving and generation techniques for the logic puzzles Hitori and Binairo. Two solving paradigms are compared: backtracking with domain-specific optimizati…
cs.HC2026
Continuous Face Authentication on Mobile and Desktop Platforms: A Comparative Study
Miriam Palmetshofer, Rainhard Dieter Findling, Marc Kurz
Personal devices hold sensitive data and provide access to sensitive services. Conventional personal device authentication verifies users' identity only at the moment access is gra…
cs.HC2025
User-to-PC Authentication Through Confirmation on Mobile Devices: On Usability and Performance
Andreas Pramendorfer, Rainhard Dieter Findling
Protecting personal computers (PCs) from unauthorized access typically relies on password authentication, which is know to suffer from cognitive burden and weak credentials. As man…