Küresel Web Altyapısında PHP2Shell Krizi: Kritik Güvenlik Açıkları, Hükümet Karantinası ve Yapay Zekanın İkili Rolü

İnternet ekosisteminin yaklaşık dörtte üçüne altyapı sağlayan programlama dili PHP’nin çekirdek mimarisinde tespit edilen iki kritik uzaktan kod yürütme zafiyeti, küresel ölçekte olağanüstü bir siber güvenlik krizine yol açmıştır1. Siber güvenlik camiasında "PHP2Shell" adı altında sınıflandırılan ve Ortak Güvenlik Açığı Puanlama Sistemi (CVSS v4.0) standardına göre 10 üzerinden 9.2 gibi kritik bir puan alan açıklar, kamu kurumlarını, hastaneleri ve stratejik kamu hizmetlerini acil koruma protokollerini devreye sokmaya mecbur bırakmıştır1. Hollanda Ulusal Siber Güvenlik Ajansı’nın (NCSC-NL) bizzat kendi kurumsal portalını erişime kapatmasıyla somutlaşan bu kriz; Finlandiya, Fransa, Almanya ve Belçika’da merkezi hükümet portallarından yerel valilik sitelerine kadar uzanan geniş bir dijital tecrit dalgasını tetiklemiştir1.

Krizin teknik boyutunu siber güvenlik tarihi açısından bir dönüm noktasına dönüştüren temel unsur ise güvenlik açıklarının keşif ve istismar süreçlerinde yapay zekanın oynadığı çığır açıcı roldür6. Kod tabanında on yılı aşkın süredir fark edilmeden varlığını sürdüren bellek hatalarının ileri düzey yapay zeka modelleri aracılığıyla gün yüzüne çıkarılması, hem saldırı hem de savunma cephesinde güç dengelerini kökten sarsmaktadır3. Bu tablo, yapay zekanın siber saldırıları ne yönde hızlandıracağı ve aynı teknolojinin benzer küresel tehditleri bertaraf etmek için nasıl bir kalkan işlevi görebileceği sorusunu uluslararası güvenliğin merkezine taşımaktadır1.

Dijital Karantina: Avrupa Kamu Kurumlarının Acil İzolasyon Kararları

Güvenlik açıklarına dair teknik detayların yama dağıtımından önce sızması ve kamuya açık ilk istismar girişimlerinin tespit edilmesi, kamu otoritelerini eşi benzeri görülmemiş bir karara sürüklemiştir2. Kimlik doğrulamasına gerek kalmaksızın sunucuların tam denetiminin ele geçirilmesine olanak tanıyan bir zafiyet karşısında, güvenlik yamaları test edilip sistemlere entegre edilene kadar geçen kritik zaman aralığında "dijital karantina" yöntemi benimsenmiştir1.

Avrupa Birliği genelinde en kapsamlı kesintiler Hollanda'da yaşanmıştır1. Kriz koordinasyonunu yöneten Ulusal Siber Güvenlik Ajansı (NCSC-NL), risk altındaki kendi resmi internet portalını tedbir amacıyla kapatarak operasyonel izolasyonun ilk örneğini sergilemiştir1. Bu adımı, Rotterdam Limanı yönetim platformu, resmi kamu hizmetleri altyapısı Overheid.nl, ulusal dijital kimlik doğrulama sistemi DigiD bileşenleri, ülkenin en büyük siyasi partilerinin portalları ve çok sayıda kamu hastanesinin web sayfalarının çevrimdışı bırakılması izlemiştir1. Hollanda yetkilileri, sistemlerin doğrudan hacklenmediğini, uygulanan yöntemin saldırganların yararlanabileceği açık pencereyi kapatmaya dönük ihtiyati bir tecrit olduğunu vurgulamıştır5.

Kuzey ve Batı Avrupa hattında da benzer koruyucu önlemler süratle devreye alınmıştır1. Finlandiya Devlet BT Hizmet Merkezi (Valtori), hükümetin kamuya açık web servislerini geçici olarak durdurduğunu duyururken; Finlandiya Ulaştırma ve İletişim Ajansı (Traficom), resmi bir veri ihlali tespit edilmeksizin önleyici kapatma sürecine geçildiğini açıklamıştır1. Fransa'da İçişleri Bakanlığı bünyesindeki tüm yerel valiliklerin (prefektürler) resmi portalları, güvenlik yaması uygulanana kadar teker teker erişime kapatılmıştır1. Almanya'da federal bilişim servisi ITZBund birtakım kamu sitelerini çevrimdışı konuma taşımış, Danimarka’da belediyelerin okul iletişim platformları durdurulmuş, Belçika Dışişleri Bakanlığı ise gelen erken saldırı sinyalleri üzerine sistemlerini koruma amacıyla askıya almıştır1.

