Buchumschlag

Are Users More Willing to Use Formally Verified Password Managers?

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Carreira, Carolina, Ferreira, João F., Mendes, Alexandra, Christin, Nicolas
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Cryptography and Security Human-Computer Interaction Logic in Computer Science Software Engineering D.3; F.4; H.5; I.7; E.4
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Systematic Review of Security Communication Strategies: Guidelines and Open Challenges
von: Carreira, Carolina, et al.
Veröffentlicht: (2025)

FORGE: An LLM-driven Framework for Large-Scale Smart Contract Vulnerability Dataset Construction
von: Chen, Jiachi, et al.
Veröffentlicht: (2025)

Formal Model Guided Conformance Testing for Blockchains
von: Drobnjakovic, Filip, et al.
Veröffentlicht: (2025)

KidsNanny: A Two-Stage Multimodal Content Moderation Pipeline Integrating Visual Classification, Object Detection, OCR, and Contextual Reasoning for Child Safety
von: Panchal, Viraj, et al.
Veröffentlicht: (2026)

Uma Prova de Conceito para a Verificação Formal de Contratos Inteligentes
von: Neves, Murilo de Souza, et al.
Veröffentlicht: (2026)

The (Un)suitability of Passwords and Password Managers in Virtual Reality
von: Kablo, Emiram, et al.
Veröffentlicht: (2025)

From Multi-Agent Systems and the Semantic Web to Agentic AI: A Unified Narrative of the Web of Agents
von: Petrova, Tatiana, et al.
Veröffentlicht: (2025)

Improving Users' Passwords with DPAR: a Data-driven Password Recommendation System
von: Morag, Assaf, et al.
Veröffentlicht: (2024)

IDFace: Face Template Protection for Efficient and Secure Identification
von: Kim, Sunpill, et al.
Veröffentlicht: (2025)

Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem Proving
von: Rashie, Devakh, et al.
Veröffentlicht: (2026)

Multilingual AI-Driven Password Strength Estimation with Similarity-Based Detection
von: Palaniappan, Nikitha M., et al.
Veröffentlicht: (2026)

Killer Apps: Low-Speed, Large-Scale AI Weapons
von: Feldman, Philip, et al.
Veröffentlicht: (2024)

On-Device Generative AI for GDPR-Compliant Visual Monitoring: Natural Language Alerts from Local Object Detection
von: Schappacher-Tilp, Gudrun, et al.
Veröffentlicht: (2026)

Secure and Scalable Blockchain Voting: A Comparative Framework and the Role of Large Language Models
von: Kiashemshaki, Kiana, et al.
Veröffentlicht: (2025)

A Formally Verified Lightning Network
von: Fabiański, Grzegorz, et al.
Veröffentlicht: (2025)

Ollabench: Evaluating LLMs' Reasoning for Human-centric Interdependent Cybersecurity
von: Nguyen, Tam n.
Veröffentlicht: (2024)

Toward Secure and Compliant AI: Organizational Standards and Protocols for NLP Model Lifecycle Management
von: Arora, Sunil, et al.
Veröffentlicht: (2025)

"We are currently clean on OPSEC": Why JD Can't Encrypt
von: Chiodo, Maurice, et al.
Veröffentlicht: (2026)

Powerful Training-Free Membership Inference Against Autoregressive Language Models
von: Ilić, David, et al.
Veröffentlicht: (2026)

Quantifying Return on Security Controls in LLM Systems
von: Moulton, Richard Helder, et al.
Veröffentlicht: (2025)

Reading Between the Code Lines: On the Use of Self-Admitted Technical Debt for Security Analysis
von: Ferreyra, Nicolás E. Díaz, et al.
Veröffentlicht: (2026)

Cyber Security aboard Micro Aerial Vehicles: An OpenTitan-based Visual Communication Use Case
von: Ciani, Maicol, et al.
Veröffentlicht: (2023)

Privately Fine-Tuned LLMs Preserve Temporal Dynamics in Tabular Data
von: Rosenblatt, Lucas, et al.
Veröffentlicht: (2026)

VeriGuard: Enhancing LLM Agent Safety via Verified Code Generation
von: Miculicich, Lesly, et al.
Veröffentlicht: (2025)

Nudging Users to Change Breached Passwords Using the Protection Motivation Theory
von: Zou, Yixin, et al.
Veröffentlicht: (2024)

Do LLMs Game Formalization? Evaluating Faithfulness in Logical Reasoning
von: Kim, Kyuhee, et al.
Veröffentlicht: (2026)

CovRL: Fuzzing JavaScript Engines with Coverage-Guided Reinforcement Learning for LLM-based Mutation
von: Eom, Jueon, et al.
Veröffentlicht: (2024)

Taint Analysis for Graph APIs Focusing on Broken Access Control
von: Lambers, Leen, et al.
Veröffentlicht: (2025)

Optimal Circuit Synthesis of Linear Codes for Error Detection and Correction
von: Yang, Xi, et al.
Veröffentlicht: (2026)

Big Help or Big Brother? Auditing Tracking, Profiling, and Personalization in Generative AI Assistants
von: Vekaria, Yash, et al.
Veröffentlicht: (2025)

Medical Image Data Provenance for Medical Cyber-Physical System
von: Kumar, Vijay, et al.
Veröffentlicht: (2024)

Toward Causal-Visual Programming: Enhancing Agentic Reasoning in Low-Code Environments
von: Xu, Jiexi, et al.
Veröffentlicht: (2025)

Pramana: A Protocol-Layer Treatment of Claim Verification in Autonomous Agent Networks
von: Kadaboina, Ravi Kiran
Veröffentlicht: (2026)

Predicting Known Vulnerabilities from Attack Descriptions Using Sentence Transformers
von: Othman, Refat
Veröffentlicht: (2026)

Qualitative Coding Analysis through Open-Source Large Language Models: A User Study and Design Recommendations
von: Ngo, Tung T., et al.
Veröffentlicht: (2026)

Interactive Formal Specification for Mathematical Problems of Engineers
von: Neuper, Walther
Veröffentlicht: (2024)

Provable Repair of Deep Neural Network Defects by Preimage Synthesis and Property Refinement
von: Ma, Jianan, et al.
Veröffentlicht: (2025)

Can Safety Fine-Tuning Be More Principled? Lessons Learned from Cybersecurity
von: Williams-King, David, et al.
Veröffentlicht: (2025)

4Doodle: Two-handed Gestures for Immersive Sketching of Architectural Models
von: Fonseca, Fernando, et al.
Veröffentlicht: (2024)

Neurosymbolic Feature Extraction for Identifying Forced Labor in Supply Chains
von: Wang, Zili, et al.
Veröffentlicht: (2025)