• Title/Summary/Keyword: Memory Safety

Search Result 225, Processing Time 0.027 seconds

Limitations and Future Work Suggetion on Safe Interaction Model between Rust and C/C++ (Rust와 C/C++간 안전한 상호작용에 관한 연구의 맹점과 개선 모델 연구)

  • Taehyun Noh;Hojoon Lee
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.33 no.2
    • /
    • pp.345-351
    • /
    • 2023
  • As software development progresses and programs become increasingly complex, the cost of reducing and managing software vulnerabilities has also increased. To address this issue, the Rust programming language, which guarantees Memory Safety, has been suggested as an alternative for more error-prone languages such as traditional C/C++. However, Rust also supports the use of libraries written in C/C++ to enhance compatibility with older languages and avoid redundant development, compromising its original guarantees. For example, memory corruption happened in C/C++ can lead to exploits such as buffer overflow, Use-After-Free and null-pointer dereferecing. To tackle this problem, recent studies have been conducted to secure interactino between Rust and C/C++ by isolation. This paper uncovers areas that have not been fully explored in previous studies, following limitation analysis on each. Finally, this paper suggests the future direction of research on safe interaction between Rust and C/C++.

Effects of the Combination Herbal Extract on Working Memory and White Matter Integrity in Healthy Individuals with Subjective Memory Complaints : A Randomized, Double-Blind, Placebo-Controlled Clinical Trial

  • Kwon, Oran;Lee, Sunho;Ban, Soonhyun;Im, Jooyeon J.;Lee, Doo Suk;Lee, Eun Hee;Kim, Joohee;Lim, Soo Mee;Lee, Sang Gon;Kang, Ilhyang;Kim, Kyung-Hee;Yoon, Sujung;Lee, Sun Hea
    • Korean Journal of Biological Psychiatry
    • /
    • v.22 no.2
    • /
    • pp.63-77
    • /
    • 2015
  • Objectives The combination extract of four kinds of herbs, Gastrodia elata, Liriope platyphylla, Dimocarpus longan, and Salvia miltiorrhiza, has shown to have memory improving effects in mice. The aim of this study was to investigate the efficacy and safety of the herbal mixture for improving working memory as well as microstructural changes in white matter integrity in individuals with subjective memory complaints. Methods Seventy-five individuals with subjective memory complaints were assigned to receive either placebo (n = 15) or herbal mixture (low-dose group, n = 30 and high-dose group, n = 30) supplementation in an 8-week, randomized, double-blind, placebo-controlled clinical trial. Changes in working memory performance and fractional anisotropy (FA) values reflecting white matter integrity from baseline to 8-week endpoint were assessed. Results The herbal mixture group showed an increase in working memory performance compared to the placebo group (p for interaction = 0.001). In addition, the herbal mixture group showed an increase in FA values in the temporo-parietal regions (corrected p < 0.05), which are crucially involved in working memory function and are among the most affected regions in patients with cognitive impairments. Conclusions Findings from this study indicate that the herbal mixture may be a promising therapeutic option for individuals with subjective memory complaints.

Secure Deletion for Flash Memory File System (플래시메모리 파일시스템을 위한 안전한 파일 삭제 기법)

  • Sun, Kyoung-Moon;Choi, Jong-Moo;Lee, Dong-Hee;Noh, Sam-H.
    • Journal of KIISE:Computing Practices and Letters
    • /
    • v.13 no.6
    • /
    • pp.422-426
    • /
    • 2007
  • Personal mobile devices equipped with non-volatile storage such as MP3 player, PMP, cellular phone, and USB memory require safety for the stored data on the devices. One of the safety requirements is secure deletion, which is removing stored data completely so that the data can not be restored illegally. In this paper, we study how to design the secure deletion on Flash memory, commonly used as storage media for mobile devices. We consider two possible secure deletion policy, named zero-overwrite and garbage-collection respectively, and analyze how each policy affects the performance of Flash memory file systems. Then, we propose an adaptive file deletion scheme that exploits the merits of the two possible policies. Specifically, the proposed scheme applies the zero-overwrite policy for small files, whereas it employs the garbage-collection policy for large files. Real implementation experiments show that the scheme is not only secure but also efficient.

