Gröbner basis attack on Stark-friendly symmetric-key primitives: JARVIS, MiMC and GMiMCerf
Stark dostu simetrik anahtar ilkellerine karşı Gröbner baz saldırısı: JARVIS, MiMC ve GMiMCerf
- Tez No: 665935
- Danışmanlar: DOÇ. DR. ALİ DOĞANAKSOY, DR. ÖĞR. ÜYESİ OĞUZ YAYLA
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Bilim ve Teknoloji, Matematik, Computer Engineering and Computer Science and Control, Science and Technology, Mathematics
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2021
- Dil: İngilizce
- Üniversite: Orta Doğu Teknik Üniversitesi
- Enstitü: Uygulamalı Matematik Enstitüsü
- Ana Bilim Dalı: Kriptografi Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 85
Özet
Son yıllarda güvenli çok partili hesaplama (MPC), tamamen homomorfik şifreleme (FHE) ve sıfır bilgi kanıtları (ZK) gibi gelişmiş kriptografik protokollerde kullanılmak üzere bir dizi aritmetizasyon odaklı şifreleme ortaya çıkmıştır. AES veya SHA2/SHA3 gibi standart blok şifreler ve özet fonksiyonlarının yazılım ve donanımda verimli olduğu ancak bu yeni alanda kullanım için uygun olmadığı kanıtlanmıştır bu nedenle, yeni türde kriptografik ilkeller önerilmektedir. Ancak, geleneksel olanların aksine bu tür aritmetizasyon odaklı blok şifreleri veya özet fonksiyonlarını tasarlamak ve analiz etmek için standart bir yaklaşım yoktur, dolayısıyla güvenlik analizlerinin dikkatlice yapılması gerekmektedir. 2018'de StarkWare, şeffaf ve kuantum sonrası güvenli kanıt sistemleri ZK-STARK'larda kullanılacak verimli ve güvenli bir özet fonksiyonu seçmek üzere halka açık bir STARK Dostu Özet (SFH) Mücadelesi başlatmıştır. JARVIS blok şifresi STARK uygulamaları için tasarlanmış ilk şifrelerden biridir, ancak yayınlanmasından kısa bir süre sonra şifrenin Gröbner baz saldırısına karşı savunmasız olduğu görülmüştür. Bu yüksek lisans tezi, yeni blok şifreler MiMC, GMiMCerf (SFH adayları) ve JARVİS varyantlarına karşı Gröbner baz saldırısını tanımlamayı hedeflemektedir. JARVİS benzeri şifrelere Gröbner baz saldırısının karmaşıklığı, azaltılmış tur sayılı MiMC'ye yönelik Gröbner baz saldırısının deneysel sonuçları ve GMiMCerf ye ait Gröbner bazda bulunan yapı sunulmaktadır.
Özet (Çeviri)
A number of arithmetization-oriented ciphers emerge for use in advanced cryptographic protocols such as secure multi-party computation (MPC), fully homomorphic encryption (FHE) and zero-knowledge proofs (ZK) in recent years. The standard block ciphers like AES and the hash functions SHA2/SHA3 are proved to be efficient in software and hardware but not optimal to use in this field, for this reason, new kind of cryptographic primitives proposed. However, unlike traditional ones, there is no standard approach to design and analyze such block ciphers and the hash functions, therefore their security analysis needs to be done carefully. In 2018, StarkWare launched a public STARK-Friendly Hash (SFH) Challenge to select an efficient and secure hash function to be used within ZK-STARKs, transparent and post-quantum secure proof systems. The block cipher JARVIS is one of the first ciphers designed for STARK applications but, shortly after its publication, the cipher has been shown vulnerable to Gröbner basis attack. This master thesis aims to describe a Gröbner basis attack on new block ciphers, MiMC, GMiMCerf (SFH candidates) and the variants of JARVIS. We present the complexity of Gröbner basis attack on JARVIS-like ciphers, results from our experiments for the attack on reduced-round MiMC and a structure we found in the Gröbner basis for GMiMCerf.
Benzer Tezler
- HFE based multi-variate quadratic cryptosystems and Dembowski Ostrom polynomials
HFE tabanlı ikinci dereceden çok değişkenli kriptosistemler ve Dembowski Ostrom polinomlar
BİLAL ALAM
Doktora
İngilizce
2013
MatematikOrta Doğu Teknik ÜniversitesiKriptografi Ana Bilim Dalı
PROF. DR. FERRUH ÖZBUDAK
DR. OĞUZ YAYLA
- Gröbner tabanları
Gröbner basis
YUSUF ÖZENİR
Yüksek Lisans
Türkçe
2011
MatematikTrakya ÜniversitesiCebir ve Sayılar Teorisi Ana Bilim Dalı
YRD. DOÇ. DR. FİGEN ÖKE
- Gröbner bazı ve uygulamaları
Grobner basis and its applications
ERCAN ÇELİK
Yüksek Lisans
Türkçe
1998
MatematikAtatürk ÜniversitesiMatematik Ana Bilim Dalı
YRD. DOÇ. DR. MUSTAFA BAYRAM
- Cisim ve bazı modüller üzerinde Gröbner taban incelemesi
Grobner basis examination on fields and some modules
MEHMET ARVAS
Yüksek Lisans
Türkçe
2019
MatematikAğrı İbrahim Çeçen ÜniversitesiMatematik Ana Bilim Dalı
DR. ÖĞR. ÜYESİ ABDULLAH ÇAĞMAN
- Bazı cebirsel yapılar için Gröbner taban
The Gröbner basis for some algebraic stractures
NURTEN URLU
Yüksek Lisans
Türkçe
2015
MatematikSelçuk ÜniversitesiMatematik Ana Bilim Dalı
PROF. DR. AHMET SİNAN ÇEVİK