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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
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
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
Secure Quick Reliable Login (SQRL) and Universal 2 Factor (U2F) are two new strong authentication protocols. They both operate on… Expand
2014
2014
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
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
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
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
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
  • 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
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