• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.29 no.4
• /
• pp.807-819
• /
• 2019

Greybox fuzzing is known as an effective method to discover unknown security flaws reside in software and has been actively researched today. However, most of greybox fuzzing tools require an executable file. Because of this, a library, which cannot be executed by itself requires an additional executable file for greybox fuzzing. Generating such an executable file is challengeable because it requires both understanding of the library and fuzzing. In this research, we suggest the approach to generate an executable file automatically for a library and implement this approach as a tool based on the LLVM framework. This tool shows that executable files and seed files can be generated automatically by static/dynamic analysis of a unit test in the target project. A generated executable file is compatible with various greybox fuzzers like AFL because it has a common interface for greybox fuzzers. We show the performance of this tool as code coverage and discovered unknown security bugs using generated executable files and seed files from open source projects through this tool.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.20 no.6
• /
• pp.541-547
• /
• 2019

Recent developments in hacking technology are continuing to increase the number of new security vulnerabilities. Approximately 80,000 new vulnerabilities have been registered in the Common Vulnerability Enumeration (CVE) database, which is a representative vulnerability database, from 2010 to 2015, and the trend is gradually increasing in recent years. While security vulnerabilities are growing at a rapid pace, responses to security vulnerabilities are slow to respond because they rely on manual analysis. To solve this problem, there is a need for a technology that can automatically detect and patch security vulnerabilities and respond to security vulnerabilities in advance. In this paper, we propose the technology to extract the features of the vulnerability-discovery target binary through complexity analysis, and select a vulnerability-discovery strategy suitable for the feature and automatically explore the vulnerability. The proposed technology was compared to the AFL, ANGR, and Driller tools, with about 6% improvement in code coverage, about 2.4 times increase in crash count, and about 11% improvement in crash incidence.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2014.05a
• /
• pp.280-283
• /
• 2014

Cloud Computing virtualizes logical resources like cpu, memory and disks etcs from physical machines. This virtualization technology increases computing resource utilization and supports dynamic resource allocations. Because of these benefits, global cloud computing services like Amazon AWS, Google Cloud and Apple iCloud are prevalent. With this cloud Computing services, there has been a request about cloud migration between different cloud environments. If one service which operates in a cloud computing environment wants to migrate to another cloud environment, there should have been a compitability between two different cloud environment. but even global cloud computing services do not support this compitability. In this paper, we suggest a process and technology to cloud migrations based on open sources.

• KIPS Transactions on Software and Data Engineering
• /
• v.8 no.4
• /
• pp.171-178
• /
• 2019

The use of anti-scatter grids in radiographic imaging has the advantage of preventing the image distortion caused by scattered radiation. However, it carries the side effect of leaving artifacts in the X-ray image. In this paper, we propose a grid line suppression technique using discrete cosine transform(DCT). In X-ray images, the grid lines have different characteristics depending on the shape of the object and the area of the image. To solve this problem, we adopt the DCT transform based on a dynamic segmentation, and propose a filter transfer function for each individual segment. An algorithm for detecting the band of grid lines in frequency domain and a band stop filter(BSF) with a filter transfer function of a combination of Kaiser window and Butterworth filter have been proposed. To solve the blocking effects, we present a method to determine the pixel values using multiple structured images. The validity of the proposed theory has been evaluated from the experimental results using 140 X-ray images.

• Earthquakes and Structures
• /
• v.20 no.1
• /
• pp.1-12
• /
• 2021

The occurrence of progressive collapse induced by the removal of the vertical load-bearing element in the structure, because of fire or earthquake, has been a significant challenge between structural engineers. Progressive collapse is defined as the complete failure or failure of a part of the structure, initiating with a local rupture in a part of the building and can threaten the stability of the structure. In the current study, the behavior of the structures equipped with a cylindrical friction damper, when the vertical load-bearing elements are eliminated, is considered in two cases: 1-The load-bearing element is removed under the gravity load, and 2-The load-bearing element is removed due to the earthquake lateral forces. In order to obtain a generalized result in the seismic case, 22 pair motions presented in FEMA p 695 are applied to the structures. The study has been conducted using the vertical push down analysis for the case (1), and the nonlinear time-history analysis for the second case using OpenSEES software for 5,10, and 15-story steel frames. Results indicate that, in the first case, the load coefficient, and accordingly the strength of the structure equipped with cylindrical friction dampers are increased considerably. Furthermore, the results from the second case demonstrate that the displacements, and consequently the forces imposed to the structure in the buildings equipped with the cylindrical friction damper substantially was reduced. An optimum slip load is defined in the friction dampers, which permits the damper to start its frictional damping from this threshold load. Therefore, the optimum slip load of the damper is calculated and discussed for both cases.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.22 no.3
• /
• pp.439-445
• /
• 2021

Low-cost, ultra-high-speed cameras, made possible by the development of image sensors and small displays, can be very useful in image processing and pattern recognition. This paper introduces an algorithm that corrects irregular lighting from a high-speed image that is continuously input with a slight time interval, and which then obtains an exposed skin color region that is the area of interest in a person from the corrected image. In this study, the non-uniform lighting effect from a received high-speed image is first corrected using a frame blending technique. Then, the region of interest is robustly obtained from the input high-speed color image by applying an elliptical skin color distribution model generated from iterative learning in advance. Experimental results show that the approach presented in this paper corrects illumination in various types of color images, and then accurately acquires the region of interest. The algorithm proposed in this study is expected to be useful in various types of practical applications related to image recognition, such as face recognition and tracking, lighting correction, and video indexing and retrieval.

