Araştırmacılar, bilgisayar sistemlerinin güvenlik ve gizlilik özelliklerini doğrulamak için HyperCertificates adı verilen yeni bir matematiksel framework geliştirdi. Bu yöntem, geleneksel doğrulama tekniklerinin ötesine geçerek, sistemlerin birden fazla çalışma senaryosu arasındaki ilişkileri analiz ediyor. HyperLTL mantıksal formüllerini kullanan sistem, özellikle gizlilik, şeffaflık ve dayanıklılık gibi kritik güvenlik özelliklerini değerlendirmede öne çıkıyor. Yöntem, öngörü modelleme ve bariyer fonksiyonlarını birleştirerek dinamik sistemlerin karmaşık davranışlarını matematiksel olarak kanıtlayabiliyor. Bu gelişme, otonom araçlardan finansal sistemlere kadar geniş bir yelpazede kullanılabilecek daha güvenilir yazılım sistemlerinin tasarlanmasına katkı sağlayabilir.

Araştırmacılar, elektrikli araçların şebekeye güç verebildiği V2G teknolojisi için yeni bir sistem geliştirdi. Bu sistem, bireysel araç bilgilerini kullanmadan elektrikli araç filolarını koordine ederek elektrik şebekesinin frekans düzenlemesine destek sağlayabiliyor. Geleneksel yöntemler araçların varış-ayrılış saatleri, şarj durumu gibi özel bilgileri gerektirirken, yeni yaklaşım bu verilere ihtiyaç duymadan işlem yapabiliyor. Bilinear Saklı Markov Modeli kullanan sistem, gizlilik endişelerini ortadan kaldırırken veri kalitesi sorunlarını da çözüyor. Simülasyon sonuçları, sistemin elektrik şebekesinin istikrarını korumada etkili olduğunu gösteriyor.

Araştırmacılar, büyük dil modellerinin belirli bilgileri daha hassas bir şekilde unutabilmesi için yenilikçi bir yöntem geliştirdi. TokenUnlearn adlı bu yaklaşım, tüm metin yerine yalnızca kritik kelimeleri hedef alarak modellerin istenmeyen bilgileri daha etkili şekilde silmesini sağlıyor. Mevcut yöntemler tüm metne aynı şekilde müdahale ederken, yeni sistem önemli ve önemsiz kelimeler arasında ayrım yapabiliyor. Bu gelişme, yapay zeka modellerinin gizlilik, güvenlik ve yasal düzenlemeler açısından daha uyumlu hale gelmesinde önemli bir adım olarak değerlendiriliyor.

Araştırmacılar, hasta-odaklı tıbbi AI chatbotlarda ciddi güvenlik ve gizlilik açıklarının bulunduğunu ortaya çıkardı. Retrieval-augmented generation (RAG) teknolojisi kullanan bu chatbotlarda yapılan güvenlik değerlendirmesi, hassas sistem bilgilerinin ve hasta verilerinin ifşa olabileceğini gösterdi. Çalışma, AI destekli geliştirme araçlarının bu tür uygulamaları oluşturmayı kolaylaştırsa da, sağlık alanında güvenli yapay zeka dağıtımı için sıkı güvenlik ve yönetişim kontrollerinin kritik önemini vurguluyor. Bu bulgular, tıbbi AI sistemlerinin klinik kullanıma hazırlanmasında güvenlik protokollerinin ihmal edilmemesi gerektiğini ortaya koyuyor.

Araştırmacılar, kuantum hafıza gerektirmeyen yeni bir güvenli iletişim protokolü geliştirdi. Bu yenilikçi yaklaşım, geleneksel kuantum anahtar dağıtım sistemlerinin karmaşıklığını ortadan kaldırırken, aynı düzeyde güvenlik sunmayı hedefliyor. Protokol, kodlanmış dizilerin gizlilik amplifikasyonu üzerine kurulu ve kollektif saldırılara karşı dayanıklılık gösteriyor. Sistem, wiretap kodlaması kullanmadan sadece evrensel hash fonksiyonlarına dayanıyor. Bu gelişme, kuantum iletişim teknolojilerinin daha pratik ve erişilebilir hale gelmesinde önemli bir adım olarak değerlendiriliyor. Özellikle kuantum hafıza gereksinimini ortadan kaldırması, protokolün gerçek dünya uygulamalarında daha kolay hayata geçirilebilmesini sağlayabilir.

