arxiv_cs_pl
a033fc989ab0…Type Safety via Hoare Logic with Separation and Pure Types
Hoare-logicLLM-generated-VerilogPyTorchTorchDynamo
Data & Insights
Published records
Filter the current index by source, CVE association, tag, title, identifier, or enrichment time. Results are server-rendered in pages of 50.
Records
Page 87 of 319therecord_media
7dc5a036ecba…Senate confirms Clayton as intel chief after delays
BahrainIndiaVPNcritical infrastructure
portswigger_research
1d8657ccdf3a…Top 10 web hacking techniques of 2025
CSP-bypassCSS-exfiltrationHTTP-desynchronizationHTTP-request-smuggling
techrepublic_security
a33872a96e14…More Than 45,000 Software Flaws Reported as AI Reshapes Cybersecurity
CVE-2026-63077CVE-2026-63093AI-governanceAI-securityApple-securityCursor
helpnetsecurity
116634c86a77…FortiGate 1200G brings FortiSASE Outpost to customer-controlled environments
AI-securityPAMSASESIEM
arxiv_cs_se
54a95db5012a…Beyond "What to Retrieve": Uncertainty in Retrieval-Augmented Code Generation
AI-assisted codingDevOpsDockerJavaScript
arstechnica_security
10450562d6a2…We now have a better understanding how OpenAI hacked into Hugging Face
AI agentsAI securityClickFixJFrog Artifactory
securityaffairs
f36981c27ca8…VPN Breach Exposes 58 Million Connection Logs Despite “No-Logs” Claims
CVE-2025-68686CVE-2026-63077AI securityCISA KEVFortinet FortiOSGitLab
arxiv_math_it
a1f9f601f51e…Beam-Response Contrastive Learning for Transmitter-Side MIMO CSI Representation
CSIMIMOMcElieceacademic-research
arxiv_eess_sp
47935500a43f…Towards Real-World RUL Prediction for Aircraft Compressors Under Variable Conditions with Physics-Guided Domain Adaptation
6GISACLEO-satellitesRF-fingerprinting
cloudflare_security_blog
fa84021ce63b…Why we cannot wait for better post-quantum signature algorithms
AI securityAPI securityCloudflareIPsec
the_hacker_news
915b933f2039…OpenAI Agent Used Exposed Credentials Across Four Services During Hugging Face Breach
CVE-2026-16723CVE-2026-16812CVE-2026-27577AI-securityBMCC2IPMI
securityweek
54b43c44ef87…ShinyHunters Claims Ernst & Young Hack
AI securityApple security updatesErnst & YoungFastjson
theregister_security
808192184988…America bans imported robots due to supply chain and security risks
AI agentsAI securityLinuxWindows
arxiv_stat_ml
8859bc9e234f…Lloyd's $K$-Means Clustering Algorithm Is Frank-Wolfe in Disguise
arXivclusteringdistributionally-robust-optimizationgenerative-models
arxiv_cs_cy
52d42a25f123…Simulating Single Transferable Voting for the Colorado House of Representatives
AI-governanceAI-safetyLLMacademic-integrity
arxiv_cs_ni
276364320af0…Optimization of Collaborative Semantic Communication Network Performance with Channel and Content Preference Feedback
AI-for-securityIoTO-RANanomaly-detection
sans_isc_diary
f412c7477326…ISC Stormcast For Wednesday, July 29th, 2026 https://isc.sans.edu/podcastdetail/10028, (Wed, Jul 29th)
AI securityAPI key exposureActuatorAutoIT
schneier_blog
f53ecb4595f6…Measuring LLMs’ Ability to Perform Cryptanalysis
AEADAI-securityAI-video-surveillanceAxon
crowdstrike_blog
7d9772d7f11e…5 High-Impact Use Cases for Falcon Onum
AI governanceAI securityAI toolchain supply chainCISA mandates
elastic_security_blog
76a930fa0b26…Elastic Cloud Serverless: Ongoing multicontinent expansion
AI securityAWSAzureElastic
arxiv_cs_cr
3843636aabda…Multimodal User Authentication Method via Fusion of Keystroke Dynamics and Glove-Based Hand Kinematics
AI-safetyGNU-stripLLM-jailbreakNixOS
bleepingcomputer
8fd7db0b22f4…CubePilot drone software dev hit by DNS hijacking to intercept traffic
Active-Directory-Certificate-ServicesBMCDDoSDNS-hijacking
microsoft_security_blog
79ed924cff5c…Rethinking security for the age of AI
ACR StealerAI agentsAI red teamingAI security
therecord_media
21d9b09626df…Senate confirms Clayton as intel chief after delays
VPN securitycommunications interceptioncritical infrastructurecyber incident
securityaffairs
4227927d1ed2…Dysphoria Botnet Uses Blockchain Domains to Hide C2 Infrastructure
CVE-2025-68686CVE-2026-63077AI securityCISA KEVFortinet FortiOSGitLab
cyberscoop
5cbea9c13ef0…Here’s what Anthropic found when it turned Mythos loose on encryption algorithms
AESAI-driven-cryptanalysisAI-securityVPN-security
darkreading
c890c6326a64…Ghost Credentials Expose Cloud Systems to Hidden Identity Risks
CVE-2026-60137CVE-2026-63030AI securityAndroid spywareAzureSonicWall SMA
the_hacker_news
835cc3d4b84b…Claude AI Just Cracked a Post-Quantum Test Scheme and Found a Faster 7-Round AES Attack
CVE-2026-16723CVE-2026-16812CVE-2026-27577AI-securityC2DDoSIoT
sans_isc_diary
b471cee22134…AutoIT Payload Injector , (Tue, Jul 28th)
AI securityActuatorAutoITESAFENET CDG
bleepingcomputer
ddf66aebd88c…CubePilot drone software dev hit by DNS hijacking to intercept traffic
ADCSAI-securityActive-DirectoryBMC
openai_engineering
eb71f165025c…tenable_blog
5b6e315f1514…Oracle July 2026 Critical Patch Update Addresses 1235 CVEs
CVE-2026-15409CVE-2026-15410CVE-2026-32201AI coding assistantsCISAMicrosoft SharePoint ServerOracle Critical Patch Update
uk_ncsc_all_rss
965a966d31e3…When cyber attacks happen: helping organisations recover
AI securityFortinetLAUNDRY BEARRussian state-sponsored activity
microsoft_security_blog
1151c319dba4…Rethinking security for the age of AI
ACR StealerAI red teamingAI securityAsyncAPI
wired_security
371d5ffa52a4…Hugging Face Has a Deepfake Nudes Problem
AI safetyartificial intelligencecloud and web securitycredential theft
infosecurity_magazine
8ed97baf3dc5…Bugs in Hugging Face Diffusers Bypass Custom Code Safeguard
AI securityDNS tunnelingFortinetHugging Face Diffusers
zdnet_security
e4d5eb357ca7…12 keychain gadgets worth carrying every day (and why they're worth it)
AI-securitycybersecurityiOSmobile-security
certcc_vulnotes
46db1f928d31…VU#141367: AT&T's Arris BGW210-700 gateway contains authentication bypass vulnerability in LAN-side management interface
CVE-2026-14890CVE-2026-14985CVE-2026-15342account-takeoverarbitrary-code-executionauthentication-bypassauthorization-bypass
portswigger_research
db59b154efdf…Top 10 web hacking techniques of 2025
CSP-bypassCSS-exfiltrationHTTP-desynchronizationHTTP-request-smuggling
therecord_media
8d307dbfeefc…India’s Bank of Baroda confirms cyber incident after hackers claim data theft
TelegramVPNcritical infrastructurecyber incident
kaspersky_securelist
5e7cdc524193…Mirage Kitten targets Middle East and Africa region with new malware
APTArcBridgeBitLocker extortionBridgeHead
malwarebytes_labs
77139e4cc8d6…We rebuilt Malwarebytes Mobile Security for the scams of today
account-takeoverad-fraudadobeandroid
helpnetsecurity
77f1d75b5742…Hugging Face breach reignites open-weights debate, raises liability questions
CVE-2026-63077AI securityBMCCI/CD securityIPMI
hackread
9ce56163f2cb…Mate Security Grows Over 500% Since Q3 2025 and Pushes Past $50M in Funding
AD CSAI securityActive Directory Certificate ServicesGoGRPC backdoor
arstechnica_security
7a6c2114d4a1…Microsoft unveils AI security tools it says outperform competing platforms
AI agentsAI securityClickFixLinux
darkreading
be7bf5b7bfac…When AI Agents Escape Sandboxes, Old Security Rules Apply
CVE-2026-60137CVE-2026-63030AI securityActive DirectoryAndroid spywareAzure
securityaffairs
5ec0b09d2e70…Dysphoria Botnet Uses Blockchain Domains to Hide C2 Infrastructure
CVE-2025-68686CVE-2026-63077AI securityArista VeloCloud OrchestratorC2 infrastructureCISA KEV
cyberscoop
376c440a1a14…Coordinated cyberattack disrupts water utilities in 30+ Minnesota communities
AI-cybersecurityCIRCIAMinnesotabotnets
sophos_news
88d4936fa39a…Chaos in Teams vishing
AI securityMicrosoft Teamscustom malwareinitial access