FinWhale is the first DAG BFT protocol achieving two-message-delay termination on a fast path while preserving safety with the slow path in the partially synchronous model with n=3f+2p-1.
Cottontail: Large Language Model-Driven Concolic Execution for Highly Structured Test Input Generation
7 Pith papers cite this work. Polarity classification is still indexing.
7
Pith papers citing it
citation-role summary
background 3
citation-polarity summary
years
2026 7roles
background 3polarities
background 3representative citing papers
Bifrost achieves significant latency reductions in privacy-preserving transformer inference through a hybrid CPU TEE and accelerator FHE design, with Bifrost+ further optimizing via prefill/decode split.
DEBENCH shows the best decompiler-LLM pair reaches only 22.3% program-level behavioral overlap and 1.2% exact stdout match, with decompiler engines driving 20x more variation than LLMs.
The paper fixes two bugs in Go's extendedGCD for RSA key generation, proves the corrected version correct and terminating via Gobra with Lean lemmata, and reports a 24% speedup.
FuzzAgent deploys specialized agents that collaborate on harness generation, execution, and crash triage to evolve fuzzing campaigns, delivering 45-191% more branch coverage than four baselines on 20 C/C++ libraries and surfacing 102 real bugs.
Semia synthesizes Datalog representations of agent skills via constraint-guided loops to enable reachability queries for semantic risks, finding critical issues in over half of 13,728 real skills with 97.7% recall on expert-labeled samples.
GPIR achieves up to 297 times higher throughput than prior GPU PIR systems by fusing operations in stages and using pipelined transposed layouts to cut DRAM traffic during batched lattice-based queries.
citing papers explorer
-
FinWhale: An Optimally Resilient Two-Round Terminating DAG Protocol
FinWhale is the first DAG BFT protocol achieving two-message-delay termination on a fast path while preserving safety with the slow path in the partially synchronous model with n=3f+2p-1.
-
Bifrost: Hybrid TEE-FHE Inference for Privacy-Preserving Transformer and LLM Serving
Bifrost achieves significant latency reductions in privacy-preserving transformer inference through a hybrid CPU TEE and accelerator FHE design, with Bifrost+ further optimizing via prefill/decode split.
-
CODEFUSE-DEBENCH: An Empirical Study on Readability, Recompilability, and Functionality
DEBENCH shows the best decompiler-LLM pair reaches only 22.3% program-level behavioral overlap and 1.2% exact stdout match, with decompiler engines driving 20x more variation than LLMs.
-
GCD: Garbled, Corrected, Demonstrandum -- Fixing and Proving Go's Extended GCD Implementation
The paper fixes two bugs in Go's extendedGCD for RSA key generation, proves the corrected version correct and terminating via Gobra with Lean lemmata, and reports a 24% speedup.
-
FuzzAgent: Multi-Agent System for Evolutionary Library Fuzzing
FuzzAgent deploys specialized agents that collaborate on harness generation, execution, and crash triage to evolve fuzzing campaigns, delivering 45-191% more branch coverage than four baselines on 20 C/C++ libraries and surfacing 102 real bugs.
-
Semia: Auditing Agent Skills via Constraint-Guided Representation Synthesis
Semia synthesizes Datalog representations of agent skills via constraint-guided loops to enable reachability queries for semantic risks, finding critical issues in over half of 13,728 real skills with 97.7% recall on expert-labeled samples.
-
GPIR: Enabling Practical Private Information Retrieval with GPUs
GPIR achieves up to 297 times higher throughput than prior GPU PIR systems by fusing operations in stages and using pipelined transposed layouts to cut DRAM traffic during batched lattice-based queries.