11/25 Finding Security Vulnerabilities in Layer-1 and Layer-2 Blockchains (강민석 교수/KAIST 전산학부)

작성자
kaistsoftware
작성일
2024-11-21 14:52
조회
7925
  • 강사 : 강민석 교수 (KAIST 전산학부)
  • 일시 : 2024. 11. 25. (월) 16:00~17:30
In this talk, I will discuss our latest research on uncovering security vulnerabilities within modern blockchain systems. First, I will introduce Forky, a novel fuzzing framework tailored for proof-of-work (PoW) and proof-of-stake (PoS) blockchains. Forky is engineered to automatically generate and execute adversarial block inputs, creating varied fork scenarios that expose consensus vulnerabilities. Through Forky, we identified seven previously unknown consensus bugs affecting major blockchains, including Bitcoin and Ethereum. Next, I will explore the rise of Layer-2 blockchains, which aim to enhance transaction throughput for Layer-1 blockchains. Our new attack, the Ambush attack, enables frontrunning on Layer-2 rollup blockchains by manipulating transaction ordering, even in advanced fair-ordering systems. I will conclude the talk with a discussion on potential defenses and directions for future research.
전체 143
번호 제목 작성자 작성일 추천 조회
공지사항
2025년 봄학기 콜로퀴엄 일정 안내
kaistsoftware | 2025.02.27 | 추천 0 | 조회 11650
kaistsoftware 2025.02.27 0 11650
142
6/2 Intelligent Techniques for Graphics, Vision, and Robotics (윤성의 교수/KAIST 전산학부)
kaistsoftware | 2025.06.02 | 추천 0 | 조회 815
kaistsoftware 2025.06.02 0 815
141
5/26 Denoising Diffusion for 3D Human and Object Pose Estimation Under Interactions (김태균 교수/KAIST 전산학부)
kaistsoftware | 2025.05.23 | 추천 0 | 조회 932
kaistsoftware 2025.05.23 0 932
140
5/19 이미지/비디오 생성 기술의 현재와 미래 (성민혁 교수/KAIST 전산학부)
kaistsoftware | 2025.05.16 | 추천 0 | 조회 1121
kaistsoftware 2025.05.16 0 1121
139
5/12 Startup Funding (최원호 교수/KAIST 전산학부)
kaistsoftware | 2025.05.08 | 추천 0 | 조회 1772
kaistsoftware 2025.05.08 0 1772
138
4/21 반복되는 SW오류, 어떻게 막을것인가? (허기홍 교수/KAIST 전산학부)
kaistsoftware | 2025.04.07 | 추천 0 | 조회 3658
kaistsoftware 2025.04.07 0 3658
137
4/7 Hacking Unmanned Vehicles (김용대 교수/KAIST 전기및전자공학부)
kaistsoftware | 2025.04.04 | 추천 0 | 조회 3094
kaistsoftware 2025.04.04 0 3094
136
3/24 Mobile AI Agent (신인식 교수/KAIST 전산학부)
kaistsoftware | 2025.03.21 | 추천 0 | 조회 4002
kaistsoftware 2025.03.21 0 4002
135
3/17 Analyzing LLM Inference Chains (유신 교수/KAIST 전산학부)
kaistsoftware | 2025.03.10 | 추천 0 | 조회 4456
kaistsoftware 2025.03.10 0 4456
134
3/10 AI 의인화와 윤리적 문제: AI는 어떻게 사람처럼 보이도록 설계되었는가? (김진형 교수/KAIST 전산학부)
kaistsoftware | 2025.03.05 | 추천 0 | 조회 6806
kaistsoftware 2025.03.05 0 6806
133
11/25 Finding Security Vulnerabilities in Layer-1 and Layer-2 Blockchains (강민석 교수/KAIST 전산학부)
kaistsoftware | 2024.11.21 | 추천 0 | 조회 7925
kaistsoftware 2024.11.21 0 7925