• 제목/요약/키워드: SPECK

검색결과 58건 처리시간 0.028초

SAT 솔버를 이용한 ARX 구조 암호의 디퍼렌셜 확률 근사값 계산 (Calculating the Approximate Probability of Differentials for ARX-Based Cipher Using SAT Solver)

  • 이호창;김서진;강형철;홍득조;성재철;홍석희
    • 정보보호학회논문지
    • /
    • 제28권1호
    • /
    • pp.15-24
    • /
    • 2018
  • 본 논문에서는 SAT 솔버를 이용하여 디퍼렌셜 확률의 근사값을 구하는 방법에 대해서 설명한다. SAT 솔버를 이용해서 이미 알려진 차분특성을 디퍼렌셜로 구성하여 확률을 높일 수 있다. 본 논문에서 제안하는 방법으로 SPECK32와 SPECK48의 디퍼렌셜을 구성하였다. SPECK32는$2^{-30.39}$의 확률을 가지는 10-라운드 디퍼렌셜을 찾아냈고, SPECK48은 $2^{-46.8}$의 확률을 가지는 12-라운드 디퍼렌셜을 찾아냈다. 두 특성 모두 가장 길고 높은 확률을 가지는 새로운 디퍼렌셜이다. 본 논문에서 발견한 디퍼렌셜을 이용해서 SPECK32/64의 15 라운드 차분공격, SPECK48/72의 16 라운드 차분공격, SPECK48/96의 17 라운드 차분공격을 하여 이전 공격보다 각각 1 라운드씩 개선하였다.

MILP를 이용한 ARX 기반 블록 암호의 불능 차분 특성 탐색 (Searching for Impossible Differential Characteristics of ARX-Based Block Cipher Using MILP)

  • 이호창;강형철;홍득조;성재철;홍석희
    • 정보보호학회논문지
    • /
    • 제27권3호
    • /
    • pp.427-437
    • /
    • 2017
  • 불능 차분 특성은 해당 블록 암호를 랜덤 치환과 구별을 해주며, 키 복구 공격에도 사용될 수 있다. 최근 Cui 등이 ARX 기반 블록 암호에 대해 Mixed-Integer Linear Programming(MILP)를 이용해서 자동화된 불능 차분 특성 탐색 방법을 제안하였다. Cui 등이 제안한 방법을 개선하면 기존에 방법에 비해 더 적은 선형 제약식을 이용하여 기존 방식으로 찾지 못하는 불능 차분 특성까지 추가 되어 더 많은 불능 차분 특성을 찾아 낼 수 있다. 수정한 방법을 이용하여 SPECK family와 LEA에 적용하였다. SPECK32, SPECK48, SPECK64, SPECK96에 대해 7-라운드, SPECK128에 대해 8-라운드 불능 차분 특성을 찾아내었다. 이 불능 차분 특성은 모두 새롭게 발견된 것이다. LEA에 대해서는 기존의 10-라운드인 불능 차분 특성을 포함한 새로운 10-라운드 불능 차분 특성을 찾아내었다.

NVIDIA CUDA PTX를 활용한 SPECK, SIMON, SIMECK 병렬 구현 (Parallel Implementation of SPECK, SIMON and SIMECK by Using NVIDIA CUDA PTX)

  • 장경배;김현준;임세진;서화정
    • 정보보호학회논문지
    • /
    • 제31권3호
    • /
    • pp.423-431
    • /
    • 2021
  • SPECK과 SIMON은 NSA(National Security Agency)에서 개발한 경량블록암호이며 SIMECK은 SPECK과 SIMON의 장점을 결합하여 만든 새로운 경량블록암호이다. 본 논문에서는 SPECK, SIMON, SIMECK을 사용한 대용량 암호화를 구현 하는데 있어 병렬 처리에 용이한 GPU를 활용하였다. NVIDIA에서 제공하는 CUDA 라이브러리를 활용하였으며 불필요한 연산들을 제거하기 위해 CUDA 어셈블리 언어 PTX를 사용하여 성능을 극대화 하였다. 단순 CPU 구현과 GPU를 활용한 구현 결과를 비교해보았을 때, 더 빠른 속도로 대용량 암호화를 수행할 수 있었다. 또한 GPU 구현 시, C언어를 사용한 구현과 PTX를 사용한 구현을 비교해 보았을 때, PTX 사용 시, 성능이 더욱 증가하는 것을 확인하였다.

8가지 블록/키 크기를 지원하는 SPECK 암호 코어 (A SPECK Crypto-Core Supporting Eight Block/Key Sizes)

  • 양현준;신경욱
    • 전기전자학회논문지
    • /
    • 제24권2호
    • /
    • pp.468-474
    • /
    • 2020
  • IoT, 무선 센서 네트워크와 같이 제한된 자원을 갖는 응용분야의 보안에 적합하도록 개발된 경량 블록 암호 알고리듬 SPECK의 하드웨어 구현에 관해 기술한다. 블록 암호 SPECK 크립토 코어는 8가지의 블록/키 크기를 지원하며, 회로 경량화를 위해 내부 데이터 패스는 16-비트로 설계되었다. 키 초기화 과정을 통해 복호화에 사용될 최종 라운드 키가 미리 생성되어 초기 키와 함께 저장되며, 이를 통해 연속 블록에 대한 암호화/복호화 처리가 가능하도록 하였다. 또한 처리율을 높이기 위해 라운드 연산과 키 스케줄링이 독립적으로 연산되도록 설계하였다. 설계된 SPECK 크립토 코어를 FPGA 검증을 통해 하드웨어 동작을 확인하였으며, Virtex-5 FPGA 디바이스에서 1,503 슬라이스로 구현되었고, 최대 동작 주파수는 98 MHz로 추정되었다. 180 nm 공정으로 합성하는 경우, 최대 동작 주파수는 163 MHz로 추정되었으며, 블록/키 크기에 따라 154 Mbps ~ 238 Mbps의 처리량을 갖는다.

다중 블록 크기의 움직임 예측과 SPECK을 이용한 고정 화질 움직임 보상 시간영역 필터링 동영상 압축 (Constant Quality Motion Compensated Temporal Filtering Video Compression using Multi-block size Motion Estimation and SPECK)

  • 박상주
    • 방송공학회논문지
    • /
    • 제11권2호
    • /
    • pp.153-163
    • /
    • 2006
  • 움직임 보상을 적용한 시간 영역 필터링(MCTF)을 이용한 화질 보장형의 새로운 동영상 압축 방식을 제안한다. SPECK은 그 자체의 단순한 알고리즘으로 인하여 빠른 동작 속도를 가지면서도 동시에 고주파 성분이 많은 영상의 압축에 탁월한 성능을 보여주는 우수한 웨이블릿 변환 기반의 영상 압축기법이다. 또한 제안한 계층적 구조의 다중 크기 블록 움직임 예측은 비교적 낮은 연산량에도 불구하고 기존의 고정 블록 크기의 움직임 예측기보다 우수한 성능을 보인다. 본 논문에서는 이러한 낮은 복잡도의 기술을 MCTF 기반 동영상 압축에 적용하여, 다중 재생률까지 지원이 가능한 동영상 압축 방식을 구현하였으며 H.263 압축방식에 비해 우수한 압축 성능을 보임을 확인하였다.

SPECK 양자 회로 최적화를 통한 양자 후 보안 강도 평가 (Post-Quantum Security Evaluation Through SPECK Quantum Circuit Optimization)

  • 장경배;엄시우;송경주;양유진;서화정
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2021년도 추계학술발표대회
    • /
    • pp.243-246
    • /
    • 2021
  • 양자 알고리즘이 수행 가능한 양자 컴퓨터는 기존 암호 시스템의 보안성을 낮추거나 깨뜨릴 수 있다. 이에 양자 컴퓨터의 공격 관점에서 기존 암호 시스템의 보안성을 재평가하는 연구들이 활발히 수행되고 있다. NIST는 대칭키 암호 시스템에 대한 양자 후 보안 강도에 평가에 Grover 알고리즘의 적용 비용을 채택하고 있다. Grover 알고리즘이 대칭키 암호 시스템의 보안성을 절반으로 줄일 수 있는 시점에서 중요한 건 공격 비용이다. 본 논문에서는 경량블록암호 SPECK 양자 회로 최적화 구현을 제시한다. ARX 구조의 SPECK에 대해 최적의 양자 덧셈기를 채택하고 병렬 덧셈을 수행한다. 그 결과, 최신 구현물과 비교하여 depth 측면에서 56%의 성능향상을 제공한다. 최종적으로, 제시하는 SPECK 양자 회로를 기반으로 Grover 알고리즘 적용 비용을 추정하고 양자 후 보안 강도를 평가한다.

