Bilgisayar mimarisinde, verinin nerede saklandığı ve işlemciye (CPU) ne hızla ulaştığı performansın en kritik belirleyicisidir. Disk depolama alanları kalıcıdır ancak yavaştır. Ana bellek (RAM) ise uçucudur (elektrik kesilince veri kaybolur)...
İnşaat mühendisliğinde statik ve mukavemet neyse, bizim meslekte de Otomata Teorisi odur. Nasıl ki bir mimar yerçekimini yok sayıp “bence bu kolon burayı taşır, çok şık duruyor” diyemezse, iyi bir...
İnşaat mühendisliğinde statik ve mukavemet neyse, bizim meslekte de Otomata Teorisi odur. Nasıl ki bir mimar yerçekimini yok sayıp “bence bu kolon burayı taşır, çok şık duruyor” diyemezse, iyi bir...
Bilgisayar bilimlerine dışarıdan bakınca olay sadece kod yazmak, arayüz tasarlamak ya da veritabanı yönetmekmiş gibi duruyor. Ama işin aslı pek öyle değil. Bu işin mutfağına, o kodların çalıştığı zemine indiğimizde...
Matematikte birçok teorem, iki ifadenin mantıksal olarak eşdeğer olduğunu iddia eder. Yani, bir ifade doğruysa diğeri de doğrudur; biri yanlışsa diğeri de yanlıştır. Bu durum genellikle “if and only if”...
Bilgisayar bilimciler ve matematikçiler olarak hayatımız “Eğer … ise …” cümleleri üzerine kuruludur. Bir algoritmanın karmaşıklığını analiz ederken veya bir veri yapısının tutarlılığını kontrol ederken sürekli şu kalıbı kullanırız: “Eğer...
Bilgisayar bilimi ya da matematikte bir ifadenin “doğru” olduğunu söylemek, yalnızca birkaç örnekte doğru sonuç verdiğini göstermek değildir. Özellikle kritik sistemlerde “genelde doğru” yaklaşımı yeterli sayılmaz. Bir bankacılık uygulamasını düşünelim:...
Yukarıdaki mühendislik çizimi, lojistik harita üzerindeki kaotik yörüngeleri (örümcek ağı diyagramı) ve Smale at nalı haritasındaki esneme-katlanma (stretch & fold) mekanizmasını görselleştirmektedir.
Günlük hayatta metro haritalarından sosyal ağlara, elektrik devrelerinden internetin yapısına ve hatta moleküler kimyaya kadar her yerde karşımıza çıkan karmaşık ağları hiç düşündünüz mü? Görünüşte birbirinden tamamen farklı olan bu...
Merhaba! Dürüst olayım, yıllar önce güvenliğe ilk merak saldığımda Fuzzing’i “bir programa rastgele çöp veri fırlatıp patlamasını beklemek” sanıyordum. Hatta yazdığım ilk basit python script’i ile saatlerce ekran başında bekleyip,...
Kriptografiyle uğraşanlar bilir; genelde iki ana yol vardır. Ya diferansiyel analiz gibi istatistiksel yöntemlerle şifreli metinde “iğneyle kuyu kazarsınız” ki bu yöntemler genelde büyük veri yığınları ve karmaşık olasılık hesapları...
Bu yazıda Sembolik Yürütme konusuna öyle kuru kuru “hacker aracı” veya basit bir fuzzer gözüyle bakmayacağız. Olayı biraz daha derinden, tam bir Biçimsel Doğrulama problemi olarak ele alacağız. Yani anlayacağınız,...
Özet: Bu çalışma, Oded Regev (2005) tarafından sunulan Learning with Errors (LWE) probleminin, Shortest Independent Vectors Problem (SIVP) gibi en kötü durum kafes problemlerine olan kuantum indirgemesini matematiksel bir çerçevede...
In traditional cryptography, we picture a pretty safe setup: Alice sends a message to Bob. They’ve both got their keys stored safely on their devices. We assume the attacker, Eve,...
picoCTF 2024’te karşıma çıkan “format string 3” isimli challenge, format string açıklarının ne kadar tehlikeli olabileceğini gösteren güzel bir örnek. Challenge’ın açıklaması oldukça kışkırtıcı: “This program doesn’t contain a win...
Geçen yazıda format string zafiyetinin temellerini öğrenmiştik. Stack’ten veri okumak, hex değerleri decode etmek falan. Ama o sadece başlangıçmış. Bu sefer picoCTF bize dedi ki: “Okumak yetmez, asıl mesele yazmak.”...
Bugün picoCTF 2024’ten “Format String 1” adlı binary exploitation sorusunu çözdüm. Medium seviye bir soru olmasına rağmen, format string zafiyetlerini anlamak için oldukça öğretici bir örnek. Bu yazıda adım adım...
Şekil 1: Heap Overflow zafiyetinin görselleştirilmesi. Normal durumda ‘input_data’ ve ‘safe_var’ arasındaki padding boşluğu, taşma (leak) sırasında user girdisiyle dolarak hedef değişkenin üzerine yazılır.
Giriş
Giriş
Önsöz
Matematikte bazen öyle teoremler karşımıza çıkar ki, ilk bakışta “E ne var bunda?” dersiniz ama altını bir kazırsınız, devasa yapılar çıkar! İşte Radon Teoremi tam da böyle bir şey. Konveks...
Bazı teoremler vardır, duyduğunuzda “Hah, evet mantıklı” dersiniz. Bazıları da kafanızda dönüp durur, “E bir dakika, durun bakalım, nasıl oluyor bu iş?” dersiniz. Carathéodory Teoremi tam olarak ikinci türden. 1911’de...