-
한국의 능묘 조각(문인석 및 동자석) 심층 분석: 도상학적 기원과 디아스포라의 역사
-
기계 학습을 다시 묻다.md
-
네트워크 보안 연구자로 시작해 인더스트리에서 5년을 보내며 배운 교훈.md
-
무역과 불평등, 트럼프 2.0 시대의 배경과 함의 - 구경현 (대외경제정책연구원 연구원.md
-
우리 사이의 봇 - 단톡방 챗봇이 가져오는 개인정보 침해 - Hsu-Chun Hsiao (NTU 교수).md
-
소프트웨어 공급망 보안 연구의 과거 현재와 미래 - 우승훈 교수님 (고려대).md
-
(에세이) KAIST의 '넙죽이' 과잉 시대: 나는 왜 지성의 전당에서 '안전한 귀여움'에 지쳤는가
-
Trustworthy and safe LLMs - from diversity and inclusion perspectives.md
-
글로벌 블록체인 사업의 성장과 국내 핀테크 스타트업의 나아갈 방향 - 오종욱 CEO (웨이브릿지).md
-
AFL
-
(펌) [주말N수학] 챗GPT, 수학자에게 위협이 될까
-
수학과 AI
-
AI시대 성공적인 커리어에 관하여 - 신수정 대표님 (임팩트리더스 아카데미)
-
주간 글쓰기 Usable Fuzzing.md
-
(강연 요약) Introduction to Razborov's Flag Algebra
-
Our work for no targets.md
-
(강연 요약) 컨텍스트 터널링 - 고정관념에 도전하기 - 전민석 교수님 (DGIST)
-
AI does math olympiad. How about open problems.md
-
Seed-Prover.md
-
(강연 요약) Path-directed Greybox Fuzzing for Failure Reproduction - 홍신 교수님 (충북대)
-
Implementation on AFL++ has cons too.md
-
PLDI 2025에 가서.md
-
Effective Target Grouping for Our work.md
-
WAFLGo as our comparison not a good idea.md
-
(다중 지향성 퍼징) Lyso.md
-
Environmental Factors Leading to Bias in Fuzzing.md
-
Revisiting Memory Safety for Modern Concurrency.md
-
Reducing Latency for Efficient Research.md
-
Debugging Custom Fuzzing Development on AFL.md
-
Related Work on Multi-Target Fuzzing.md
-
DIKUW 모델과 AI 시대의 연구자 역량.md
-
(강연 요약) 미래를 위한 로드맵: 애플의 성공 요인과 3가지 SW 유형 - 배두환 명예교수님 (KAIST)
-
FishFuzz 논문의 평가 단락을 읽으며.md
-
퍼징 도구를 건드릴 때는 체크섬에 주의하세요.md
-
정보보호대학원 세미나를 들으며.md
-
쉬운 전문용어가 필요한 이유.md
-
KSC2024 쉬운전문용어 세션 2024-12-19.md
-
KSC2024 프로그래밍언어 역사 세션 2024-12-18.md
-
정의 사용 그래프를 빨리 만드는 방법.md
-
What Does Automatic Differentiation Compute for Non-Differentiable Functions - 이원열 교수님 (포항공대).md
-
보고서의 평가 단락이란.md
-
우리 퍼징 고르게 고르게.md
-
퍼징 연구 신뢰 확보는 통제된 실험환경에서부터.md
-
세금은 너무 어려워요 - 이호성 세무사님 (이촌세무회계 대표세무사).md
-
탐색과 활용 기법의 퍼징 적용례와 아이디어.md
-
퍼징의 성능을 분석하는 두 가지 방법.md
-
퍼징의 다양한 결과 측정 방법 (2페이지).md
-
AFL의 휴리스틱 알고 쓰기.md
-
(강연 요약) 기술 창업의 현실과 규제의 벽 - 박준영 박사님 (까리용)
-
(강연 요약) 인생의 목표 설정과 소프트웨어 엔지니어의 커리어 - 이동권 박사님 (삼성리서치) - Seminars
-
(강연 요약) 내가 학계로 온 이유: 자유로운 연구 환경과 그 책임감 - 차수영 교수님 (성균관대)
-
(강연 요약) 프로그래밍 언어 (PL)와 소프트웨어 보안의 연결고리 - 최재승 교수님 (서강대)
-
(강연 요약) 석/박사 진학과 주도적인 삶을 위한 탐색 - 김지응 교수님 (연세대)
-
지향성 퍼징을 위해 정적분석기를 고친다면 (흐름 둔감 정적 분석).md
-
우수한 연구를 만드는 것도 숙달되고 익숙해질까.md
-
(강연 요약) OSS 드론 시스템 퍼징 - 장대희 교수님 (경희대)
-
(강연 요약) 결함 위치 추정 연구를 10년간 해온 이야기 - 김문주 (KAIST), 김윤호 (한양대), 유신 교수님 (KAIST)
-
다중 지향성 퍼징으로 승강기 사고 예방하기.md
-
(다중 지향성 퍼징) AFLRun.md
-
trace_bits.md
-
virgin_bits.md
-
퍼징과 콘콜릭 테스팅에서의 커버리지 향상 전략 비교.md
-
안전 시스템을 위한 신호시제논리와 모델검증.md
-
RSA와 동형암호.md
-
엑셀의 자동완성 기술이 규칙을 찾는 방법.md
-
MODFuzz - 다른 관점의 지향성 퍼징.md
-
CSFuzzer와 휴리스틱에 대한 시사점.md
-
연구는 OO가 아니다.md
-
연구에 잠재력을 발휘하기 위해.md
-
지향성 퍼징
-
(극다중 지향성 퍼징) FishFuzz.md
-
퍼징에서의 큐 컬링 (인풋 줄세우기).md
-
-
트래픽 분석 공격 및 방어 - Marc Juarez (University of Edinburgh 교수).md