Küresel bilgi platformu Wikipedia’yı yöneten Wikimedia Vakfı da kullanılan PHP altyapılarının bu durumdan doğrudan etkilendiğini bildirerek Phabricator gibi geliştirici servislerini güvenlik yamaları tamamlanana kadar kapatmıştır1. Tüm bu adımlar, saldırı hızının savunma mekanizmalarını aştığı modern tehdit ortamında, sistemleri fişten çekmenin tek güvenli ara çözüm olarak kabul edildiğini göstermektedir1.

Zafiyetin Teknik Mekanizması: CVE-2026-109618 ve CVE-2026-109619 Analizi

Dünya genelinde WordPress, Drupal, Joomla ve Magento gibi içerik yönetim sistemlerinin arka plan motoru olan PHP'deki kriz, doğrudan dilin çalışma zamanı çekirdeğinde (runtime engine) yer alan düşük seviyeli bellek yönetimi hatalarından kaynaklanmaktadır2. "PHP2Shell" başlığı altında birleşen iki zafiyet, web sunucularında çalışan herhangi bir uygulama betiği yürütülmeden önce tetiklenebilme kabiliyetine sahiptir9.

CVE-2026-109618 zafiyetinde sistem, istemciden gelen çok parçalı form verilerini (multipart/form-data) ayrıştırırken bellek sınırına (memory_limit) ulaştığında olağan akışı longjmp() fonksiyonu ile aniden kesmektedir2. Bu ani sonlandırma, veri yapılarının temizleme prosedürünü devre dışı bırakmakta ve tahsis edilmemiş işaretçilerin bellekte asılı kalmasına yol açmaktadır18. Saldırgan, özel olarak kurgulanmış bellek paketleri göndererek, sunucunun sonraki bellek tahsisatını kendi kontrolündeki bayt dizilimleriyle doldurabilmekte ve doğrudan komut yürütme akışını (RIP yazmacını) ele geçirebilmektedir19.

CVE-2026-109619 zafiyeti ise PHP’nin fabrika çıkışında aktif olan dosya yükleme ilerleme mekanizması (session.upload_progress) ve paylaşımlı OPcache modülleri üzerinden şekillenmektedir9. Bir işlemci çekirdeğinde (worker) hata veren bir istek sonrasında, küresel bellek işaretçileri doğru şekilde sıfırlanmamaktadır18. Aynı işlemci havuzuna düşen müteakip bir kullanıcı isteği, daha önce serbest bırakılmış bellek alanını geçerli bir nesne gibi yorumlayarak sistem üzerinde kimlik doğrulaması olmaksızın uzaktan kod çalıştırabilmektedir17.

PHP Vakfı ve Avrupa Siber Güvenlik Birimi (CERT-EU), bu açıkların yalnızca aktif destek gören PHP 8.2 ve üzeri sürümlerde resmen giderildiğini, kullanım ömrü bitmiş (EOL) PHP 7.x ve 5.x sürümlerinin doğrudan güncelleme alamayacağını bildirmiştir9. Bu durum, dünya genelindeki milyonlarca eski web sunucusunun süresiz olarak saldırılara açık kalması tehlikesini doğurmaktadır9.

Siber Güvenlikte Paradigma Değişimi: Açıkların Yapay Zeka ile Keşfi

PHP2Shell hadisesini teknoloji dünyasında tarihi bir eşik yapan en kritik unsur, söz konusu zafiyetlerin insanlar tarafından değil, büyük dil modellerinin yardımıyla keşfedilmiş olmasıdır3. Çekirdek kod yapısında 2012 yılında yayımlanan PHP 5.4 sürümünden bu yana bulunan ve yirmi yılı aşkın süredir "istismar edilemeyecek kadar karmaşık" görülerek göz ardı edilen bellek yönetimi açmazı, yeni nesil yapay zeka ajanlarının derin mantıksal analizi sayesinde somut bir istismar zincirine dönüştürülmüştür3.

