유사 프로그램 분석을 위한 선형 회귀 모델의 데이터 슬라이싱 기법 연구

임현일(Hyun-il Lim) 한국디지털콘텐츠학회 2020 한국디지털콘텐츠학회논문지 Vol.21 No.7

소프트웨어 저작권 보호를 위한 워터마킹 기술

임현일(Hyun-il Lim) 한국정보과학회 2016 정보과학회지 Vol.34 No.1

Hybrid Deforestation : foldr/build 변환과 Deforestation의 결합을 이용한 접근

임현일(Hyun-il Lim),한태숙(Taisook Han) 한국정보과학회 1998 정보과학회논문지(B) Vol.25 No.2

함수형 언어의 프로그래밍에서 중간 자료 구조는 여러 프로그램을 결합하는데 많이 이용된다. 이 중간 자료 구조는 프로그래밍할 때에 많은 이점이 있지만 실행 시간에 많은 오버헤드를 준다. Defore-station과 foldr/build 변환은 이러한 중간 자료 구조를 컴파일 시간에 제거하기 위한 변환 방법이다. 본 논문에서는 deforestation과 foldr/build 변환의 차이점을 비교하고, 이 두 변환에서 사용하는 입력 형태를 결합한 hybrid, treeless form을 제시한다. 이 입력 언어에 대한 deforestation 알고리즘을 새롭게 제안하고, 이를 hybrid deforestation이라고 한다. 이 변환 방법은 deforestation의 변환 방법을 이용하여서 foldr/build 변환의 효과를 확대하는 방법이다. In functional programming, intermediate data structures are often used to glue together several programs. These intermediate data structures help us to modularize programs easily. But these incur several overheads in execution time. Deforestation and foldr/build transformation are transformation techniques which remove intermediate data structures at compile time. We focus on differences of foldr/build transformation and deforestation that make their effect different. We suggest a new input language form, hybrid treeless form composing inputs of two transformations. Then we present a new transformation algorithm for the new input form. That is derived from composition of deforestation and foldr/build transformation. It is expansion of foldr/build transformation using deforestation algorithm.

금융연구(金融硏究) : 기업의 재무적 불투명성이 주가급락에미치는 영향에 대한 연구

임현일 ( Hyun Il Lim ),김민수 ( Min Su Kim ) 한국금융학회 2014 금융연구 Vol.28 No.3

