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

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

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.

scholarly journals Thread-Aware Mechanism to Enhance Inter-Node Load Balancing for Multithreaded Applications on NUMA Systems

2021 ◽  
Vol 11 (14) ◽  
pp. 6486
Author(s):  
Mei-Ling Chiang ◽  
Wei-Lun Su
Keyword(s):  
Load Balancing ◽  
Critical Path ◽  
Selection Procedure ◽  
Remote Memory ◽  
Data Mapping ◽  
Linux Kernel ◽  
Access Memory ◽  
Selection Policy ◽  
Benchmark Suite ◽  
Thread Mapping

NUMA multi-core systems divide system resources into several nodes. When an imbalance in the load between cores occurs, the kernel scheduler’s load balancing mechanism then migrates threads between cores or across NUMA nodes. Remote memory access is required for a thread to access memory on the previous node, which degrades performance. Threads to be migrated must be selected effectively and efficiently since the related operations run in the critical path of the kernel scheduler. This study focuses on improving inter-node load balancing for multithreaded applications. We propose a thread-aware selection policy that considers the distribution of threads on nodes for each thread group while migrating one thread for inter-node load balancing. The thread is selected for which its thread group has the least exclusive thread distribution, and thread members are distributed more evenly on nodes. This has less influence on data mapping and thread mapping for the thread group. We further devise several enhancements to eliminate superfluous evaluations for multithreaded processes, so the selection procedure is more efficient. The experimental results for the commonly used PARSEC 3.0 benchmark suite show that the modified Linux kernel with the proposed selection policy increases performance by 10.7% compared with the unmodified Linux kernel.

Mini-ATX Computer System in Vehicle

2015 ◽  
Vol 1115 ◽  
pp. 484-487 ◽  
Author(s):  
Muhammad Sami ◽  
Akram M. Zeki
Keyword(s):  
Operating System ◽  
Computer System ◽  
Linux Kernel

The aim of this study is to create and assemble the system with customizing/building Linux kernel and environments to be compatible and efficient on mini-ITX computer. The objective of the study is to create/customizing lightweight operating system using GNU/Linux to be used on computer to be used on vehicle. The system would also optimize the size and functionalities most probably would be implemented on car computer system.Keywords: mini-ATX, CarPC, Linux, Ubuntu, Qt, QML

Sign in / Sign up

Export Citation Format

Share Document