Siber güvenlik firması Calif bünyesindeki araştırmacılar, OpenAI’ın açık kaynak güvenliğini destekleyen "Patch the Planet" programı çerçevesinde GPT-5.6 Sol modelini kullanarak PHP kaynak kodunda denetim gerçekleştirmiş ve bu zafiyeti tespit etmiştir3. Eşzamanlı olarak Google bünyesindeki Wiz araştırma ekibi, Google Gemini 4 Argon modeli ve Wiz Atlas sistemleri üzerinden aynı çekirdek hatasını bağımsız bir süreçle ortaya çıkarmış, WordPress ve Drupal platformları üzerinde çalışan istismar kanıtlarını (Proof-of-Concept) doğrulamıştır3.

Yapay zeka modellerinin bu başarısı, salt anahtar kelime eşleşmesine dayalı klasik statik tarama araçlarının ötesine geçebilmelerinden kaynaklanmaktadır23. Modeller; C kaynak kodundaki bellek tahsisatlarını, uzun fonksiyon çağrı zincirlerini, derleyici seviyesindeki optimizasyonları ve programın olağan dışı sonlanma senaryolarını bir arada değerlendirerek karmaşık kullanım sonrası serbest bırakma (Use-After-Free) senaryolarını öngörebilmiştir20. Sektörde "Savunucunun Penceresi" (Defender's Window) olarak adlandırılan bu mekanizma, internet ölçeğindeki yapısal hataların kötü niyetli hackerlar tarafından fark edilmeden önce savunma amacıyla tespit edilebileceğini kanıtlamıştır7.

Tehdit Ekosistemi: Yapay Zeka Siber Saldırıları Nasıl Artıracak?

Yapay zekanın sunduğu analiz gücü meşru araştırmacılar için zafiyet kapatma aracı işlevi görürken, aynı kabiliyetlerin saldırganların eline geçmesi siber saldırıların sıklığını, hızını ve yıkıcılığını benzeri görülmemiş bir düzeye tırmandırma potansiyeline sahiptir1.

Saldırı ekosistemindeki en köklü dönüşüm, bir açığın duyurulması ile kitlesel istismarın başlaması arasındaki zaman aralığının dakikalara inmesidir26. Geleneksel düzende bir yazılım üreticisi yama yayımladığında, saldırganların ilgili yamayı tersine mühendislikle analiz edip çalışan bir istismar kodu geliştirmesi günler veya haftalar almaktaydı. Yapay zeka ajanları bu süreci dramatik biçimde kısaltmıştır27. Sansec güvenlik araştırmacıları, PHP2Shell gibi zafiyetlerde yama sızıntısının ardından 15 dakika içinde geniş çaplı otomatik saldırıların başlatılabileceği uyarısında bulunmuştur2. Nitekim Cloudflare, resmi yama küresel olarak yayımlanmadan saatler önce dünya genelinde otomatik istismar girişimlerinin başladığını ve saldırganların güvenlik duvarı kurallarını aşabilmek için yapay zeka destekli otonom mutasyon teknikleri kullandığını kaydetmiştir2.

Bunun yanı sıra saldırıların hedef seçiminde kitlesellik ve otonomlaşma hakim hale gelmektedir1. PHP'nin web sitelerinin yüzde 75'ini çalıştırması, yapay zeka tabanlı otonom tarama botları için devasa bir saldırı sathı sunmaktadır1. Bu otonom sistemler, tüm internet IPv4 ve IPv6 bloklarını hedef gözetmeksizin tarayabilmekte; sunucunun PHP sürümünü, Apache mod_php veya PHP-FPM konfigürasyonunu anlık olarak analiz edip kurbana özel istismar paketini saniyeler içinde iletebilmektedir1. Böylece teknik kaynağı ve güvenlik uzmanı bulunmayan küçük ölçekli işletmeler, belediyeler ve eğitim kurumları, gelişmiş devlet destekli aktörlerin hedefine girdiği hızda kitlesel botnet ağlarının kurbanı olabilmektedir1.

Son olarak yapay zeka, açık kaynak depolarındaki yama analizini (patch diffing) tamamen demokratikleştirmektedir24. GitHub veya Linux dağıtım depolarına yüklenen güvenlik düzeltmelerini inceleyen büyük dil modelleri, kod değişikliklerinden yola çıkarak kapatılmaya çalışılan çekirdek hatayı geriye doğru yeniden üretebilmekte ve henüz sistemlerini güncelleyememiş kurumlara yönelik çalışan saldırı script'leri derleyebilmektedir24. Bu dinamik, üst düzey istismar geliştirme yeteneğini karmaşık sistem bilgisine sahip olmayan kitlelerin dahi kullanımına açarak saldırı hacmini katlamaktadır.

Savunma Kalkanı: Yapay Zekanın Tehditleri Engelleme Potansiyeli

Siber saldırganların yapay zeka ile kazandığı sürat avantajına karşın, aynı teknolojinin savunma mekanizmalarında proaktif bir bağışıklık sistemi oluşturması amacıyla küresel ölçekte yoğun bir dönüşüm yürütülmektedir30. Yapay zeka, yalnızca saldırıları izleyen pasif bir analiz aracı olmaktan çıkarak tehditleri kaynağında yok eden otonom bir kalkana evrilmektedir23.

Bu dönüşümün en kritik ayağını, yazılımlar üretim ortamına sunulmadan önce kaynak kodların otonom olarak denetlenmesi oluşturmaktadır32. Google DeepMind ve Google Project Zero ortaklığıyla geliştirilen "Project Naptime" ve bu projenin devamı olan Big Sleep, yapay zekanın insan araştırmacıların gözünden kaçan sıfır gün (zero-day) açıklarını bulmadaki gücünü somutlaştırmıştır23. Big Sleep, dünya genelinde yaygın olarak kullanılan açık kaynaklı SQLite veritabanı motorunda daha önce belgelenmemiş bir bellek güvenliği açığını (stack buffer underflow) resmi sürüme girmeden tespit etmiş ve aynı gün içinde geliştiriciler tarafından kapatılmasını sağlamıştır23. Bu kabiliyet, zafiyetlerin daha saldırganlar tarafından fark edilmeden ortadan kaldırıldığı yeni bir savunma standardı yaratmaktadır32.

Savunmanın ikinci kritik aşaması ise otonom yama üretimi ve doğrulamasıdır31. ABD İleri Savunma Araştırma Projeleri Ajansı (DARPA) tarafından organize edilen Yapay Zeka Siber Mücadelesi (AIxCC), otonom Siber Akıl Yürütme Sistemlerinin (CRS) açık kaynak kod tabanlarındaki zafiyetleri tespit etme, bunları doğrulayan girdileri üretme ve sistemi kesintiye uğratmayan güvenli yamaları otomatik olarak derleme becerisini kanıtlamıştır27. AIxCC yarışmasında yarışan otonom ajanlar, Linux çekirdeği ve Nginx gibi kritik bileşenlerdeki açıkları en hızlı senaryoda 5 dakikanın altında, ortalama olarak ise 23 dakikada güvenli biçimde yamalamayı başarmıştır24. Bu teknoloji, gelecekte kamu sitelerinin PHP2Shell benzeri krizlerde günlerce çevrimdışı kalması yerine, sistemlerin dakikalar içinde arka planda kendi kendini onarmasına (self-healing) imkan tanıyacaktır30.

Ağ düzeyinde ise yapay zeka, dinamik Web Uygulama Güvenlik Duvarlarının (WAF) temelini oluşturmaktadır28. Cloudflare ve Imperva gibi küresel altyapı sağlayıcıları, PHP2Shell krizinde yama henüz kurulamayan sunucuları korumak adına makine öğrenimi modellerini devreye almıştır20. Bu modeller, gelen istek trafiğini milisaniyeler seviyesinde semantik olarak denetlemekte, geleneksel imza filtrelerinin yakalayamadığı biçimsel deformasyonları saptayarak meşru form yüklemeleri ile zararlı istismar paketlerini birbirinden ayrıştırabilmektedir20.

Gelecek Perspektifi: Algoritmik Asimetri ve Dijital Dayanıklılık

Siber güvenlik kuramı geleneksel olarak derin bir asimetri prensibi üzerine oturmaktadır: Saldırganın başarılı olabilmesi için sistem zincirindeki tek bir zayıf halkayı bulması yeterliyken; savunan tarafın tüm sistemi, kullanılan her kütüphaneyi ve bağımlılığı eksiksiz bir kusursuzlukla koruması şarttır16. PHP2Shell hadisesi, yapay zekanın bu asimetriyi ortadan kaldırmadığını, aksine her iki taraf için operasyonel hızı ve etki hacmini görülmemiş ölçüde artırdığını göstermektedir1.

Kamu kurumlarının ve ulusal ajansların internet sitelerini kapatmak zorunda kalması, modern dijital altyapıların yapay zeka hızındaki saldırı tehditlerine karşı geleneksel yama yönetim süreçleriyle yanıt veremediğinin açık bir göstergesidir1. Bir yanda gelişmiş laboratuvarlar yapay zekayı kaynak kod denetimine entegre ederek küresel yazılım omurgasını sağlamlaştırmaya çalışırken, diğer yanda aynı kabiliyetler saniyeler içinde binlerce sunucuyu hedef alan otonom saldırı kampanyalarına güç vermektedir1.

Gelecekte siber güvenlik mücadelesi, bireysel uzmanlar ile siber korsanlar arasındaki bir mücadele olmaktan çıkarak, hücum eden yapay zeka modelleri ile savunan otonom akıl yürütme sistemleri arasındaki bir algoritma rekabetine dönüşecektir30. Bu yeni güvenlik mimarisinde ayakta kalabilmek, kurumların yalnızca harici yamaları beklemesini değil; C ve C++ gibi dillerden kaynaklanan bellek güvensizliklerini aşacak mimari dönüşümleri hızlandırmasını, yazılım geliştirme süreçlerine otonom kod denetim ajanlarını dahil etmesini ve sistemleri toptan kapatmak yerine anlık tecrit sağlayan esnek yapay zeka savunma katmanlarını kurmasını zorunlu kılmaktadır9. Yapay zeka saldırıların sıklığını ve karmaşıklığını tartışmasız biçimde artıracaktır; ancak bu tehdit döngüsünü dengeleyebilecek ve internet altyapısını kesintiye uğramaktan kurtaracak tek güç de yine savunma tarafında aynı süratle inşa edilen otonom yapay zeka sistemleri olacaktır7.

Alıntılanan çalışmalar

1.     European governments pull websites offline over two critical PHP, https://thenextweb.com/news/europe-governments-websites-offline-php-security-flaws

2.     PHP2Shell: Critical PHP RCE (CVE-2026-109618, CVE ... - Sansec, https://sansec.io/research/php2shell

3.     PHP2Shell - Wikipedia, https://en.wikipedia.org/wiki/PHP2Shell

4.     PHP2Shell: PHP Remote Code Execution Exploited - watchTowr, https://watchtowr.com/intelligence/php-remote-code-execution-php2shell/

5.     Avrupa'da Siber Güvenlik Alarmı: PHP'deki 2 Kritik Açık ... - Onedio, https://onedio.com/haber/avrupa-da-siber-guvenlik-alarmi-php-deki-2-kritik-acik-yuzunden-3-ulkede-devlet-siteleri-kapatildi-1390282

6.     PHP'de kritik güvenlik açığı: Avrupa'da birçok web sitesi kapatıldı, https://www.haberler.com/dunya/phpde-kritik-guvenlik-acigi-avrupada-bircok-web-20353096-haberi/

7.     PHP rushes out emergency patches for two critical bugs AI found first, https://thenextweb.com/news/php2shell-php-rce-ai-openai-wiz

8.     PHP vulnerability update: PHP issues today explained - Mashable, https://mashable.com/tech/php-vulnerability-security-update-explained

9.     Critical Vulnerabilities in PHP - CERT-EU, https://cert.europa.eu/publications/security-advisories/2026-018

10.  PHP'deki güvenlik açığı Avrupa'da kamu sitelerini erişime kapattı, https://www.ankaramasasi.com.tr/haber/2224837/php-deki-guvenlik-acigi-avrupa-da-kamu-sitelerini-erisime-kapatti

11.  Critical PHP Flaws Trigger Emergency Security Patches - Techerati, https://www.techerati.com/news-hub/government-websites-taken-offline-as-critical-php-flaws-trigger-emergency-patches/

12.  EU Website Outages Follow Critical PHP Flaws - TechRepublic, https://www.techrepublic.com/article/news-critical-php-flaws-government-websites-patches-europe-emea/

13.  Avrupa'da kritik PHP güvenlik açığı. Devlet siteleri kapatıldı, https://www.nefes.com.tr/avrupada-kritik-php-guvenlik-acigi-devlet-siteleri-kapatildi-159624

14.  Avrupa'da siber güvenlik alarmı! 3 ülkede devlet siteleri kapatıldı, https://haber.mynet.com/avrupa-da-siber-guvenlik-alarmi-3-ulkede-devlet-siteleri-kapatildi-110107317970

15.  European government sites shut down over critical PHP vulnerabilities, https://ua.news/en/technologies/derzhsaiti-v-evropi-vidkliuchali-cherez-kritichni-urazlivosti-php-global-news-canada

16.  PHP2Shell Patches Land as First Exploitation Attempts Hit Sensors, https://www.securityweek.com/php2shell-patches-land-as-first-exploitation-attempts-hit-sensors/

17.  Operational information regarding the 2026 php2shell vulnerabilities, https://github.com/NCSC-NL/php2shell

18.  Critical Vulnerabilities in PHP (PHP2Shell) - NHS England Digital, https://digital.nhs.uk/cyber-alerts/2026/cc-4875

19.  PHP2Shell: All You Need to Know About CVE-2026-109618 and, https://research.jfrog.com/post/php2shell-all-you-need-to-know-about-cve-2026-109618-and-cve-2026-109619/

20.  PHP2Shell: When PHP Runs Out of Memory at the Wrong Moment, https://www.imperva.com/blog/php2shell-vulnerability-updates/

21.  Critical PHP vulnerabilities force government websites offline across, https://jang.com.pk/en/74964-critical-php-vulnerabilities-force-government-websites-offline-across-europe-news

22.  PHP2Shell: AI uncovers critical RCE in PHP | Hacker News, https://news.ycombinator.com/item?id=50180836

23.  Google's Big Sleep: From Concept to Vulnerability Discovery, https://cybermagazine.com/articles/googles-big-sleep-from-concept-to-vulnerability-discovery

24.  DARPA's AI Cyber Challenge (AIxCC):Competition Design ... - arXiv, https://arxiv.org/html/2602.07666v2

25.  Google's Big Sleep AI model just found a zero-day vulnerability in, https://www.itpro.com/security/googles-big-sleep-ai-model-just-found-a-zero-day-vulnerability-in-the-wild-but-dont-hold-your-breath-for-game-changing-ai-bug-hunting-tools-any-time-soon

26.  PHP warns of major security flaws, announces emergency release to fix it, https://www.indiatoday.in/technology/news/story/php-warns-of-major-security-flaws-announces-emergency-release-to-fix-it-3021701-2026-10-21

27.  AIxCC Semifinal Competition: The Most Popular Bug, https://aicyberchallenge.com/most-popular-bug-semfinal-competition/

28.  Cloudflare deploys protections against php2shell vulnerability, https://blog.cloudflare.com/php-vulnerabilities-waf-protection/

29.  PHP Issues Emergency Patches for Two Critical PHP2Shell RCE, https://thehackernews.com/2026/10/php-issues-emergency-patches-for-two.html

30.  Cloud CISO Perspectives: The 4 lessons that guided AI Threat, https://cloud.google.com/blog/products/identity-security/cloud-ciso-perspectives-the-4-lessons-that-guided-ai-threat-defense

31.  AIxCC makes automated cyber repair a verification problem, https://defenseautonomyreview.com/articles/aixcc-patch-proof-not-patch-count/

32.  From Naptime to Big Sleep: Using Large Language Models To, https://projectzero.google/2024/10/from-naptime-to-big-sleep.html

33.  Google uncovers vulnerability in SQLite with AI - BornCity, https://borncity.com/win/2024/11/03/google-uncovers-vulnerability-in-sqlite-with-ai/

34.  From Naptime to Big Sleep: Google's security AI Agent has found its, https://www.reddit.com/r/programming/comments/1ghbwr1/from_naptime_to_big_sleep_googles_security_ai/

35.  Dongkwan Kim | alphaXiv, https://www.alphaxiv.org/@dongkwan-kim-2

36.  SoK: DARPA's AI Cyber Challenge (AIxCC) - Yu-Fu Fu, https://yfu.tw/papers/aixcc-sok.pdf