d-4-6

Documents about d-4-6

• A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols#1198797arXiv (All)
• Guarded Commits: Transactional Human Approvals for LLM Workflows#1154660arXiv (All)
• Model checking of hyperproperties for high-level relational models#1122981arXiv (OAI Expanded)
• Beyond Single-Vulnerability Evaluation: Closing the Engineering Decision Gap Between C Retrofits and Native Safety#616148arXiv (OAI Expanded)
• Beyond Single-Vulnerability Evaluation: Closing the Engineering Decision Gap Between C Retrofits and Native Safety#616648arXiv (All)
• Automating Static Code Analysis Through CI/CD Pipeline Integration#996946arXiv (All)
• Dependable Agents Need Hard and Fuzzy Rules#1536854arXiv (All)
• Quipu: A Governed Bitemporal Knowledge Graph Store#623091arXiv (OAI Expanded)
• Quipu: A Governed Bitemporal Knowledge Graph Store#625364arXiv (All)
• Approval Integrity and Recovery in LLM Answer Publication#1109565arXiv (OAI Expanded)
• BASICS: Binary Analysis and Stack Integrity Checker System for Buffer Overflow Mitigation#1200819arXiv (All)
• A Secure, Manifest-Based Framework for Delegated Privilege Promotion#972440arXiv (All)
• A Rowhammer attack on Fil-C's software capabilities#1456571arXiv (All)
• PSR2: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement#1156322arXiv (All)
• ZeRO-Prefill: Zero Redundancy Overheads in MoE Prefill Serving#1467135arXiv (All)
• Characterizing and Codifying Malware Sophistication#1154721arXiv (All)
• Cooldown Landmines: Cross-Tenant Interference Attacks on LLM Gateways#1201102arXiv (All)
• Provable Authority: A Protocol for Verifiable Authority Resolution and Control Across Human, Organizational, and Agentic Transactions#1387188arXiv (All)
• Stored Is Not Supported: Typed Provenance and Assertion Guardrails for Persistent AI Agents#822527arXiv (All)
• FlowArk: Boosting Agentic Data-flow Analysis for Android Apps via Context-Aware Knowledge Reuse#1325218arXiv (All)
• DITTO: A Context-aware Pickle-based Pre-Trained Model Scanner for Effective Security Audits#1247662arXiv (All)
• Bounded Agents: Delegation Security for Multi-Agent AI Systems#616517arXiv (OAI Expanded)
• Bounded Agents: Delegation Security for Multi-Agent AI Systems#617017arXiv (All)
• SoK: AI-Augmented Binary Reversing#971824arXiv (All)
• Attestable Audit: Property-Based Attestation for Proprietary Workloads without Artifact Disclosure#1200131arXiv (All)
• Agent libOS: A Runtime Substrate for Capability-Controlled Self-Evolving LLM Agents#628166arXiv (OAI Expanded)
• Agent libOS: A Runtime Substrate for Capability-Controlled Self-Evolving LLM Agents#630028arXiv (All)
• Federated Trust for Embodied Robot Capability Marketplaces#809856arXiv (OAI Expanded)
• Federated Trust for Embodied Robot Capability Marketplaces#819852arXiv (All)
• A Systematic Study of Security Enforcement at Android Inter-Component Boundaries#1297949arXiv (All)
• Agentic Settlement Protocol: An Application Profile for Refundable, Delayed-Fulfilment Agent Commerce on Stablecoin Rails#822601arXiv (All)
• The Biomimetic Architecture of Software 4.0#1123113arXiv (OAI Expanded)
• AgentLoupe: Kernel-Resident Semantic Causal Labels for AI Agent Observability#1399973arXiv (All)
• Dr. Jekyll and Mr. Hyde: Two Faces of LLMs#182992arXiv
• Dr. Jekyll and Mr. Hyde: Two Faces of LLMs#183042arXiv Biology
• Dr. Jekyll and Mr. Hyde: Two Faces of LLMs#183092arXiv (OAI Expanded)
• Dr. Jekyll and Mr. Hyde: Two Faces of LLMs#183142arXiv (OAI)
• Auditable Agents#1291895arXiv (OAI Expanded)
• Same Name, Different Server: A Security Census of Silent Drift in the Model Context Protocol Ecosystem#1083590arXiv (OAI Expanded)
• Cognitive Admission Control: Risk-Conditioned Assurance for Consequential Actions in Agentic Distributed Systems#1110678arXiv (OAI Expanded)
• Structure/activity analysis of task-3 channel antagonists based on a 5,6,7,8 tetrahydropyrido[4,3-d]pyrimidine#948879Repositorio de Universidad Autónoma de Chile.
• Before Agents Act: Assurance-Aware Semantic Scheduling for Evidence Acquisition in Distributed Systems#1128648arXiv (All)
• ZK-Trace: Certified Collusion Tracing with Zero-Knowledge Credentials for Federated GNSS Interference Monitoring#986401arXiv (All)
• One Click to Leak: Characterizing the Real-World Usage and Threat Impact of MNO-based Single Sign-On Websites#1084425arXiv (OAI Expanded)
• Proof-of-Continuity: A Temporal Model for Authority Propagation in Distributed Systems and AI Agents#1248504arXiv (All)
• Benchmarking Confidential Computing Performance on NVIDIA Blackwell GPUs#809474arXiv (OAI Expanded)
• Benchmarking Confidential Computing Performance on NVIDIA Blackwell GPUs#819470arXiv (All)
• Numbat: Building and Verifying a Self-Contained Machine-Learning Stack#997632arXiv (All)
• Reachability, Not Observation: Containing Systems Whose Wiring Changes#1014308arXiv (All)
• QUPEX: A Streamlit-Based Framework for Visualizing Quantum-Mechanical Property Spaces of Organic Molecules#1343291arXiv (All)