Jiyoon Kim
Jiyoon Kim
Gyeongsang National University · Computer Science and Engineering
About
보안성분석 및 검증연구실을 운영하며 정보보안과 정형검증을 전공한다. 정형 검증 기법을 활용한 보안성 분석과 시스템 안전성 검증을 연구한다.
Research keywords
Recent papers
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Shared topic: Distributed systems and fault tolerance
Rachid Guerraoui 교수 연구실
EPFL · School of Computer and Communication Sciences
The End of Consensus Research?NewPreprintarXiv (Cornell University) · Oct 21Natacha Crooks 교수 연구실
University of California, Berkeley · Electrical Engineering and Computer Sciences
Optimality and Trade-offs in Fast BFT SMR (Extended Version)PreprintarXiv (Cornell University) · Aug 20Alex Aiken 교수 연구실
Stanford University · Computer Science
Relight: Simple User-Level Checkpointing and Fast-Forward Replay for Distributed Task-Based SystemsProceedings of the ACM on Programming Languages · Oct 1
Other labs in this department
- Seok-Jun BuuRecruiting
Artificial intelligence, deep learning
- Kim Gun-Woo
Gun-Woo Kim
Artificial intelligence, big data
- Hyojin Chin
Human-AI interaction, natural language processing, computational social science
- Kang Chang Gu
Chang Gu Kang
Extended reality, 3D character animation
- Kim Min Ki
Min Ki Kim
Computer vision, image processing, biometric recognition
- Beomsu Kim
Wireless communications, 5G/6G, IoT