arXiv (All)
open access
AegisAsync: Symbolic Async-Event Simulation for Risks in Python Asynchronous Programs
Security and robustness risks in Python async programs depend on event order, object identity, and execution after exceptions or cancellation. Detecting these risks requires connecting related operations across function calls and tracking their effects along execution paths. We present AegisAsync, a
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- AegisAsync: Symbolic Async-Event Simulation for Risks in Python Asynchronous Programs#1318867
- WarpGuard: Towards Control-Flow Attestation for Heterogeneous CPU-GPU Execution#370276
- Beyond Source: An Empirical Study of Python Bytecode Security Risks#451242
- PyFEX: Uncovering Evasive Python-based Threats via Resilient and Exhaustive Path Exploration#246422
- Demystifying the Silence of Correctness Bugs in PyTorch Compiler#6036
Record · ID 1344323
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive