연구실 목록
김지윤 교수 연구실
Jiyoon Kim
경상국립대학교 · 컴퓨터공학과
정보 출처아직 확인되지 않음
소개
보안성분석 및 검증연구실을 운영하며 정보보안과 정형검증을 전공한다. 정형 검증 기법을 활용한 보안성 분석과 시스템 안전성 검증을 연구한다.
연구 키워드
Information securityformal verification
최근 논문
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
겹치는 주제: Distributed systems and fault tolerance
Rachid Guerraoui 교수 연구실
로잔 연방공과대학교 · 컴퓨터통신과학부
The End of Consensus Research?새 논문프리프린트arXiv (Cornell University) · 10월 21일Natacha Crooks 교수 연구실
캘리포니아 대학교 버클리 · 전기컴퓨터공학부
Optimality and Trade-offs in Fast BFT SMR (Extended Version)프리프린트arXiv (Cornell University) · 8월 20일Alex Aiken 교수 연구실
스탠퍼드 대학교 · 컴퓨터과학과
Relight: Simple User-Level Checkpointing and Fast-Forward Replay for Distributed Task-Based SystemsProceedings of the ACM on Programming Languages · 10월 1일
같은 학과의 다른 연구실
- 부석준 교수 연구실모집 중
Artificial intelligence, deep learning
- 김건우 교수 연구실
Artificial intelligence, big data
- 진효진 교수 연구실
Human-AI interaction, natural language processing, computational social science
- 강창구 교수 연구실
Extended reality, 3D character animation
- 김민기 교수 연구실
Computer vision, image processing, biometric recognition
- 김범수 교수 연구실
Wireless communications, 5G/6G, IoT