차분 확률의 분포 분석을 위한 데이터 수집 방법 연구 : 블록암호 SPECK에 적용 (Study on the Data Collection Method for the Verification of the Distribution of Differential Probability : Application to Block Cipher SPECK)

  • 조은지;김성겸;홍득조;성재철;홍석희
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2019년도 추계학술발표대회
    • /
    • pp.436-439
    • /
    • 2019
  • 본 논문은 차분 확률의 분포 분석에 대한 실험적 검증을 위한 효율적인 데이터 수집 방법에 관하여 연구한다. 효율적인 데이터 수집을 위해 병렬 프로그래밍 기술을 이용하고, SPECK64/128에 적용하여 결과를 얻는다. 첫 번째로 효율적인 데이터 수집 방법을 제시한다. 두 번째로 차분 확률의 분포를 분석하기 위해 평균과 분산에 대하여 실험적으로 검증한다. 마지막으로 SPECK의 경우에는 키의 영향이 상쇄되어 라운드 간의 독립성이 만족하지 않음을 Biryukov 등에 의해 알려졌다. 하지만 이를 실험적으로 보이지 않았으므로 라운드 간의 독립성을 차분 확률의 분포와 통계량 통해 검정한다.

32-bit RISC-V 프로세서 상에서의 경량 블록 암호 SPECK 카운터 운용 모드 최적 구현 (Optimized Implementation of Lightweight Block cipher SPECK Counter Operation Mode on 32-bit RISC-V Processors)

  • 심민주;이민우;송민호;서화정
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2023년도 춘계학술발표대회
    • /
    • pp.126-128
    • /
    • 2023
  • 본 논문에서는 2-bit RISC-V 프로세서 상에서의 경량 블록 암호인 SPECK의 CTR 운용 모드에 대한 최적 구현을 제안한다. RISC-V 상에서의 SPECK 단일 평문과 2개의 평문에 대한 최적화와 고정된 논스 값을 사용하는 CTR 운용모드의 특징을 활용하여 일부 값에 대해 사전 연산을 하는 라운드 함수 최적화를 제안한다. 결과적으로, 레퍼런스 대비 제안된 기법은 단일 평문과 2개의 평문에 대해 각각 5.76배 2.24배 성능 향상을 확인하였으며, 사전 연산 기법을 적용하지 않은 최적 구현 대비 사전 연산 기법을 적용하였을 때, 1% 성능 향상을 확인하였다.

Gohr의 Speck32/64 신경망 구분자에 대한 분석과 Simon32/64에의 응용 (Analysis of Gohr's Neural Distinguisher on Speck32/64 and its Application to Simon32/64)

  • 성효은;유현도;염용진;강주성
    • 정보보호학회논문지
    • /
    • 제32권2호
    • /
    • pp.391-404
    • /
    • 2022
  • Aron Gohr는 경량 블록암호 Speck에 대해 딥러닝 기술에 기반한 암호분석 기법을 제안하였다. 이는 기존의 차분분석 방식보다 높은 정확도로 선택적 평문 공격을 가능하게 한 방법이다. 본 논문에서는 이러한 딥러닝 기반 암호분석의 동작 원리에 대해 확률분포를 이용하여 분석하고 이를 경량 블록암호 Simon에 적용한 결과를 제시한다. 또한, 암호분석 알고리즘 내부에서 신경망의 예측값 확률분포가 Speck과 Simon의 각 라운드 함수 특성에 따라 차이가 있음을 규명한다. 이를 통해 Aron Gohr가 제시한 암호분석의 핵심기술인 신경망 구분자의 성능 개선 방향을 제시한다.

"Here, This Speck and This Speck That You Missed": A Poetics of the Archive in Myung Mi Kim's Commons

  • Kim, Eui Young
    • 영어영문학
    • /
    • 제56권6호
    • /
    • pp.1119-1133
    • /
    • 2010
  • This paper explores Myung Mi Kim's poetics of the archive in Commons. Commons begins with a gesture that critiques a prior act of archivization: "Here, this speck and this speck that you missed." As the poems accrue in the book, Commons demonstrates the desire to record those experiences that have been neglected by the architects of traditional archives while at the same time interrogating the very logic of the archive. Crucial to that interrogation is the poetic form. Kim's attempt to archive silences and gaps leads to a radical experiment with form and language. It reformulates the archive as an open system amenable to interruption, extension, and revision. I examine in detail the techniques that contribute to her poetics of the archive, a poetics that draws the readers out of the narrow confines of their personal experiences and their political identities. By juxtaposing Kim's poems with her statements of poetics given as interviews, this paper connects the project of Commons to Kim's larger concern with open form and experimental writing. I argue that the "difficulty" of her poetry should be reinterpreted as a demand that her text makes on the readers to broaden their terms of engagement. The linguistic experiment of Commons provides an occasion to rethink the habitual ways in which time is experienced, national histories are written, and literary works are consumed.