3 papers
cs.CR2026
eMicro: Real-Time Multi-Hop Access Control for Microservices with eBPF
Rizky Ramadhana Putra, Osama Bajaber, Saimon Amanuel Tsegai +4
Modern cloud applications often comprise thousands of microservices whose interactions form complex request paths. Traditional inter-service access control restricts individual ser…
cs.SE2026
The Illusion of Safety: Multi-Tier Verification of AI vs. Human C++ Code
Saif Mahmud, Fadul Sikder, Yuede Ji +3
As large language models (LLMs) are increasingly deployed for systems programming, their ability to generate secure C++ code, where a single memory-safety failure creates an exploi…
cs.DC2025
Bingo: Radix-based Bias Factorization for Random Walk on Dynamic Graphs
Pinhuan Wang, Chengying Huan, Zhibin Wang +3
Random walks are a primary means for extracting information from large-scale graphs. While most real-world graphs are inherently dynamic, state-of-the-art random walk engines faile…