Invited-Lecture on Park, Geon (re-st)

(강연 요약) 컨텍스트 터널링 - 고정관념에 도전하기 - 전민석 교수님 (DGIST)

Thu, 21 Aug 2025 09:30:00 +0900

1. ‘Last k’의 한계를 넘어 ‘Important k’로

연구는 프로그램 정적 분석에서 널리 쓰이는 컨텍스트 민감도 (context sensitivity)의 전통적인 접근 방식에 도전하며 시작되었습니다.

전통적 방식 (Last k): 최근 k개의 호출 스택 (call stack)을 컨텍스트로 사용합니다. (보통 k=2가 많이 사용됨)
교수님의 제안 (Important k): ’last k’ (최근 k개) 접근 방식 대신, 분석에 정말로 중요한 ‘important k’ (주요 k개)의 컨텍스트만 선별하여 사용하자는 것입니다.
효과: 이 ‘Important k’ 접근법은 k=1만으로도 기존의 ‘Last k’ (k=2) 방식과 비슷한 성능을 보여주었습니다.

(강연 요약) 기술 창업의 현실과 규제의 벽 - 박준영 박사님 (까리용)

Fri, 23 Aug 2024 14:00:00 +0900

1. 강연 계기와 현재 상황

저는 ‘웹 결함 검출을 위한 정적/동적 혼합 분석’으로 박사 학위를 받았고, 리걸테크(Legal-Tech) 회사를 만들자는 생각에 창업을 시작했습니다.

(강연 요청에 대해) 프로그램 위원장이신 황성재 교수님께서 강연을 부탁하셨을 때 처음에는 거절했습니다. 저는 성공한 사업가도 아니고, 지금 돈도 못 벌고 상황이 힘들기 때문입니다. 제가 프로그래밍 언어 (PL) 쪽과 전혀 상관없는 분야라는 것을 잘 아시기 때문에 (오히려) 강연을 부탁하신 것 같기도 합니다.

현재 RAG (검색 증강 생성)를 이용한 챗봇을 많이 만들고 있는데, 챗봇을 만들면 도입할 것 같냐는 질문에는 긍정적입니다.

(강연 요약) 인생의 목표 설정과 소프트웨어 엔지니어의 커리어 - 이동권 박사님 (삼성리서치) - Seminars

Fri, 23 Aug 2024 10:30:00 +0900

1. 서론: 논문 너머의 ‘스토리텔링’

저는 현재 삼성리서치에 다니고 있습니다. 연구 논문 작성이나 졸업 노하우에 대한 요청을 많이 받아, 제 경험을 바탕으로 ‘스토리텔링’을 해보려고 합니다.

“저 사람이 저런 인생을 살았고, 그중 일부분은 나에게도 적용해 볼 수 있겠다” 싶은 내용들로 구성했습니다. 논문이 안 써질 때의 마인드 컨트롤 방법, 그리고 어떤 목표를 잡아야 그 문제가 해결될지에 대해 이야기해 보겠습니다.

2. ‘철이 든다’는 것: 1차원적 선택에서 벗어나기

16세 고등학생은 “엄마한테 뭐 해달라고 할까?”, “밥 뭐 먹지?” 같은 1차원적인 선택지만을 가집니다. 20세 대학생이 되어 학점을 잘 받고 스펙을 쌓으면서도 “학식 갈까, 농식 갈까?“를 고민합니다.

(강연 요약) 내가 학계로 온 이유: 자유로운 연구 환경과 그 책임감 - 차수영 교수님 (성균관대)

Wed, 21 Aug 2024 15:10:00 +0900

1. 학계(교수)라는 직업을 선택한 이유

