Park, Geon (re-st)

Researching fuzzing, correctness, and the failure of abstractions.

Memos³ Logs¹⁵ Pages¹ Reposts⁷ Essays⁴⁴ Categories¹⁴ Howtos²³ Seminars³² Researches⁸ Projects⁵

146 writings

30 Apr, 2026 [log] 내 블로그
27 Apr, 2026 [repost] GPT, 에르되시 문제 한 번에 증명 2026-04
17 Jan, 2026 [essay] 한국의 능묘 조각(문인석 및 동자석) 심층 분석: 도상학적 기원과 디아스포라의 역사
01 Jan, 2026 [category] Quantitative Analysis
31 Dec, 2025 [category] KAIST 세미나
31 Dec, 2025 [category] 워크샵 여행 등
25 Dec, 2025 [howto] Unsubscribe from Caml-list
11 Dec, 2025 [essay] A Retrospect on My Master's Research
09 Dec, 2025 [seminar] 네트워크 보안 연구자로 시작해 인더스트리에서 5년을 보내며 배운 교훈
28 Nov, 2025 [essay] Directed Fuzzing and Correctness
25 Nov, 2025 [seminar] 무역과 불평등, 트럼프 2.0 시대의 배경과 함의 - 구경현 (대외경제정책연구원 연구원)
21 Nov, 2025 [seminar] 우리 사이의 봇 - 단톡방 챗봇이 가져오는 개인정보 침해 - Hsu-Chun Hsiao (NTU 교수)
18 Nov, 2025 [seminar] 트래픽 분석 공격 및 방어 - Marc Juarez (University of Edinburgh 교수)
14 Nov, 2025 [essay] Multi-Targeted Fuzzing's semantic blindness
03 Nov, 2025 [howto] 도커 저장해 다른 서버로 옮길 때 특정 파일이 기가바이트 단위로 측정되는 경우
03 Nov, 2025 [category] 내 에세이
31 Oct, 2025 [category] SRC-ERC STAAR (소프트웨어재난연구센터) 계절학교 강연
31 Oct, 2025 [category] SIGPL 계절학교 강연
31 Oct, 2025 [category] 정보보호대학원 세미나
31 Oct, 2025 [seminar] 소프트웨어 공급망 보안 연구의 과거 현재와 미래 - 우승훈 교수님 (고려대)
31 Oct, 2025 [essay] The Intermediary Imperative in Security Tools
30 Oct, 2025 [essay] (에세이) KAIST의 '넙죽이' 과잉 시대: 나는 왜 지성의 전당에서 '안전한 귀여움'에 지쳤는가
28 Oct, 2025 [seminar] Trustworthy and safe LLMs - from diversity and inclusion perspectives
28 Oct, 2025 [seminar] 글로벌 블록체인 사업의 성장과 국내 핀테크 스타트업의 나아갈 방향 - 오종욱 CEO (웨이브릿지)
17 Oct, 2025 [essay] Parse, don't Validate: Aid Static Analysis for C
13 Oct, 2025 [howto] 블로그 wrapper 디렉토리의 의미없는 github action 지우기
06 Oct, 2025 [howto] AFL (AFL++) 소스코드 수정 시 디버깅 - gdb 사용
06 Oct, 2025 [category] AFL
03 Oct, 2025 [essay] Between the Roadmap and the Compass
30 Sep, 2025 [howto] Error building site: assemble: failed to unmarshal YAML: yaml: line 1: did not find expected key 해결
26 Sep, 2025 [repost] 챗GPT, 수학자에게 위협이 될까
26 Sep, 2025 [category] 수학과 AI
22 Sep, 2025 [howto] git status에서 한글이 깨질 때 (`%20` 등) 한글 뜨게 하기
22 Sep, 2025 [howto] git 갱신 오류 해결 - 수정 파일이 git status에 반영 안 될 때
22 Sep, 2025 [howto] AFL - No instrumentation detected, 혹은 Fork server handshake fail
22 Sep, 2025 [howto] AFL (AFL++) 디버깅 - setaffinity 문제와 해결 (bind_to_free_cpu에서 에러)
18 Sep, 2025 [essay] Prevent debugging go south
16 Sep, 2025 [seminar] AI시대 성공적인 커리어에 관하여 - 신수정 대표님 (임팩트리더스 아카데미)
12 Sep, 2025 [category] Lean
12 Sep, 2025 [log] Lean 게임 서버
04 Sep, 2025 [memo] Usable Fuzzing
03 Sep, 2025 [howto] AFL (AFL++) 디버깅 - ASAN으로 instrument하고 돌리기
29 Aug, 2025 [repost] Why Lean 4 replaced OCaml as my Primary Language
27 Aug, 2025 [seminar] Introduction to Razborov's Flag Algebra
22 Aug, 2025 [memo] 2025-08-22 무지향성 퍼징 성능 향상 위한 Topuzz의 활용
22 Aug, 2025 [essay] Our work for no targets
21 Aug, 2025 [seminar] 컨텍스트 터널링 - 고정관념에 도전하기 - 전민석 교수님 (DGIST)
20 Aug, 2025 [seminar] 2025 여름 SIGPL 난상 토론 - AI가 바꾸는 프로그래밍의 미래 지형 박지혁 (고려대)
14 Aug, 2025 [log] (조교) 2025년도 여름학기 Co-op을 하며
07 Aug, 2025 [essay] AI does math olympiad. How about open problems
06 Aug, 2025 [repost] Seed-Prover
28 Jul, 2025 [seminar] Path-directed Greybox Fuzzing for Failure Reproduction - 홍신 교수님 (충북대)
24 Jul, 2025 [essay] Implementation on AFL++ has cons too
29 Jun, 2025 [essay] PLDI 2025에 가서
19 Jun, 2025 [seminar] Lean Machine-Checked Mathematics and Verified Programming, Past and Future (Leonardo de Moura)
16 Jun, 2025 [category] PLDI 2025
15 Jun, 2025 [log] MkDocs, Hugo, Jekyll (정적 사이트 생성기) 용도 비교
23 May, 2025 [essay] Effective Target Grouping for Our work
15 May, 2025 [essay] WAFLGo as our comparison not a good idea
01 May, 2025 [research] (다중 지향성 퍼징) Lyso
25 Apr, 2025 [essay] Environmental Factors Leading to Bias in Fuzzing
11 Apr, 2025 [essay] Revisiting Memory Safety for Modern Concurrency
03 Apr, 2025 [log] ChatGPT로 STAARbugs 기술개요 그림 제작
28 Mar, 2025 [essay] Reducing Latency for Efficient Research
22 Mar, 2025 [howto] github.io 블로그 검색 엔진에 노출시키기
21 Mar, 2025 [essay] Debugging Custom Fuzzing Development on AFL
28 Feb, 2025 [essay] Related Work on Multi-Target Fuzzing
17 Feb, 2025 [repost] AlphaProof, AlphaGeometry, ChatGPT 그리고 신경-기호적 AI의 미래 2024-07
13 Feb, 2025 [essay] DIKUW 모델과 AI 시대의 연구자 역량
07 Feb, 2025 [research] (다중 지향성 퍼징) Titan
06 Feb, 2025 [seminar] 수치해석 라이브러리의 정확성을 각잡고 증명할 DSL의 필요성 - 이원열 교수님 (포항공대)
05 Feb, 2025 [seminar] AI 연구의 문제: '요구공학적 프로세스'의 부재 - 이석원 교수님 (아주대)
05 Feb, 2025 [seminar] 미래를 위한 로드맵: 애플의 성공 요인과 3가지 SW 유형 - 배두환 명예교수님 (KAIST)
30 Jan, 2025 [essay] FishFuzz 논문의 평가 단락을 읽으며
16 Jan, 2025 [essay] 퍼징 도구를 건드릴 때는 체크섬에 주의하세요
03 Jan, 2025 [essay] 정보보호대학원 세미나를 들으며
01 Jan, 2025 [category] 다중 지향성 퍼징
20 Dec, 2024 [essay] 쉬운 전문용어가 필요한 이유
19 Dec, 2024 [seminar] KSC2024 쉬운전문용어 세션 2024-12-19
18 Dec, 2024 [seminar] KSC2024 프로그래밍언어 역사 세션 2024-12-18
06 Dec, 2024 [essay] 정의 사용 그래프를 빨리 만드는 방법
03 Dec, 2024 [log] 2024 정보보호대학원 세미나 QnA
03 Dec, 2024 [seminar] What Does Automatic Differentiation Compute for Non-Differentiable Functions - 이원열 교수님 (포항공대)
21 Nov, 2024 [essay] 보고서의 평가 단락이란
08 Nov, 2024 [essay] 우리 퍼징 고르게 고르게
30 Oct, 2024 [memo] 퍼징 트리아지의 관찰
24 Oct, 2024 [essay] 퍼징 연구 신뢰 확보는 통제된 실험환경에서부터
15 Oct, 2024 [seminar] 세금은 너무 어려워요 - 이호성 세무사님 (이촌세무회계 대표세무사)
10 Oct, 2024 [essay] 탐색과 활용 기법의 퍼징 적용례와 아이디어
03 Oct, 2024 [essay] 퍼징의 성능을 분석하는 두 가지 방법
30 Sep, 2024 [essay] 퍼징의 다양한 결과 측정 방법
27 Sep, 2024 [essay] AFL의 휴리스틱 알고 쓰기
23 Aug, 2024 [seminar] 기술 창업의 현실과 규제의 벽 - 박준영 박사님 (까리용)
23 Aug, 2024 [seminar] 인생의 목표 설정과 소프트웨어 엔지니어의 커리어 - 이동권 박사님 (삼성리서치)
21 Aug, 2024 [seminar] 내가 학계로 온 이유: 자유로운 연구 환경과 그 책임감 - 차수영 교수님 (성균관대)
21 Aug, 2024 [seminar] 프로그래밍 언어 (PL)와 소프트웨어 보안의 연결고리 - 최재승 교수님 (서강대)
21 Aug, 2024 [seminar] 석/박사 진학과 주도적인 삶을 위한 탐색 - 김지응 교수님 (연세대)
16 Aug, 2024 [essay] 지향성 퍼징을 위해 정적분석기를 고친다면 (흐름 둔감 정적 분석)
01 Aug, 2024 [howto] Mega.nz 동기화 오류 때문에 Obsidian이 켜지지 않을 때 해결법
25 Jul, 2024 [log] vimium
19 Jul, 2024 [essay] 우수한 연구를 만드는 것도 숙달되고 익숙해질까
09 Jul, 2024 [seminar] OSS 드론 시스템 퍼징 - 장대희 교수님 (경희대)
08 Jul, 2024 [seminar] 결함 위치 추정 연구를 10년간 해온 이야기 - 김문주 (KAIST), 김윤호 (한양대), 유신 교수님 (KAIST)
05 Jul, 2024 [essay] 다중 지향성 퍼징으로 승강기 사고 예방하기
01 Jul, 2024 [log] Naver 메일 오류 페이지의 작동 않는 Grafolio 링크
01 Jul, 2024 [research] (다중 지향성 퍼징) AFLRun
01 Jul, 2024 [research] trace_bits
25 Jun, 2024 [log] Linux 명령어
24 Jun, 2024 [research] virgin_bits
15 Jun, 2024 [howto] 매번 슬랙에서 뜨는 캘린더 알람 없애기
07 Jun, 2024 [essay] 퍼징과 콘콜릭 테스팅에서의 커버리지 향상 전략 비교
01 Jun, 2024 [howto] vi 편집기의 shell로 zsh 쓰기
01 Jun, 2024 [repost] AFL이 동시성을 관리하는 방식
24 May, 2024 [essay] 안전 시스템을 위한 신호시제논리와 모델검증
15 May, 2024 [howto] 슬랙으로, 원격 서버의 도커(Docker) 빌드 완료 알림 받기
10 May, 2024 [log] 단축키
10 May, 2024 [essay] RSA와 동형암호
09 May, 2024 [howto] 특정 와이파이로 연결 시도하는 단축키 제작
26 Apr, 2024 [essay] 엑셀의 자동완성 기술이 규칙을 찾는 방법
22 Apr, 2024 [log] Obsidian
12 Apr, 2024 [essay] MODFuzz - 다른 관점의 지향성 퍼징
01 Apr, 2024 [research] AFL이 저장할 input이란건 어디서 판단하나
29 Mar, 2024 [essay] CSFuzzer와 휴리스틱에 대한 시사점
14 Mar, 2024 [essay] 연구는 OO가 아니다
29 Feb, 2024 [essay] 연구에 잠재력을 발휘하기 위해
26 Feb, 2024 [repost] 당신과 당신의 연구
22 Feb, 2024 [howto] AFL_PATH가 없다고 config.log에 찍혀 나오는 경우
02 Feb, 2024 [log] 내 스케쥴
01 Jan, 2024 [category] 퍼징
01 Jan, 2024 [howto] obsidian-to-hugo로 옵시디언 내용 블로그에 올리기
01 Jan, 2024 [howto] 원본을 업데이트 하지 못했습니다 winget 해결
01 Jan, 2024 [howto] 윈도 공간 부족 해결
01 Jan, 2024 [howto] 재부팅 후 tmux를 복구할 수 있게 하기 (tmux-resurrect)
01 Jan, 2024 [howto] Windows Update 오류 코드 0x80070005 해결
01 Jan, 2024 [category] 지향성 퍼징
01 Nov, 2023 [howto] 우분투 OS에서 최신 버전의 chromedriver 설치
01 Sep, 2023 [research] (극다중 지향성 퍼징) FishFuzz
01 Sep, 2023 [research] 퍼징에서의 큐 컬링 (인풋 줄세우기)
30 Aug, 2023 [log] (조교) CS101 TA 진행방향, 느낀 점 (in English)
01 Aug, 2023 [log] Bandit 게임 서버
09 May, 2023 [seminar] Building High-performant, Energy Efficient and Programmable Inference Chips for ChatGPT
26 Dec, 2019 [seminar] Hall Algebra of the Category of Matroids - Eppolito & Szczesny
22 Mar, 2019 [seminar] KAIST CS 대학원 설명회 - 양홍석 교수님 外
27 Feb, 2019 [seminar] 카드 셔플이 잘 되는 시간 - 임성혁 (KAIST 수학과)
01 Sep, 2018 [seminar] 전산 세미나 - 근사 알고리즘과 최적화 문제 (2018 가을, KAIST)
27 Oct, 1999 [log] 내 CV (자기소개서)

#AFL #AI-Answer #Blog-Project #Bookmark #Diary #Discovery #Essay #Explanation #How-To #Info #Invited-Lecture #Lecture-Summary #Memo #Outdated #Paper-Summary #Record #Repost #Solution #Talk #Tool-Introduction #Weekly-Writing #대수학 #대학원 #이산수학 #정보보호대학원-세미나 #조합론 #진로 #최적화 #확률론