• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.31 no.4
• /
• pp.687-699
• /
• 2021

When a vulnerability occurs in a program, it is documented and published through CVE. However, some vulnerabilities do not disclose the details of the vulnerability and in many cases the source code is not published. In the absence of such information, in order to find a vulnerability, you must find the vulnerability at the binary level. This paper aims to find out-of-bounds read vulnerability that occur very frequently among vulnerability. In this paper, we design a memory area using memory access information appearing in binary code. Out-of-bounds Read vulnerability is detected through the designed memory structure. The proposed tool showed better in code coverage and detection efficiency than the existing tools.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.34 no.11C
• /
• pp.1025-1028
• /
• 2009

This paper presents upper bounds of Maximum Likelihood (ML) decoding performance of a few irregular LDPC codes using the simple bound and ML input output weight distributions and it is shown that contrary to general opinion that as block length becomes longer, BP decoding performance becomes simply closer to ML decoding performance, before peak degradation, as block length becomes longer, BP decoding performance falls behind ML decoding performance more and after peak degradation, general opinion holds.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.529-531
• /
• 2004

Just-Just-in-Time 컴파일러를 이용하여 자바의 성능을 향상시키려면 여러 문제들을 극복하여야 한다. 이 문제 중 중요한 부분을 차지하는 것이 null check 코드와 array bound check코드를 어떻게 최적화하느냐는 것이다. Static한 컴파일 환경에서는 이미 많은 연구가 진행되어 매우 강력한 성능을 가지는 알고리즘이 알려져 있으나 이를 컴파일 시간이 수행시간의 일부인 Just-in-Time 컴파일 환경에 적응하기에는 컴파일 오버헤드가 너무 커서 적절하지 않다. 현재 Just-in-Time 컴파일러들은 가볍고 단순한 알고리즘을 적용하지만 중복된 array bounds check를 충분히 제거하지 못하거나 아니면 강력하지만 flow-insensitive한 SSA form을 기반으로 해야 하는 알고리즘을 사용하고 있다. SSA form의 적용은 SSA form으로의 변환과 되돌림에 의한 overhead로 가볍고 빠른 컴파일러를 지향하는 Just-in-Time 컴파일러에 부합되지 않는다. 본 논문은 변수간의 대소관계를 표현하는 그래프를 array bounds check 알고리즘에 적용해 충분한 power를 내면서도 flow-sensitive한 환경에서 동작하는 알고리즘을 제안한다.

• Journal of the Korean Data and Information Science Society
• /
• v.11 no.1
• /
• pp.31-35
• /
• 2000

We shall give upper and lower bounds of the odds ratio of an event by a slight condition of the conditional probability of events.

• Journal of the Korean Data and Information Science Society
• /
• v.14 no.3
• /
• pp.715-723
• /
• 2003

A tandem network in which all nodes have the same load is considered. We derive bounds on the probability that the total population of the tandem network exceeds a large value by using its relation to the stationary distribution. These bounds imply a stronger asymptotic limit than that in the large deviation theory.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.37 no.2B
• /
• pp.87-96
• /
• 2012

In this paper, we consider a 2-hop relay system where both the relay and destination nodes suffer from the arbitrary number of co-channel interferers. More specifically, assuming that the relay and access channels as well as interference channels are all subject to Rayleigh fading, we derive an exact closed-form expression for outage probability of the amplify-and-forward (AF) relay system, and furthermore compute its upper and lower bounds. Based on these bounds, we derive the upper and lower bounds on the average bit error rate (BER) of the AF relay system. We also confirm the accuracy of our derivation by investigating the performance gap between the performance bounds under consideration and simulation results.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.25 no.5B
• /
• pp.797-808
• /
• 2000

This paper presents the bit error rate(BER) upper bounds for trellis coded asymmetric 8PSK(TC-A8PSK) system using the Ka-band satellite in the rain fading environment. The probability density function(PDF) for the rain fading random variable can be theoretically derived by assuming that the rain attenuation can be approximated to a long-normal distribution and the rain fading parameters are calculated by using the rain precipitation data from the Crane global model. Furthermore, we analyze the BER upper bounds of TC-A8PSK system according to the number of states in the trellis diagram and the availability of channel state information(CSI). In the past, Divsalar and Simon[9] has analyzed the BER upper bounds of 2-state TCM system in Rician fading channels however this paper is the first to analyze the BER upper bounds of TCM system in the rain fading channels. Finally, we summarize the dominant six factors which are closely related to the BER upper bounds of TC-A8PSK satellite system in the rain fading channel as follows: 1) frequency band, 2) rain intensity, 3) elevation angle, 4) signal to noise ratio, 5) asymmetric angle, and 6) availability of CSI.

• Journal of KIISE:Information Networking
• /
• v.37 no.6
• /
• pp.483-488
• /
• 2010

Due to the prevalence of various mobile devices and wireless broadband networks, there has been a significant increase in interest and demand for multimedia streaming services. Moreover, the user can service the participatory video broadcasting service in the mobile device and it can be used to deliver the real-time news and more variety information in the user side. Live multimedia service of user participation should consider not only the video quality but also the delay bounds and continuity of video playback for improving the user perceived QoS (Quality of Service) of streaming service. In this paper, we propose an adaptive rate control scheme, called DeBuG (Delay Bounds Guaranteed), to guarantee the delay bounds and continuity of video playback for the real-time streaming in mobile devices. In order to provide those, the proposed scheme has a quality adaptation function based on the transmission buffer status and network status awareness. It also has a selective frame dropper, which is based on the media priority, before the transmission video frames. The simulation results demonstrate the effectiveness of our proposed scheme.

• Journal of applied mathematics & informatics
• /
• v.34 no.3_4
• /
• pp.295-308
• /
• 2016

Depending upon the nature of the problem, different divergence measures are suitable. So it is always desirable to develop a new divergence measure. In the present work, new information divergence measure, which is exponential in nature, is introduced and characterized. Bounds of this new measure are obtained in terms of various symmetric and non- symmetric measures together with numerical verification by using two discrete distributions: Binomial and Poisson. Fuzzy information measure and Useful information measure corresponding to new exponential divergence measure are also introduced.

• 한국데이터정보과학회:학술대회논문집
• /
• 2003.10a
• /
• pp.155-162
• /
• 2003

A tandem network in which all nodes have the same load is considered. We derive bounds on the probability that the total population of the tandem network exceeds a large value by using its relation to the stationary distribution. These bounds imply a stronger asymptotic limit than that in the large deviation theory.