주가급락 위험(crash risk)은 음의 수익률에서 주가 변동성이 커지는 현상으로 정의될 수 있다. 이러한 현상에 대한 최근의 연구에서는 기업의 투명성과 기업지배구조가 정보의 주가반영 정도와수익률의 분포에 영향을 미친다는 사실에 주목한다. 특히, 부정적 정보의 축적이 주가의 급락(crash)또는 수익률의 음의 왜도(negative skewness)를 발생시킬 수 있다는 이론적?실증적 연구들이진행되고 있다. 본 연구에서는 (1) crash의 발생 (2) 음의 조건부 왜도 (3) 하락-상승 변동성 비율이라는세 가지 주가급락 위험이 기업의 재무적 불투명성, 특히 기업의 이익조정 (earnings management)에어떻게 반응하는지 분석하였다. 분석 결과 기업의 이익조정이 미래의 주가급락 위험을 증가시키는것으로 관찰되었으며, 이익조정을 3년간 이동 합계하여 구한 기업의 불투명성도 주가급락 위험을증가시키는 것이 확인되었다. 이와는 대조적으로 주가급등(jump)은 기업의 불투명성과 무관한것으로 관찰되었다. 이러한 결과들은 기업의 불투명성으로 인해 부정적 정보가 축적되어 미래에주가급락을 초래한다는 Jin and Myers(2006)의 이론적 논의와 일치하는 결과이다. 본 연구에서는애널리스트의 예측과 대규모 기업집단 포함 여부를 추가적으로 고려하여, 주가급락 위험을 비교하였다. 분석 결과를 보면 애널리스트의 예측이 수반되고 기업집단에 포함되는 기업의 주가급락위험이 이익조정에 덜 민감하게 반응하는 것이 관찰된다. 이는 기업의 규모, 애널리스트의 예측,정부의 규제와 외부 모니터링이 높은 기업의 투명성이 향상되고 따라서 기업의 정보가 투자자들에게신속하게 전파되어 주식가격에 반응되기 때문으로 해석된다. In the literature, crash risk can be characterized by negative skewness,a tendency for volatility to increase with negative return. Althoughconventional explanations are based on asset pricing or market microstructuretheories, recent views focus on agency perspective of corporate governanceand transparency. In particular, Jin and Myers (2006) develop a model thatpredict stock price crash as accumulated negative firm-specific informationsuddenly releases to the stock market. In this paper, we investigate the relation between the transparencyof firm and stock price crash risk. To examine the firm-level relation betweenthem, we construct three measures of firm-specific crash risk: (1) theoccurrence of future negative, extreme firm-specific weekly return duringthe fiscal year, (2) negative conditional skewnessof firm-specific weeklyreturn, and (3) down-to-up volatility. Firm-level opaqueness is proxiedby the absolute value of earnings management and its accumulation. Witha sample of Korean listed and non-financial firms for the period 1999 through2012, we find that firms with larger earnings management are more likelyto experience stock price crashes in the future. Moreover, using alternativemeasure of opacity, three year` s moving sum of the absolute value of earningsmanagement, we demonstrate that firm` s opacity can reliably predict futurestock price crashes. These results are consistent with our hypothesis thatearnings management activities enables manage to withhold and accumulatenegative firm-specific information within the firm, which increase futurecrash risk. On the other hand, positive large jumps are not associated withany measure of firm` s opaqueness. This implies that opacity does not predictfat-tailed distributions in both sides but is associated only with crashes. This result is also consistent withour hypothesis in the sense that firmswith good performance would not stockpile such news and their stock returnsreflect positive information more steadily over time. We further examine whether these relations vary with the analystcoverage and/or conglomerate (chaebol) affiliation. This additional empiricalexercise is motivated by studies suggesting that the speed of informationdiffusion depends on size, analyst coverage, and the external monitoringmechanism (Hong et al., 2000; Chen et al., 2001). We find that the positiverelation between opacity and future crash risk is attenuated for firms underanalyst coverage and affiliation with chaebols. These results add morecredence to our agency theory and information diffusion explanation forthe relation between firm opacity and crash risk. The results found in this paper have policy implications. It suggeststhat the manager` s incentive to hoard negative information can cause stockprice crash but the relation is less pronounced for firms with effective externalmonitoring mechanism and/or improved corporate governance.

기업의 사회적 책임 활동, 조세회피와 기업가치

임현일 ( Hyun Il Lim ),김중혁 ( Joong Hyuk Kim ) 한국금융연구원 2015 금융연구 Vol.29 No.4

We examine the effects of tax avoidance on firm value and the role of corporate social responsibility (CSR) in the relationship between tax avoidance and firm value. The prior studies on the relationship between tax avoidance and firm value report mixed results using both the U.S. and Korean data. Thus, the effect of tax avoidance on firm value becomes an unresolved empirical question that requires more evidence to understand the issue better. In a separate strain of research, previous studies explain that corporate social responsibility (CSR) activities can reduce potential conflicts among various stakeholders of a firm and improve firm value in the long run (Stakeholder theory, e.g, Schwart, 1968; Bruyn, 1987). Prior studies also argue that CSR activities help firms build their good reputation and result in positive effects on various aspects of firm performance and valuation (e.g, Clarkson, 1995; Klein and Dawar, 2004; Spicer, 1978, Turban and Greening, 1997). In particular, Hanlon and Slemrod (2009) show that tax avoidance by firms that are expected to engage less in tax avoidance affects firm value less negatively. Thus, we expect that tax avoidance by firms who engage more actively in CSR will affect firm value differently from those who are less active in CSR. In this study, using Korean firms listed in KOSPI between 2004 to 2011, we attempt to shed another light on the unresolved issue: effects of tax avoidance on firm value. In addition, we examine how active engagement in CSR activities affect this relationship. We use Korea Economic Justice Institute Index (KEJI Index) as a proxy for the degree of CSR activities. Our results confirm that tax avoidance affects firm value negatively, supporting the agency problem based argument in the literature. However, we find that the negative effect on firm value from tax avoidance can be alleviated when a firm actively engage in CSR activities. Moreover, the alleviating effect becomes greater when a firm consistently, not just temporarily, engages actively in CSR activities, and when a firm increases CSR activities. These results are robust when we use different measures for tax avoidance and the degree of CSR activity and even when we control for firm fixed effects and potential endogeniety problem using system GMM method.

