Feeds to Scour
SubscribedAll
Scoured 3243 posts in 15.3 ms
Predictive Multi-Tier Memory Management for KV Cache in Large-Scale GPU Inference  🔍Memory Forensics
arxiv.org·5h
Ownership Refinement Types for Pointer Arithmetic and Nested Arrays  🔣Type Systems
arxiv.org·4d
Preventing Distinguishability between Multiplication and Squaring Operations  🔌Hardware Security
arxiv.org·1d
FlashRT: Towards Computationally and Memory Efficient Red-Teaming for Prompt Injection and Knowledge Corruption  ⛓️ROP Chains
arxiv.org·5h
Prime-Field PINI: Machine-Checked Composition Theorems for Post-Quantum NTT Masking  ✅Formal Verification
arxiv.org·2d
SafeTune: Mitigating Data Poisoning in LLM Fine-Tuning for RTL Code Generation  🛡️Exploit Mitigations
arxiv.org·5h
Module Lattice Security (Part II): Module Lattice Reduction via Optimal Sign Selection  📜Decompilation
arxiv.org·3d
Job-Scheduling Games with Time-Dependent Processing Times  🔣Type Systems
arxiv.org·2d
Contextual Agentic Memory is a Memo, Not True Memory  🌐Protocol Fuzzing
arxiv.org·5h
Embedded Rust or C Firmware? Lessons from an Industrial Microcontroller Use Case with Ariel OS  📟Firmware Analysis
arxiv.org·2d
Beyond Single-Agent Alignment: Preventing Context-Fragmented Violations in Multi-Agent Systems  🎲Fuzzing
arxiv.org·3d
Fake3DGS: A Benchmark for 3D Manipulation Detection in Neural Rendering  🎲Fuzzing
arxiv.org·5h
A systematic literature Review for Transformer-based Software Vulnerability detection  ⚡JIT Exploitation
arxiv.org·2d
Focus Session: Autonomous Systems Dependability in the era of AI: Design Challenges in Safety, Security, Reliability and Certification  ✅Formal Verification
arxiv.org·5h
Fast GPU Linear Algebra via Compile Time Expression Fusion  🧮Symbolic Execution
arxiv.org·4d·r/cpp
eDySec: A Deep Learning-based Explainable Dynamic Analysis Framework for Detecting Malicious Packages in PyPI Ecosystem  💾Binary Analysis
arxiv.org·1d
Adaptive and AI-Augmented Security Testing: A Systematic Survey of Program Analysis, Feedback-Driven Testing, and Hybrid Learning-Based Approaches  💾Binary Analysis
arxiv.org·5h
Toward Autonomous SOC Operations: End-to-End LLM Framework for Threat Detection, Query Generation, and Resolution in Security Operations  🔌Hardware Security
arxiv.org·5h
Beyond Code Reasoning: A Specification-Anchored Audit Framework for Expert-Augmented Security Verification  ✅Formal Verification
arxiv.org·1d
Evaluating Cryptographic API Misuse Detectors for Go  ⛓️ROP Chains
arxiv.org·3d

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help