https://re-st.github.io/category/Recent content in Categories on Park, Geon (re-st)Hugoko-krCopyright © 2026, Geon Park.Wed, 29 Apr 2026 14:28:04 +0900https://re-st.github.io/category/%EB%82%B4-%EC%97%90%EC%84%B8%EC%9D%B4/Mon, 03 Nov 2025 00:20:44 +0900https://re-st.github.io/category/%EB%82%B4-%EC%97%90%EC%84%B8%EC%9D%B4/<h1 id="주간-글쓰기">주간 글쓰기</h1> <ul> <li>2024-02-29 [[연구에 잠재력을 발휘하기 위해|연구에 잠재력을 발휘하기 위해]]</li> <li>2024-03-14 [[연구는 OO가 아니다|연구는 OO가 아니다]]</li> <li>2024-03-29 [[CSFuzzer와 휴리스틱에 대한 시사점|CSFuzzer와 휴리스틱에 대한 시사점]]</li> <li>2024-04-12 [[MODFuzz - 다른 관점의 지향성 퍼징|MODFuzz - 다른 관점의 지향성 퍼징]]</li> <li>2024-04-26 [[엑셀의 자동완성 기술이 규칙을 찾는 방법|엑셀의 자동완성 기술이 규칙을 찾는 방법]]</li> <li>2024-05-10 [[RSA와 동형암호|RSA와 동형암호]]</li> <li>2024-05-24 [[안전 시스템을 위한 신호시제논리와 모델검증|안전 시스템을 위한 신호시제논리와 모델검증]]</li> <li>2024-06-07 [[퍼징과 콘콜릭 테스팅에서의 커버리지 향상 전략 비교|퍼징과 콘콜릭 테스팅에서의 커버리지 향상 전략 비교]]</li> <li>2024-07-05 [[다중 지향성 퍼징으로 승강기 사고 예방하기|다중 지향성 퍼징으로 승강기 사고 예방하기]]</li> <li>2024-07-19 [[우수한 연구를 만드는 것도 숙달되고 익숙해질까|우수한 연구를 만드는 것도 숙달되고 익숙해질까]]</li> <li>2024-08-15 [[지향성 퍼징을 위해 정적분석기를 고친다면 (흐름 둔감 정적 분석)|지향성 퍼징을 위해 정적분석기를 고친다면 (흐름 둔감 정적 분석)]]</li> <li>2024-09-27 [[AFL의 휴리스틱 알고 쓰기|AFL의 휴리스틱 알고 쓰기]]</li> <li>2024-09-30 [[퍼징의 다양한 결과 측정 방법 (2페이지)|퍼징의 다양한 결과 측정 방법 (2페이지)]]</li> <li>2024-10-03 [[퍼징의 성능을 분석하는 두 가지 방법|퍼징의 성능을 분석하는 두 가지 방법]]</li> <li>2024-10-10 [[탐색과 활용 기법의 퍼징 적용례와 아이디어|탐색과 활용 기법의 퍼징 적용례와 아이디어]]</li> <li>2024-10-24 [[퍼징 연구 신뢰 확보는 통제된 실험환경에서부터|퍼징 연구 신뢰 확보는 통제된 실험환경에서부터]]</li> <li>2024-10-30 [[퍼징 트리아지의 관찰|퍼징 트리아지의 관찰]]</li> <li>2024-11-08 [[우리 퍼징 고르게 고르게|우리 퍼징 고르게 고르게]]</li> <li>2024-11-21 [[보고서의 평가 단락이란|보고서의 평가 단락이란]]</li> <li>2024-12-06 [[정의 사용 그래프를 빨리 만드는 방법|정의 사용 그래프를 빨리 만드는 방법]]</li> <li>2024-12-20 [[쉬운 전문용어가 필요한 이유|쉬운 전문용어가 필요한 이유]]</li> <li>2025-01-03 [[정보보호대학원 세미나를 들으며|정보보호대학원 세미나를 들으며]]</li> <li>2025-01-16 [[퍼징 도구를 건드릴 때는 체크섬에 주의하세요|퍼징 도구를 건드릴 때는 체크섬에 주의하세요]]</li> <li>2025-01-30 [[FishFuzz 논문의 평가 단락을 읽으며|FishFuzz 논문의 평가 단락을 읽으며]]</li> <li>2025-02-13 [[DIKUW 모델과 AI 시대의 연구자 역량|DIKUW 모델과 AI 시대의 연구자 역량]]</li> <li>2025-02-28 [[Related Work on Multi-Target Fuzzing|Related Work on Multi-Target Fuzzing]]</li> <li>2025-03-21 [[Debugging Custom Fuzzing Development on AFL|Debugging Custom Fuzzing Development on AFL]]</li> <li>2025-03-28 [[Reducing Latency for Efficient Research|Reducing Latency for Efficient Research]]</li> <li>2025-04-11 [[Revisiting Memory Safety for Modern Concurrency|Revisiting Memory Safety for Modern Concurrency]]</li> <li>2025-04-25 [[Environmental Factors Leading to Bias in Fuzzing|Environmental Factors Leading to Bias in Fuzzing]]</li> <li>2025-05-15 [[WAFLGo as our comparison not a good idea|WAFLGo as our comparison not a good idea]]</li> <li>2025-05-23 [[Effective Target Grouping for Our work|Effective Target Grouping for Our work]]</li> <li>2025-07-24 [[Implementation on AFL++ has cons too|Implementation on AFL++ has cons too]]</li> <li>2025-08-07 [[AI does math olympiad. How about open problems?|AI does math olympiad. How about open problems?]]</li> <li>2025-08-22 [[Our work for no targets|Our work for no targets]]</li> <li>[[주간 글쓰기 Usable Fuzzing|주간 글쓰기 Usable Fuzzing]]</li> <li>주간 글쓰기 글감- MobFuzz</li> <li>주간 글쓰기 글감 - 버그 리포트의 생성과 파괴</li> </ul> <h1 id="독후감">독후감</h1>https://re-st.github.io/category/src-erc-staar-%EC%86%8C%ED%94%84%ED%8A%B8%EC%9B%A8%EC%96%B4%EC%9E%AC%EB%82%9C%EC%97%B0%EA%B5%AC%EC%84%BC%ED%84%B0-%EA%B3%84%EC%A0%88%ED%95%99%EA%B5%90-%EA%B0%95%EC%97%B0/Fri, 31 Oct 2025 22:33:54 +0900https://re-st.github.io/category/src-erc-staar-%EC%86%8C%ED%94%84%ED%8A%B8%EC%9B%A8%EC%96%B4%EC%9E%AC%EB%82%9C%EC%97%B0%EA%B5%AC%EC%84%BC%ED%84%B0-%EA%B3%84%EC%A0%88%ED%95%99%EA%B5%90-%EA%B0%95%EC%97%B0/<h1 id="2024년-여름">2024년 여름</h1> <ul> <li>[[Most Influential Paper Award - Ask the Mutants - Mutating Faulty Programs for Fault Localization - 김문주 김윤호 유신 교수님|Most Influential Paper Award - Ask the Mutants - Mutating Faulty Programs for Fault Localization - 김문주 김윤호 유신 교수님]]</li> <li>[[2024 여름 ERC 초청강연 2 오픈소스 드론시스템 대상 퍼징환경 개발 - 장대희 교수님|2024 여름 ERC 초청강연 2 오픈소스 드론시스템 대상 퍼징환경 개발 - 장대희 교수님]]</li> </ul> <h1 id="2024-25년-겨울">2024-25년 겨울</h1> <ul> <li>[[2025 겨울 ERC 초청강연 1 한국과학기술원 배두환 교수님|2025 겨울 ERC 초청강연 1 한국과학기술원 배두환 교수님]]</li> <li>[[2025 겨울 ERC 이석원 교수님 키노트|2025 겨울 ERC 이석원 교수님 키노트]]</li> <li>[[2025 겨울 ERC 이원열 교수님 - On Correctness of Numerical Libraries|2025 겨울 ERC 이원열 교수님 - On Correctness of Numerical Libraries]]</li> </ul> <h1 id="2025년-여름">2025년 여름</h1> <ul> <li>[[Path-directed Greybox Fuzzing for Failure Reproduction - 홍신 교수님|Path-directed Greybox Fuzzing for Failure Reproduction - 홍신 교수님]]</li> </ul>https://re-st.github.io/category/sigpl-%EA%B3%84%EC%A0%88%ED%95%99%EA%B5%90-%EA%B0%95%EC%97%B0/Fri, 31 Oct 2025 21:32:53 +0900https://re-st.github.io/category/sigpl-%EA%B3%84%EC%A0%88%ED%95%99%EA%B5%90-%EA%B0%95%EC%97%B0/<h1 id="2024-여름-성균관대">2024 여름, 성균관대</h1> <ul> <li>[[2024 여름 SIGPL 초청강연 1 흐르는 강물처럼 김지응 교수|2024 여름 SIGPL 초청강연 1 흐르는 강물처럼 김지응 교수]]</li> <li>[[2024 여름 SIGPL 초청강연 2 학계 진출 졸업생 최재승 교수 - 프로그래밍 언어와 보안의 만남|2024 여름 SIGPL 초청강연 2 학계 진출 졸업생 최재승 교수 - 프로그래밍 언어와 보안의 만남]]</li> <li>[[2024 여름 SIGPL 초청강연 3 학계 진출 졸업생 차수영 교수 - 학계로 오세요|2024 여름 SIGPL 초청강연 3 학계 진출 졸업생 차수영 교수 - 학계로 오세요]]</li> <li>[[2024 여름 SIGPL 초청강연 4 기업 진출 졸업생 이동권 박사 - 졸업후에 보이게 된 것들|2024 여름 SIGPL 초청강연 4 기업 진출 졸업생 이동권 박사 - 졸업후에 보이게 된 것들]]</li> <li>[[2024 여름 SIGPL 초청강연 5 기업 진출 졸업생 박준영 박사 - 코드에서 비즈니스로 PL 박사의 스타트업 생존기|2024 여름 SIGPL 초청강연 5 기업 진출 졸업생 박준영 박사 - 코드에서 비즈니스로 PL 박사의 스타트업 생존기]]</li> </ul> <h1 id="2024-25-겨울-여수-한국소프트웨어종합학술대회">2024-25 겨울, 여수 (한국소프트웨어종합학술대회)</h1> <ul> <li>[[KSC2024 프로그래밍언어 역사 세션 2024-12-18|KSC2024 프로그래밍언어 역사 세션 2024-12-18]]</li> <li>[[KSC2024 쉬운전문용어 세션 2024-12-19|KSC2024 쉬운전문용어 세션 2024-12-19]]</li> </ul> <h1 id="2025-여름-서강대">2025 여름, 서강대</h1> <ul> <li>[[2025 여름 SIGPL 초청강연 2 컨텍스트 터널링 - 고정관념에 도전하기 전민석 (DGIST)|2025 여름 SIGPL 초청강연 2 컨텍스트 터널링 - 고정관념에 도전하기 전민석 (DGIST)]]</li> </ul>https://re-st.github.io/category/%EC%A0%95%EB%B3%B4%EB%B3%B4%ED%98%B8%EB%8C%80%ED%95%99%EC%9B%90-%EC%84%B8%EB%AF%B8%EB%82%98/Fri, 31 Oct 2025 18:00:00 +0900https://re-st.github.io/category/%EC%A0%95%EB%B3%B4%EB%B3%B4%ED%98%B8%EB%8C%80%ED%95%99%EC%9B%90-%EC%84%B8%EB%AF%B8%EB%82%98/<h1 id="2024-정보보호대학원-세미나">2024 정보보호대학원 세미나</h1> <ul> <li>[[2024 정보보호대학원 세미나 QnA|2024 정보보호대학원 세미나 QnA]]</li> <li>[[정보보호대학원 세미나를 들으며|정보보호대학원 세미나를 들으며]]</li> </ul> <ol> <li>Fuzz Testing - Abhik Roychoudhury (NUS 교수)</li> <li>From Quantum Physics to Cryptography: Past, Present, and Future - 한민기 (고등과학원 펠로우)</li> <li>뇌기반 인공지능과 뉴로모픽 컴퓨팅 - 이상완 (KAIST 교수)</li> <li>[[세금은 너무 어려워요 - 이호성 세무사님 (이촌세무회계 대표세무사)|세금은 너무 어려워요 - 이호성 세무사님 (이촌세무회계 대표세무사)]]</li> <li>정신질환의 특성과 연구 방법 소개 - 이중선 (아산병원 교수)</li> <li>프로 게임 번역의 세계 - 정향 (링고크래프트 대표)</li> <li>Principled Bespoke Generation of Real-Life Common Norms - 황인석 (포항공대 교수)</li> <li>[[What Does Automatic Differentiation Compute for Non-Differentiable Functions - 이원열 교수님 (포항공대)|What Does Automatic Differentiation Compute for Non-Differentiable Functions - 이원열 교수님 (포항공대)]]</li> </ol> <h1 id="2025-정보보호대학원-세미나">2025 정보보호대학원 세미나</h1> <ol> <li>[[AI시대 성공적인 커리어에 관하여 - 신수정 대표님 (임팩트리더스 아카데미)|AI시대 성공적인 커리어에 관하여 - 신수정 대표님 (임팩트리더스 아카데미)]]</li> <li>[[글로벌 블록체인 사업의 성장과 국내 핀테크 스타트업의 나아갈 방향 - 오종욱 CEO (웨이브릿지)|글로벌 블록체인 사업의 성장과 국내 핀테크 스타트업의 나아갈 방향 - 오종욱 CEO (웨이브릿지)]]</li> <li>[[소프트웨어 공급망 보안 연구의 과거 현재와 미래 - 우승훈 교수님 (고려대)|소프트웨어 공급망 보안 연구의 과거 현재와 미래 - 우승훈 교수님 (고려대)]]</li> <li>[[트래픽 분석 공격 및 방어 - Marc Juarez (University of Edinburgh 교수)|트래픽 분석 공격 및 방어 - Marc Juarez (University of Edinburgh 교수)]]</li> <li>[[무역과 불평등, 트럼프 2.0 시대의 배경과 함의 - 구경현 (대외경제정책연구원 연구원|무역과 불평등, 트럼프 2.0 시대의 배경과 함의 - 구경현 (대외경제정책연구원 연구원]]</li> <li>[[네트워크 보안 연구자로 시작해 인더스트리에서 5년을 보내며 배운 교훈|네트워크 보안 연구자로 시작해 인더스트리에서 5년을 보내며 배운 교훈]]</li> </ol>https://re-st.github.io/category/afl/Mon, 06 Oct 2025 21:22:27 +0900https://re-st.github.io/category/afl/<h1 id="afl-구성요소">AFL 구성요소</h1> <ul> <li>[[virgin_bits|virgin_bits]]</li> <li>[[trace_bits|trace_bits]]</li> <li>[[퍼징에서의 큐 컬링 (인풋 줄세우기)|퍼징에서의 큐 컬링 (인풋 줄세우기)]]</li> </ul> <h1 id="afl-디버깅">AFL 디버깅</h1> <ul> <li>[[AFL (AFL++) 디버깅 - ASAN으로 instrument하고 돌리기|AFL (AFL++) 디버깅 - ASAN으로 instrument하고 돌리기]]</li> <li>[[AFL (AFL++) 소스코드 수정 시 디버깅 - gdb 사용|AFL (AFL++) 소스코드 수정 시 디버깅 - gdb 사용]]</li> <li>[[AFL (AFL++) 디버깅 - setaffinity 문제와 해결 (bind_to_free_cpu에서 에러)|AFL (AFL++) 디버깅 - setaffinity 문제와 해결 (bind_to_free_cpu에서 에러)]]</li> </ul>https://re-st.github.io/category/%EC%88%98%ED%95%99%EA%B3%BC-ai/Fri, 26 Sep 2025 13:47:27 +0900https://re-st.github.io/category/%EC%88%98%ED%95%99%EA%B3%BC-ai/<ul> <li>[[Seed-Prover, IMO 금메달 수준 2025-08|Seed-Prover, IMO 금메달 수준 2025-08]]</li> <li>[[챗GPT, 수학자에게 위협이 될까|챗GPT, 수학자에게 위협이 될까]]</li> </ul>https://re-st.github.io/category/lean/Fri, 12 Sep 2025 15:14:57 +0900https://re-st.github.io/category/lean/<ul> <li>[[Lean 게임 서버|Lean 게임 서버]]</li> <li>[[Why Lean 4 replaced OCaml as my Primary Language|Why Lean 4 replaced OCaml as my Primary Language]]</li> </ul>https://re-st.github.io/category/%EC%A7%80%ED%96%A5%EC%84%B1-%ED%8D%BC%EC%A7%95/Mon, 01 Jan 2024 00:00:00 +0900https://re-st.github.io/category/%EC%A7%80%ED%96%A5%EC%84%B1-%ED%8D%BC%EC%A7%95/<ul> <li><a href="https://github.com/prosyslab/pl-wiki/blob/main/%EC%A7%80%ED%96%A5%EC%84%B1-%ED%8D%BC%EC%A7%95%28Directed-Fuzzing%29.md#%EC%A7%80%ED%96%A5%EC%84%B1-%ED%8D%BC%EC%A7%95-%EB%B6%84%EC%95%BC%EC%9D%98-%EB%AC%B8%EC%A0%9C%EC%A0%90">(펌) 지향성 퍼징 - PL Wiki</a></li> <li>[[(에세이) MODFuzz - 다른 관점의 지향성 퍼징|(에세이) MODFuzz - 다른 관점의 지향성 퍼징]]</li> </ul>