Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

SQRL

Known as: Secure Quick Reliable Login 
SQRL or Secure, Quick, Reliable Login (pronounced "squirrel" /ˈskwɝl/ ) (formerly Secure QR Login) is a draft open standard for secure website login… Expand
Wikipedia

Related topics

Related topics

31 relations
AndroidAuthenticationAuthentication protocolBrute-force attack
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Lightweight Version of SQRL Authentication Protocol Based on Cryptography in the Cloud
The most used authentication method is based on usernames and passwords. But this is also one of the weakest. As the two values… Expand
  • figure 1
  • figure 2
  • figure 3
2016
2016
An Algorithm for Forward Reduction in Sequence-Based Software Specification
Sequence-based software specification is a rigorous method for deriving a formal system model based on informal requirements… Expand
  • table 1
  • table 2
  • table 3
  • figure 1
  • table 4
2015
2015
Evaluation and Implementation of SQRL and U2F as 2nd Factor Authenticators for CERN Single Sign-On
Secure Quick Reliable Login (SQRL) and Universal 2 Factor (U2F) are two new strong authentication protocols. They both operate on… Expand
2014
2014
SQRL: Hardware accelerator for collecting software data structures
Software data structures are a critical aspect of emerging data-centric applications which makes it imperative to improve the… Expand
  • figure 1
  • figure 2
  • table 1
2013
2013
End to End Verification and Validation with SPIN
Over the last several years the tools used for model checking have become more efficient and usable. This has enabled users to… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table I
2010
2010
A probability model of system downtime with implications for optimal warranty design
Traditional approaches toward modeling the availability of a system often do not formally take into account uncertainty over the… Expand
  • figure 1
  • table I
  • figure 2
  • figure 3
  • figure 4
2008
2008
Computer systems availability evaluation using a segregated failures model
This paper presents the segregated failures model (SFM) of availability of fault-tolerant computer systems with several recovery… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2006
2006
Bimonadic Semantics for Basic Pattern Matching Calculi
The pattern matching calculi introduced by the first author are a refinement of the λ-calculus that integrates mechanisms… Expand
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Review
2001
Review
2001
The Tabular Method for Relational Documentation
  • D. Parnas
  • Electron. Notes Theor. Comput. Sci.
  • 2001
    • Corpus ID: 44407739
Abstract The basic mathematical laws of relations can be presented and verified using compact abstract notation. However… Expand
1999
1999
Improved techniques for software testing based on markov chain usage models
Markov chain usage models have been used successfully to aid in the testing of computer software. It is possible to extend the… Expand
  • table 1
  • figure 1
  • table 2
  • figure 2
  • table 3
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE