Increasing Usability of Spin-based C Code Verification Using a Harness Definition Language Leveraging Model-driven Code Checking to Practitioners Daniel Ratiu Andreas Ulrich

Source URL: mbeddr.com

• Model checkers
• Computing
• Theoretical computer science
• Software engineering
• Formal methods
• Promela
• SPIN model checker
• Model checking
• Guard
• Certificate
• Formal verification
• Printf format string

Why Do Developers Get Password Storage Wrong? A Qualitative Usability Study

Source URL: acmccs.github.io

• Cryptography
• Computer security
• Computer access control
• Password
• Crypt
• Salt
• Rainbow table
• Usability
• Bcrypt
• Brute-force attack
• Key derivation function
• Password policy

eCommerce Apps Wir bei ieffects sind davon überzeugt, dass Usability im B2B eCommerce ein entscheidender Erfolgsfaktor ist. Denn die Kunden unserer Kunden möchten ihren Job erledigen und zwar möglichst schnell, einfac

Source URL: www.ieffects.com

Comparing the Usability of Cryptographic APIs Yasemin Acar, Michael Backes, Sascha Fahl, Simson Garfinkel∗ , Doowon Kim† , Michelle L. Mazurek† , and Christian Stransky CISPA, Saarland University; ∗ National Inst

Source URL: www.ieee-security.org

• Cryptography
• Cryptographic software
• Technical communication
• E-commerce
• Microsoft CryptoAPI
• Public-key cryptography
• Key
• Usability
• RSA
• Application programming interface
• Symmetric-key algorithm
• OpenSSL

PDF Document

Source URL: www.usability-ux.fit.fraunhofer.de

PDF Document

Source URL: www.usability-ux.fit.fraunhofer.de

PDF Document

Source URL: www.usability-ux.fit.fraunhofer.de

PDF Document

Source URL: www.usability-ux.fit.fraunhofer.de

PDF Document

Source URL: usability.msu.edu

PDF Document

Source URL: usability-toolkit.de