기업의 사회적 책임과 기업 위험에 대한 실증연구

임현일(Hyun Il Lim),최경진(Kyoungjin Choi) 한국산업경제학회 2018 산업경제연구 Vol.31 No.3

본 연구는 국내 제조 기업들을 대상으로 기업의 사회적 책임(Corporate Social Responsibility; CSR)과 기업 위험의 관계에 주목하였다. 표본기간 2004년부터 2014년까지 유가증권시장에 상장된 3,609개의 데이터를 대상으로 진행된 실증 분석 결과, 기업의 사회적 책임 활동은 기업의 위험에 유의한 음(-)의 영향을 미치는 것으로 나타났다. 이는 기업의 사회적 책임 활동이 잠재적인 법적, 사회적 비용발생 가능성을 감소시킴으로써 기업 위험을 완화시킨다는 이해관계자이론(Stakeholder theory)을 지지하는 결과로 볼 수 있다(Donaldson and Preston, 1995; Godfrey, 2005; Godfrey et al., 2009; Oikonomou et al., 2012). 기업의 사회적 책임의 대용변수로 사용된 경제정의지수(KEJI Index)는 주가수익률의 총 위험(Total risk)과 체계적 위험(Systematic risk) 모두와 음의 상관관계를 갖는 것으로 나타났으며, 연구의 강건성을 위해 기업고정효과분석과 시스템 일반화 적률법(System GMM)을 적용했을 때도 일관된 결과를 확인할 수 있었다. 아울러, 경제정의지수를 구성하는 일곱 가지 항목 중 건전성, 공정성, 사회봉사기여도, 소비자보호만족도, 종업원만족도는 개별적으로도 기업의 위험을 감소시키는 효과가 있는 것으로 나타났다. This study focuses on the effects of the corporate social responsibility(CSR) on the firm risk. Empirical study for 3,609 samples in KOSPI from 2004 to 2014 shows that the CSR activity tend to have a negative significant correlation with the firm risk, which supports the risk reduction effect of the CSR activities (Donaldson and Preston, 1995; Godfrey, 2005; Godfrey et al., 2009; Oikonomou et al., 2012). KEJI Index, the proxy variable for the CSR, is observed to be negatively correlated with the total risk and the systematic risk of weekly stock returns. Firm fixed effects and system GMM tests indicate the robustness of the aforementioned results. Additionally, of the seven KEJI Index components, soundness, fairness, community service contribution, customer protection satisfaction and employee satisfaction are found to decrease the firm risk individually.

프로그램의 오염 정보 추적을 위한 동적 오염 분석의 이론 및 구현

임현일,Lim, Hyun-Il 한국정보처리학회 2013 정보처리학회논문지. 컴퓨터 및 통신시스템 Vol.2 No.7

컴퓨팅 환경에서 소프트웨어가 차지하는 역할이 커지면서 소프트웨어 보안은 더욱 중요한 문제가 되고 있다. 동적 오염 분석은 프로그램 실행 중에 신뢰할 수 없는 소스로부터 유래된 오염된 데이터의 이동을 추적하고 관리하는 분석 방법이다. 이 분석 방법은 소프트웨어의 보안 검증 뿐만 아니라 소프트웨어의 동작을 이해하고, 예상하지 못한 오류에 대한 테스팅 및 디버깅 등에서 활용할 수 있다. 기존에 이와 관련한 연구에서는 동적 오염 분석을 이용한 분석 사례를 보여주고 있지만, 동적 오염 분석에서 오염된 정보 전파 과정 및 동작 과정에 대해서 체계적이고 논리적으로 기술하지 못하고 있다. 본 논문에서는 이런 분석 과정을 이론적으로 기술함으로써 오염된 정보의 전파 과정을 어떻게 추적할 수 있는지 논리적으로 보여주고, 이를 응용할 수 있는 이론적 모델을 제시하고 있다. 본 논문에서 기술한 이론적 모델에 대해서 분석기를 구현하고 프로그램에 대한 분석 결과를 통해서 모델의 정확성을 검증한다. 그리고, 프로그램에 나타나는 오염 정보들의 전파 과정을 보이고 결과를 검증한다. 본 이론적 모델은 동적 오염 분석에서 자료 흐름의 분석 과정을 이해하고 이를 활용하는 분석 방법을 설계하거나 구현하는 기반 지식으로 활용될 수 있을 것이다. As the role of software increases in computing environments, issues in software security become more important problems. Dynamic taint analysis is a technique to trace and manage tainted data originated from unreliable sources during the execution of a program. This analysis can be applied to software security verification as well as software behavior understanding, testing unexpected errors, or debugging. In the previous researches, they focussed only to show the analysis results of dynamic taint analysis, and they did not logically describe propagation process of tainted data and analysis procedures. So, there were difficulties in understanding the analysis procedures or applying to other analysis. In this paper, by theoretically describing the analysis procedure, we logically show how the propagation process of tainted data can be traced, and present a theoretical model for dynamic taint analysis. In addition, we verify the correctness of the proposed model by implementing an analyser, and show that propagation of tainted data can be traced by the model. The proposed model can be applied to understand the analysis procedures of data flows in dynamic taint analysis, and can be used as an base knowledge for designing and implementing analysis method, which applies such analysis method.