• Computers and Concrete
• /
• v.27 no.2
• /
• pp.163-173
• /
• 2021

In this paper, the parameters of haunch height, reinforcement ratio and site condition were evaluated for the influence on the seismic performance of a composite precast fabricated utility tunnel by shaking table test and numerical simulation. The dynamic response laws of acceleration, interlayer displacement and steel strain under unidirectional horizontal seismic excitation were analyzed through four specimens with a similarity ratio of 1:6 in the test. And a numerical model was established and analyzed by the finite element software ABAQUS based on the structure of utility tunnel. The results indicated that composite precast fabricated utility tunnel with the good anti-seismic performance. In a certain range, increasing the height of haunch or the ratio of reinforcement could reduce the influence of seismic wave on the utility tunnel structure, which was beneficial to the structure earthquake resistance. The clay field containing the interlayer of liquefied sandy soil has a certain damping effect on the structure of the utility tunnel, and the displacement response could be reduced by 14.1%. Under the excitation of strong earthquake, the reinforcement strain at the side wall upper end and haunches of the utility tunnel was the biggest, which is the key part of the structure. The experimental results were in good agreement with the fitting results, and the results could provide a reference value for the anti-seismic design and application of composite precast fabricated utility tunnel.

• Earthquakes and Structures
• /
• v.22 no.2
• /
• pp.185-201
• /
• 2022

Structural Health Monitoring (SHM) is used to provide reliable information about the structure's integrity in near realtime following extreme incidents such as earthquakes, considering the inevitable aging and degradation that occurs in operating environments. This paper experimentally investigates an integrated wireless sensor network (Wi-SN) based monitoring technique for damage detection in concrete structures. An effective SHM technique can be used to detect potential structural damage based on post-earthquake data. Two novel methods are proposed for damage detection in reinforced concrete (RC) building structures including: (i) Jerk Energy Method (JEM), which is based on time-domain analysis, and (ii) Modal Contributing Parameter (MCP), which is based on frequency-domain analysis. Wireless accelerometer sensors are installed at each story level to monitor the dynamic responses from the building structure. Prior knowledge of the initial state (immediately after construction) of the structure is not required in these methods. Proposed methods only use responses recorded during ambient vibration state (i.e., operational state) to estimate the damage index. Herein, the experimental studies serve as an illustration of the procedures. In particular, (i) a 3-story shear-type steel frame model is analyzed for several damage scenarios and (ii) 2-story RC scaled down (at 1/6th) building models, simulated and verified under experimental tests on a shaking table. As a result, in addition to the usual benefits like system adaptability, and cost-effectiveness, the proposed sensing system does not require a cluster of sensors. The spatial information in the real-time recorded data is used in global damage identification stage of SHM. Whereas in next stage of SHM, the damage is detected at the story level. Experimental results also show the efficiency and superior performance of the proposed measuring techniques.

• Structural Engineering and Mechanics
• /
• v.82 no.2
• /
• pp.173-189
• /
• 2022

This study presents an experimental and numerically study about the effects of fiber reinforcement ratio on the behavior of concrete-filled steel tubes (CFST) under dynamic impact loading. In literature have examined the behavior of GFRP and FRP wrapped strengthened CFST elements impact loads. However, since the direction of potential impact force isn't too exact, there is always the probability of not being matched the impact force of the area where the reinforced. Therefore, instead of the fiber textile wrapping method which strengthens only a particular area of CFST element, we used fiber-added concrete-filled elements which allow strengthening the whole element. Thus, the effect of fiber-addition in concrete on the behavior of CFST elements under impact loads was examined. To do so, six simply supported CFST beams were constructed with none fiber, 2% fiber and 10% fiber reinforcement ratio on the concrete part of the CFST beam. CFST beams were examined under two different impact loads (75 kg and 225 kg). The impactors hit the beam from a 2000 mm free fall during the experimental study. Numerical models of the specimens were created using ABAQUS finite element software and validated with experimental data. The obtained results such as; mid-span displacement, acceleration, failure modes and energies from experimental and numerical studies were compared and discussed. Furthermore, the Von Misses stress distribution of the CFST beams with different ratio of fiber reinforcements were investigated numerically. To sum up, there is an optimum amount limit of the fiber reinforcement on CFST beams. Up to this limit, the fiber reinforcement increases the structural performances of the beam, beyond that limit the fiber reinforcement decreases the performances of the CFST beam under transverse impact loadings.

• Journal of Aerospace System Engineering
• /
• v.16 no.6
• /
• pp.114-122
• /
• 2022

This paper explores three-dimensional unsteady computational fluid dynamic (CFD) analyses with an overset grid technique to analyse the wake effect created by a rotating propeller on a hand-launched unmanned aerial vehicle (UAV). Additionally, the influence of actual aileron deflection on the equilibrium condition of the rolling moment is examined in various hand-launched take-off conditions. The results of this study demonstrate the importance of initial aileron deflection in increasing the initial rolling stability during the hand-launched take-off process. Furthermore, an aerodynamic database is constructed to rapidly predict the aileron set values required for different take-off speeds and angle-of-attacks.