公开(公告)号：US20230114705A1

公开(公告)日：2023-04-13

申请号：US17960246

申请日：2022-10-05

Applicant: Korea Advanced Institute of Science and Technology

Inventor： Yongdae KIM ,  CheolJun PARK ,  Sangwook BAE ,  BeomSeok OH ,  Jiho LEE ,  Mincheol SON ,  Insu YUN

IPC: G06F21/57

Abstract: Disclosed are a negative testing-based security analysis system for protocol implementation of an LTE device, and a method thereof. According to an embodiment, a negative testing-based security analyzing method for protocol implementation of an LTE device performed by a computer device includes redefining a state of user equipment (UE) as a security abstraction state for a negative test and composing a test case generation rule by analyzing a specification document in redefining the state of the UE as the security abstraction state.

公开(公告)号：US20240171401A1

公开(公告)日：2024-05-23

申请号：US18387520

申请日：2023-11-07

Applicant: SAMSUNG SDS CO., LTD. ,  Korea Advanced Institute of Science and Technology

Inventor： Seongkwang KIM ,  Dukjae MOON ,  Jihoon KWON ,  Sangyub LEE ,  Jooyoung LEE ,  Mincheol SON ,  Byeonghak LEE ,  Jincheol HA

IPC: H04L9/32 ,  G06F17/16 ,  H04L9/06

CPC classification number: H04L9/3218 ,  G06F17/16 ,  H04L9/065

Abstract: A calculation method using an efficient one-way function in a zero-knowledge proof, performed by a computing device according to an embodiment of the disclosure includes calculating a second bit stream from one or more first substitution-boxes (S-boxes) by an input based on the first bit stream; calculating a third bit stream by inputting the second bit stream to a processing matrix; and calculating a fourth bit stream from one or more second S-boxes by an input based on the third bit stream.

公开(公告)号：US20210185537A1

公开(公告)日：2021-06-17

申请号：US17124634

申请日：2020-12-17

Applicant: Korea Advanced Institute of Science and Technology

Inventor： Yongdae KIM ,  Hojoon YANG ,  Sangwook BAE ,  Mincheol SON ,  Hongil KIM ,  Song Min KIM

IPC: H04W12/122 ,  H04W12/106 ,  H04W72/04 ,  H04W56/00 ,  H04L29/06

Abstract: A physical signal overshadowing attack method for an LTE broadcast message and a system thereof are provided. The method includes identifying physical configuration information of user equipment (UE) which is an attack target and manipulating a physical downlink shared channel (PDSCH), a physical downlink control channel (PDCCH), and a physical control format indicator channel (PCFICH) for subframes of the LTE broadcast message transmitted to the UE to form a subframe for attack, synchronizing a time domain and a frequency domain of the subframe for attack depending on the LTE broadcast message, and injecting the synchronized subframe for attack into legitimate subframes of the LTE broadcast message transmitted to the UE and transmitting the injected subframes.