Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,821,325 papers from all fields of science
Search
Sign In
Create Free Account
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
Create Alert
Alert
Related topics
Related topics
31 relations
Android
Authentication
Authentication protocol
Brute-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
Iulian Aciobanitei
,
Iulian Catalin Buhus
,
Mihai-Lica Pura
IEEE 12th International Symposium on Applied…
2018
Corpus ID: 52125456
The most used authentication method is based on usernames and passwords. But this is also one of the weakest. As the two values…
Expand
2016
2016
An Algorithm for Forward Reduction in Sequence-Based Software Specification
Lan Lin
,
Yufeng Xue
,
Fengguang Song
Int. J. Softw. Eng. Knowl. Eng.
2016
Corpus ID: 30052847
Sequence-based software specification is a rigorous method for deriving a formal system model based on informal requirements…
Expand
2015
2015
Evaluation and Implementation of SQRL and U2F as 2nd Factor Authenticators for CERN Single Sign-On
A. Nadeem
,
S. Lueders
,
Vincent Brillault
2015
Corpus ID: 61669816
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
Snehasish Kumar
,
Arrvindh Shriraman
,
V. Srinivasan
,
Dan Lin
,
J. Phillips
23rd International Conference on Parallel…
2014
Corpus ID: 14439221
Software data structures are a critical aspect of emerging data-centric applications which makes it imperative to improve the…
Expand
2013
2013
End to End Verification and Validation with SPIN
Asankhaya Sharma
ArXiv
2013
Corpus ID: 8007448
Over the last several years the tools used for model checking have become more efficient and usable. This has enabled users to…
Expand
2010
2010
A probability model of system downtime with implications for optimal warranty design
B. Flood
,
B. Houlding
,
Simon P. Wilson
,
S. Vilkomir
Qual. Reliab. Eng. Int.
2010
Corpus ID: 8477648
Traditional approaches toward modeling the availability of a system often do not formally take into account uncertainty over the…
Expand
2008
2008
Computer systems availability evaluation using a segregated failures model
S. Vilkomir
,
D. Parnas
,
V. Mendiratta
,
E. Murphy
Qual. Reliab. Eng. Int.
2008
Corpus ID: 15455673
This paper presents the segregated failures model (SFM) of availability of fault‐tolerant computer systems with several recovery…
Expand
2006
2006
Bimonadic Semantics for Basic Pattern Matching Calculi
Wolfram Kahl
,
J. Carette
,
Xiaoheng Ji
MPC
2006
Corpus ID: 2382616
The pattern matching calculi introduced by the first author are a refinement of the λ-calculus that integrates mechanisms…
Expand
Review
2001
Review
2001
The Tabular Method for Relational Documentation
D. Parnas
Electron. Notes Theor. Comput. Sci.
2001
Corpus ID: 44407739
Highly Cited
1999
Highly Cited
1999
Improved techniques for software testing based on markov chain usage models
J. Poore
,
Kirk Sayre
1999
Corpus ID: 60712851
Markov chain usage models have been used successfully to aid in the testing of computer software. It is possible to extend the…
Expand
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