scholarly journals Static verification for memory safety of Linux kernel drivers

2018 ◽  
Vol 30 (6) ◽  
pp. 143-160 ◽  
Author(s):  
A.A. Vasilyev
Keyword(s):  
Linux Kernel ◽  
Memory Safety ◽  
Static Verification

Modeling Environment for Static Verification of Linux Kernel Modules

2015 ◽  
pp. 400-414 ◽  
Author(s):  
Alexey Khoroshilov ◽  
Vadim Mutilin ◽  
Evgeny Novikov ◽  
Ilja Zakharov
Keyword(s):  
Linux Kernel ◽  
Static Verification ◽  
Modeling Environment

scholarly journals Static Verification of Linux Kernel Configurations

2017 ◽  
Vol 29 (4) ◽  
pp. 217-230
Author(s):  
S.V. Kozin ◽  
V.S. Mutilin
Keyword(s):  
Linux Kernel ◽  
Static Verification

scholarly journals Toward Linux kernel memory safety

2018 ◽  
Vol 48 (12) ◽  
pp. 2237-2256
Author(s):  
Elena Reshetova ◽  
Hans Liljestrand ◽  
Andrew Paverd ◽  
N. Asokan
Keyword(s):  
Linux Kernel ◽  
Memory Safety

Pattern-based environment modeling for static verification of Linux kernel modules

2015 ◽  
Vol 41 (3) ◽  
pp. 183-195 ◽  
Author(s):  
I. S. Zakharov ◽  
V. S. Mutilin ◽  
A. V. Khoroshilov
Keyword(s):  
Linux Kernel ◽  
Environment Modeling ◽  
Static Verification

Machine learning for load balancing in the Linux kernel

2020 ◽  
Author(s):  
Jingde Chen ◽  
Subho S. Banerjee ◽  
Zbigniew T. Kalbarczyk ◽  
Ravishankar K. Iyer
Keyword(s):  
Machine Learning ◽  
Load Balancing ◽  
Linux Kernel

scholarly journals A study of persistent memory bugs in the Linux kernel

2021 ◽  
Author(s):  
Duo Zhang ◽  
Om Rameshwar Gatla ◽  
Wei Xu ◽  
Mai Zheng
Keyword(s):  
Linux Kernel ◽  
Persistent Memory

RCU Usage In the Linux Kernel

2020 ◽  
Vol 54 (1) ◽  
pp. 47-63
Author(s):  
Paul E. McKenney ◽  
Joel Fernandes ◽  
Silas Boyd-Wickizer ◽  
Jonathan Walpole
Keyword(s):  
Linux Kernel

scholarly journals A Framework for Continuous Authentication Based on Touch Dynamics Biometrics for Mobile Banking Applications

Sensors ◽  
2021 ◽  
Vol 21 (12) ◽  
pp. 4212
Author(s):  
Priscila Morais Argôlo Bonfim Estrela ◽  
Robson de Oliveira Albuquerque ◽  
Dino Macedo Amaral ◽  
William Ferreira Giozza ◽  
Rafael Timóteo de Sousa Júnior
Keyword(s):  
User Authentication ◽  
Internet Banking ◽  
Supervised Machine Learning ◽  
Smart Devices ◽  
Static Verification ◽  
User Behaviors ◽  
Legitimate User ◽  
Continuous User ◽  
Mobile Banking Applications ◽  
Effective Layer

As smart devices have become commonly used to access internet banking applications, these devices constitute appealing targets for fraudsters. Impersonation attacks are an essential concern for internet banking providers. Therefore, user authentication countermeasures based on biometrics, whether physiological or behavioral, have been developed, including those based on touch dynamics biometrics. These measures take into account the unique behavior of a person when interacting with touchscreen devices, thus hindering identitification fraud because it is hard to impersonate natural user behaviors. Behavioral biometric measures also balance security and usability because they are important for human interfaces, thus requiring a measurement process that may be transparent to the user. This paper proposes an improvement to Biotouch, a supervised Machine Learning-based framework for continuous user authentication. The contributions of the proposal comprise the utilization of multiple scopes to create more resilient reasoning models and their respective datasets for the improved Biotouch framework. Another contribution highlighted is the testing of these models to evaluate the imposter False Acceptance Error (FAR). This proposal also improves the flow of data and computation within the improved framework. An evaluation of the multiple scope model proposed provides results between 90.68% and 97.05% for the harmonic mean between recall and precision (F1 Score). The percentages of unduly authenticated imposters and errors of legitimate user rejection (Equal Error Rate (EER)) are between 9.85% and 1.88% for static verification, login, user dynamics, and post-login. These results indicate the feasibility of the continuous multiple-scope authentication framework proposed as an effective layer of security for banking applications, eventually operating jointly with conventional measures such as password-based authentication.

Sign in / Sign up

Export Citation Format

Share Document