Araştırmacılar, karmaşık gizlilik politikalarını sade dille özetleyen yeni bir yapay zeka sistemi geliştirdi. APPSI-139 adlı veri seti, 139 İngilizce gizlilik politikası ve 15.692 yeniden yazılmış metin içeriyor. Kullanıcıların çoğu, uzun ve anlaşılması zor olan bu belgeleri okumadan kabul ediyor. Yeni sistem, hukuki metinlerdeki teknik jargonu günlük dile çevirerek kullanıcıların haklarını daha iyi anlamalarını sağlıyor. Özellikle kişisel verilerin nasıl işlendiği konusunda net bilgiler sunuyor.

Koç Üniversitesi araştırmacıları, davetiye tabanlı kayıt sistemlerini kullanan online platformlarda kullanıcı gizliliğini korumak için yenilikçi bir yöntem geliştirdi. 'Anonyma' adı verilen bu sistem, platform yöneticilerinin bile hangi kullanıcının kimi davet ettiğini öğrenmesini engelliyor. Araştırma, sosyal medya platformları ve özel toplulukların yaygınlaştığı günümüzde kritik bir gizlilik sorununa çözüm getiriyor. Bu tür sistemlerde genellikle yeni üyeler sadece mevcut üyeler tarafından davet edilerek platforma katılabiliyor, ancak bu durum davet eden kişinin kimliğinin sistem tarafından bilinmesi anlamına geliyor. Yeni yöntem, matematiksel şifreleme tekniklerini kullanarak bu bilgiyi gizli tutuyor.

Stanford ve diğer üniversitelerden araştırmacılar, diferansiyel gizlilik teknolojisinin metinlerdeki kelime değişiminin çok ötesinde etkiler yarattığını keşfetti. Kişisel verileri korumak için geliştirilen bu teknoloji, metinleri yeniden yazarken sadece kelime seçimini değil, yazının tüm iletişim karakterini sistematik olarak değiştiriyor. Araştırma, gizlilik koruma sürecinin etkileşimli işaretleri, bağlamsal referansları ve karmaşık cümle yapılarını ciddi şekilde azalttığını ortaya koyuyor. Bu bulgular, yapay zeka destekli metin privatizasyonunun dilbilimsel kimliği nasıl etkilediğini gösteren ilk kapsamlı çalışmalardan biri olarak önem taşıyor.

Araştırmacılar, büyük dil modellerinin (LLM) API'larındaki veri güvenliği yaklaşımlarının yetersiz olduğunu ortaya koydu. Mevcut gizlilik ölçütlerinin, modellerin eğitim verilerini sızdırma riskini tam olarak değerlendirmediği belirlendi. Diferansiyel gizlilik gibi standart koruma yöntemlerinin, kötü niyetli saldırganların hassas bilgileri çıkarmasını engellemede yetersiz kaldığı gösterildi. Çalışma, bu soruna çözüm olarak yeni bir güvenlik tanımı önerirken, yapay zeka sistemlerindeki veri koruma stratejilerinin köklü bir şekilde yeniden düşünülmesi gerektiğine işaret ediyor.

Araştırmacılar, dijital varlıkların güvenli transferi için yeni bir blokzincir mimarisi olan Sark'ı geliştirdi. Bu sistem, geleneksel blokzincir sistemlerinden farklı olarak küresel bir durum tablosu gerektirmeden çalışıyor. Sark, taklit edilemez, durumsal ve gizli (USO) varlıkların transferini sağlayan bir referans mimarisi sunuyor. Sistem, Porter adı verilen bileşenlerle istemcilerden gelen taahhütleri topluyor ve Sloop adındaki izinli blokzincir sistemi üzerinde işliyor. Güvenlik analizi CIA Üçlüsü (Gizlilik, Erişilebilirlik, Bütünlük) çerçevesinde yapılan çalışmada, 'yerel merkezileşme' kavramı da tanıtılıyor. Bu yenilikçi yaklaşım, mevcut blokzincir sistemlerinin ölçeklenebilirlik ve verimlilik sorunlarına çözüm getirmeyi hedefliyor.

Araştırmacılar, elektronik seçim sistemlerinde uzun süredir devam eden bir soruna çözüm getiren yenilikçi bir protokol geliştirdi. ACE adı verilen bu sistem, seçim sonuçlarının herkes tarafından doğrulanabilmesini sağlarken, aynı zamanda seçmenlerin gizliliğini de koruma altına alıyor. Geleneksel elektronik oylama sistemleri genellikle şeffaflık ve gizlilik arasında seçim yapmak zorunda kalırken, yeni protokol her iki özelliği de başarıyla harmanlıyor. Sistem, oy dağılımını gizli tutarak kamu denetimi imkanı sunan bir toplama mekanizması kullanıyor ve güvenilmeyen istemci varsayımları altında bile doğru oy kullanımını garanti eden bir denetim sistemi içeriyor. Bu gelişme, demokratik süreçlerde elektronik sistemlerin daha güvenli kullanımına önemli bir katkı sağlayabilir.