Tidal Level Prediction of Busan Port using Long Short-Term Memory (Long Short-Term Memory를 이용한 부산항 조위 예측)

  • Kim, Hae Lim;Jeon, Yong-Ho;Park, Jae-Hyung;Yoon, Han-sam
    • Journal of the Korean Society of Marine Environment & Safety
    • /
    • v.28 no.4
    • /
    • pp.469-476
    • /
    • 2022
  • This study developed a Recurrent Neural Network model implemented through Long Short-Term Memory (LSTM) that generates long-term tidal level data at Busan Port using tide observation data. The tide levels in Busan Port were predicted by the Korea Hydrographic and Oceanographic Administration (KHOA) using the tide data observed at Busan New Port and Tongyeong as model input data. The model was trained for one month in January 2019, and subsequently, the accuracy was calculated for one year from February 2019 to January 2020. The constructed model showed the highest performance with a correlation coefficient of 0.997 and a root mean squared error of 2.69 cm when the tide time series of Busan New Port and Tongyeong were inputted together. The study's finding reveal that long-term tidal level data prediction of an arbitrary port is possible using the deep learning recurrent neural network model.

Relationship between Hospital Safety Symbol Shapes and Memory (병원 안전 심볼의 형태와 기억과의 관계)

  • Seok-Hwan Bae;Myung-Chul Park;Jae-Sang You;Yong-Gwon Kim;Cheul-Ho Ryoo;Dong-Hyun Oh
    • Journal of radiological science and technology
    • /
    • v.46 no.2
    • /
    • pp.115-122
    • /
    • 2023
  • The purpose of this study was to examine the association between the shapes and colors of emergency exit symbols, magnetic field warning symbols, and radiation zone symbols used in hospitals for staff and patient safety and their effects on cognitive memory. The hippocampal region's signal intensity(SI) was analyzed using fMRI. The Symbol 2 (1.75±0.54) with a green background had the highest signal intensity (SI) for emergency exits, according to the findings. The black symbol 2 (1.60±0.51) with a yellow background had the highest signal intensity (SI) for the magnetic field warning symbol, followed by the black symbol 1 (1.59±0.65) with an orange background. The black symbol 2 (1.59±0.59) with a yellow background and the black symbol 3 (1.58±0.52) with an orange background had the low signal intensity with slight differences as for the radiation zone symbols. In conclusion, it was determined that the signal intensity of the black symbol with a yellow background was the highest in the magnetic field area and radiation area. This implies that symbols with a high signal intensity (SI) must be utilized intensively. To ensure that the correct meaning of the symbols is communicated in the future, they must also be utilized regularly and continually in disaster safety education.

A Review of Cognitive Aspects of Air Traffic Controllers from a Psychological Perspective (심리학으로 바라본 항공교통관제사 인지능력)

  • Kwon, Hyuk-Jin
    • Journal of the Korean Society for Aviation and Aeronautics
    • /
    • v.22 no.4
    • /
    • pp.34-41
    • /
    • 2014
  • Aviation safety issues have drawn much attention from the international community due to the growing demand for air travel. Although it is a widely accepted fact that human-related factors are closely linked to aviation safety, there is lack of understanding what roles those factors play in aviation, in the field of air traffic control in particular. It has been reported that the role of air traffic controllers significantly affects air safety. This review will discuss cognitive aspects of expertise in air traffic control including time perception, working memory, reasoning, perception, attention, scanning/vigilance, decision making, and planning with examples of how each aspect can be dealt with in performing air traffic control duties. The relevant studies in psychology have also been briefly reviewed in the interest of enhancing understanding of characteristics of air traffic control tasks and the related human factors. This review concludes with a call for more in-depth research into cognitive factors in air traffic control.