개인적인 동기: 어릴 적 아버지가 여름방학에 자주 쉬고 계신 모습이 무의식에 남았던 것 같습니다. “무슨 직업인지는 모르겠지만 나도 저거 해야겠다"고 생각했습니다.
학계의 가장 큰 장점: 자유로움
- 학계로 와서 느낀 가장 큰 장점은 ‘자유롭다’ 는 것입니다.
- 가끔 기업 강연을 위해 아침 8시 반에 며칠 출근해 보니, “매일 이 시간에 칼같이 출근하는 건 나랑 좀 안 맞겠다"는 생각을 했습니다.
- 자유롭다는 것은 내가 하고 싶은 일, 하고 싶은 연구를 할 수 있다는 것을 의미합니다. 출퇴근 시간이 정해져 있지 않고, 휴가도 가고 싶을 때 갈 수 있습니다. (물론 연사님은 교수님이 그렇게 하셨기에 똑같이 따라 하는 것이라고 합니다.)

(강연 요약) 프로그래밍 언어 (PL)와 소프트웨어 보안의 연결고리 - 최재승 교수님 (서강대)

Wed, 21 Aug 2024 14:30:00 +0900

[핵심 흐름] 이론 (PL) → 한계 → 실용 (Security) → 융합 (PL+Security)

[목차]

서론: PL과 보안의 접점 (강연자가 이 자리에 서게 된 이유)
PL의 매력과 한계: 이론 (정적 분석)의 아름다움, 그리고 현실의 취약점을 찾고 싶은 열망
새로운 융합: 정적 분석과 퍼징의 결합
핵심 아이디어: ‘안내자’로서의 정적 분석 (B2R2, 허기홍 교수님 언급)
결론: 분야를 넘나드는 연구의 가치와 기회

1. 서론: PL과 보안의 접점

제가 연구하는 분야는 소프트웨어 보안, 특히 테스팅과 프로그램 분석입니다. 이 분야는 프로그래밍 언어 이론과 매우 밀접하게 관련되어 있어 오늘 이 자리에 연사로 서게 되었습니다.

(강연 요약) 석/박사 진학과 주도적인 삶을 위한 탐색 - 김지응 교수님 (연세대)

Wed, 21 Aug 2024 13:00:00 +0900

1. 석/박사 진학의 이유: ‘주도적인 삶’

저는 “내 삶에서 얼마만큼 주도적으로 나의 일을 하고 싶은가?“를 기준으로 삼고 계속 공부해왔습니다. 이 질문에 대한 답을 내릴 수 있다면, 석/박사 외의 길도 충분히 가치가 있다고 생각합니다.

제가 석사 진학 시 카이스트를 선택한 이유는, 가장 재밌게 들었던 수업이 PL과 오토마타였고, 한국에서 PL분야 교수님들이 가장 많은 곳이 카이스트였기 때문입니다.

이후 미국에 있는 ‘프로그램 검증’ 그룹들에 열심히 지원했고, 다행히 받아주셔서 열심히 일했습니다. 하지만 졸업하고 보니 취업의 문은 매우 좁아져 있었습니다.

(강연 요약) OSS 드론 시스템 퍼징 - 장대희 교수님 (경희대)

Tue, 09 Jul 2024 10:00:00 +0900

[!WARNING] 강연을 듣고 쓴 메모를 바탕으로 후에 재구성한 내용이라, 어느 정도의 오류가 있을 수 있습니다.

퍼징 환경의 고려사항

퍼징 (Fuzzing) 환경을 구축할 때, 바이너리 실행 속도 자체를 최우선으로 고려하지는 않습니다.

예를 들어 ASan (AddressSanitizer) 같은 도구를 사용하면 속도가 2~3배 정도 느려지지만, 버그 탐지 능력이 향상되므로 감수할 만합니다.

퍼징은 블록 커버리지 (Block Coverage), 엣지 커버리지 (Edge Coverage) 등을 측정하며, 유전 알고리즘 (Genetic Algorithm)과 같은 기법을 사용해 효율적인 테스트 케이스를 생성합니다. (이때 LibFuzzer 같은 도구가 활용됩니다.)