에지 확장을 통한 제어 흐름 그래프의 효과적인 비교 방법

임현일,Lim, Hyun-Il 한국정보처리학회 2013 정보처리학회논문지. 컴퓨터 및 통신시스템 Vol.2 No.8

본 논문에서는 바이너리 프로그램의 정적인 구조를 표현하는 제어 흐름 그래프를 비교하는 방법을 제안한다. 제어 흐름 그래프를 비교하기 위해서 기본 블록에 포함된 프로그램의 명령어 및 구문 정보를 비교한 후 기본 블록 사이의 유사한 정도를 측정한다. 또한, 에지 확장을 통해 기본 블록들 간의 제어 흐름을 표현하는 그래프 에지의 유사성을 함께 반영한다. 각 기본 블록 사이의 유사도 결과를 기반으로 기본 블록을 서로 매칭하고, 기본 블록 사이의 매칭 정보를 이용해서 전체 제어 흐름 그래프의 유사도를 측정한다. 본 논문에서 제안한 방법은 자바 프로그램으로부터 추출한 제어 흐름 그래프를 대상으로 제어 흐름 구조의 유사성에 따라 두 가지 기준으로 실험을 수행하였다. 그리고, 성능을 평가하기 위해서 기존의 구조적 비교 방법을 함께 실험하였다. 실험 결과로부터 에지 확장 방법은 서로 다른 프로그램에 대해 충분한 변별력을 가지고 있음을 확인할 수 있다. 프로그램 비교에 좀 더 많은 시간이 소요되지만, 구조가 유사한 프로그램에 대한 매칭 능력에서 기존의 구조적 비교 방법에 비해 우수한 결과를 보였다. 제어 흐름 그래프는 프로그램의 분석에 다양하게 활용될 수 있으며, 제어 흐름 그래프의 비교 방법은 프로그램의 유사성 비교를 통한 코드의 최적화, 유사 코드 검출, 코드의 도용 탐지 등 다양한 분야에서 응용될 수 있을 것이라 기대된다. In this paper, we present an effective method for comparing control flow graphs which represent static structures of binary programs. To compare control flow graphs, we measure similarities by comparing instructions and syntactic information contained in basic blocks. In addition, we also consider similarities of edges, which represent control flows between basic blocks, by edge extension. Based on the comparison results of basic blocks and edges, we match most similar basic blocks in two control flow graphs, and then calculate the similarity between control flow graphs. We evaluate the proposed edge extension method in real world Java programs with respect to structural similarities of their control flow graphs. To compare the performance of the proposed method, we also performed experiments with a previous structural comparison for control flow graphs. From the experimental results, the proposed method is evaluated to have enough distinction ability between control flow graphs which have different structural characteristics. Although the method takes more time than previous method, it is evaluated to be more resilient than previous method in comparing control flow graphs which have similar structural characteristics. Control flow graph can be effectively used in program analysis and understanding, and the proposed method is expected to be applied to various areas, such as code optimization, detection of similar code, and detection of code plagiarism.

소프트웨어 제어 흐름 그래프의 구조적 유사성 비교를 위한 접근 방법

임현일(Hyun-il Lim) 한국디지털콘텐츠학회 2020 한국디지털콘텐츠학회논문지 Vol.21 No.6

코드 분포의 선형 회귀를 이용한 프로그램 유사성 분석

임현일(Hyun-il Lim) 한국디지털콘텐츠학회 2018 한국디지털콘텐츠학회논문지 Vol.19 No.7