Understanding radiation effects in SRAM-based field programmable gate arrays for implementing instrumentation and control systems of nuclear power plants

  • Nidhin, T.S.;Bhattacharyya, Anindya;Behera, R.P.;Jayanthi, T.;Velusamy, K.
    • Nuclear Engineering and Technology
    • /
    • v.49 no.8
    • /
    • pp.1589-1599
    • /
    • 2017
  • Field programmable gate arrays (FPGAs) are getting more attention in safety-related and safety-critical application development of nuclear power plant instrumentation and control systems. The high logic density and advancements in architectural features make static random access memory (SRAM)-based FPGAs suitable for complex design implementations. Devices deployed in the nuclear environment face radiation particle strike that causes transient and permanent failures. The major reasons for failures are total ionization dose effects, displacement damage dose effects, and single event effects. Different from the case of space applications, soft errors are the major concern in terrestrial applications. In this article, a review of radiation effects on FPGAs is presented, especially soft errors in SRAM-based FPGAs. Single event upset (SEU) shows a high probability of error in the dependable application development in FPGAs. This survey covers the main sources of radiation and its effects on FPGAs, with emphasis on SEUs as well as on the measurement of radiation upset sensitivity and irradiation experimental results at various facilities. This article also presents a comparison between the major SEU mitigation techniques in the configuration memory and user logics of SRAM-based FPGAs.

Assessing The Landscape: A Survey on Foreign Function Interface Isolation in Rust (Rust 언어와의 외부 함수 인터페이스 격리 연구방향에 관한 연구)

  • Martin Kayondo;Junseung You;Jinmyeong Choi;Yunheung Paek
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2024.05a
    • /
    • pp.310-313
    • /
    • 2024
  • Rust has gained recognition for its emphasis on and commitment to providing memory safety. However, seamlessly integrating it with Foreign Function Interfaces (FFIs) written in unsafe languages remains a significant challenge towards achieving complete memory safety. To address this challenge, researchers have proposed Foreign Function Isolation as a potential solution, leading to emergence of various approaches in this domain. This paper critically evaluates existing solutions and illuminates the gaps that need to be addressed to realize practical foreign function isolation in Rust.

The adverse impact of personal protective equipment on firefighters' cognitive functioning

  • Park, Juyeon
    • The Research Journal of the Costume Culture
    • /
    • v.27 no.1
    • /
    • pp.1-10
    • /
    • 2019
  • Firefighters wear Personal Protective Equipment (PPE) for protection from environmental hazards. However, due to the layers of protective functions, the PPE inevitably adds excessive weight, bulkiness, and thermal stress to firefighters. This study investigated the adverse impact of wearing PPE as an occupational stressor on the firefighter's cognitive functioning. Twenty-three firefighters who had been involved in firefighting at least for 1 year were recruited. The overall changing trend in the firefighter's cognitive functioning (short-term memory, long-term memory, and inductive reasoning) was measured by the scores of three standardized cognitive tests at the baseline and the follow-up, after participating in a moderate-intensity physical activity, wearing a full ensemble of the PPE. The study findings evinced the negative impact of the PPE on the firefighter's cognitive functioning, especially in short-term memory and inductive reasoning. No significant influence was found on the firefighter's long-term memory. The results were consistent when the participant's age and BMI were controlled. The outcomes of the present study will not only fill the gap in the literature, but also provide critical justification to stakeholders, including governments, policymakers, academic communities, and industry, for such efforts to improve human factors of the firefighter's PPE by realizing the negative consequences of the added layers and protective functions on their occupational safety. Study limitations and future directions were also discussed.

The Effect of Ageing on the Transformation Behavior of Ti-50.4at.% Ni Alloy(II) (Ti-50.4at.%Ni합금의 변태거동에 미치는 시효처리의 영향(II))

  • Kim, Sung-Jin;Woo, Heung-Sik;Park, Sung-Bum
    • Journal of the Korean Society of Safety
    • /
    • v.20 no.3 s.71
    • /
    • pp.27-33
    • /
    • 2005
  • The shape memory effect in Ti-50.4at.%Ni alloy after solution treatment at 1273K for 2h and aged at 350, 450, $550^{\circ}C$ for 0.5, 1, 1.5, 2, 4, 10hrs had been investigated by differential scanning calorimetry measurement. It was found that ageing in the temperature range of $350^{\circ}C{\sim}550^{\cric}C$ induced complex transformation behavior, involving the R-phase and multiple-stage martensitic transformation. Usually aged Ni-rich NiTi alloys undergo martensitic transformation on cooling from high temperatures in two step : Austenite to R-phase and then R-phase to Martensite (normal behavior). In sample aged at $350^{\circ}C$ two distinct DSC peaks arised giving evidence of intermediate stages of martensite transformation. This results in the nucleation and growth of coherent $Ni_4Ti_3$-precipitate. These explain all features of the evolution of DSC charts during ageing including the number of distinct DS peaks and their positions.