Elevator performs the first fully static, heuristic-free whole-program binary translation from x86-64 to AArch64 by exhaustively interpreting every byte and composing ISA-derived code tiles.
Canonical reference
Title resolution pending
Canonical reference. 88% of citing Pith papers cite this work as background.
37
Pith papers citing it
Background
88% of classified citations
citation-role summary
background 16
dataset 1
citation-polarity summary
representative citing papers
Cerisier is the first mechanized program logic for modular reasoning about trusted, untrusted, and attested code in capability machines, with a universal contract for untrusted code and demonstrations on secure computation and mutual attestation.
Decentralized block building is an exact potential game with an asymptotically tight factor-2 Price of Anarchy and utility concentration bounds showing the lowest-utility builder earns at least half the highest.
SCARA introduces a four-stage pipeline using state-aware verification and constrained synthesis to remediate vulnerabilities in source-unavailable industrial software, reporting 100% precision and 88.9% success on a 15-case benchmark.
Quantitative partial equivalence analysis quantifies behavioral differences between original and patched programs via symbolic analysis and a range-based heuristic for numerical domains.
A low-stake adversary can degrade a liquid staking pool's performance via consensus manipulation and profit from the resulting drop in its LST value through application-layer financial positions.
A sound and complete deductive system for relative trace equality based on relative bisimulation is introduced, formalized in Rocq, and demonstrated on two contract satisfaction proofs.
Grassroots bonds add maturity dates to local cryptocurrencies to enable lending and other instruments via enforceable digital social contracts.
ConsentDiff enables longitudinal tracking of privacy policy churn and consent UI patterns, finding ongoing changes, shifts away from high-friction banners, and higher policy-UI alignment when rejection options are visible.
Flutter achieves 2Δ + ε good-case latency for Byzantine Total Order Broadcast via a new binary consensus called Blink, under partial synchrony with 5f+1 servers.
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.
Introduces MEV non-interference and local MEV as formal notions to enable modular reasoning about economic security in DeFi contract compositions.
PeAR shows static binary instrumentation can instrument 88% of FUZZBENCH targets with 4x throughput gains and coverage matching compiler-based methods.
MemLineage enforces untrusted-path persistence in LLM agent memory through Merkle logs, per-principal signatures, and max-of-strong-edges lineage propagation, achieving zero ASR on three poisoning workloads with sub-millisecond overhead.
Google AI Overviews activate on 13.7% of queries overall and 64.7% of questions, cite more credible sources than standard results but omit key information in 11% of claims, and suppress clicks on over half of cited pages that carry ads.
PoisonCap uses a new poison capability format to deliver strict use-after-free and initialization safety for CHERI systems with no fundamental overhead over Cornucopia baselines.
BEACON is a large-scale multimodal dataset of synchronized Valorant esports gameplay data for behavioral fingerprinting and continuous authentication research.
Pomegranate compartmentalizes commodity OS kernels via virtualization extensions, sentry functions, and EPT-enforced policies, achieving negligible overhead on a Linux network stack when compartment boundaries limit cross-talk.
DeFi vault risk is decomposed into three levels with six on-chain mechanical features generating new loss channels, yielding five aggregated credit risk metrics and an on-chain estimation architecture.
An encoding of Solidity contracts and first-order Hennessy-Milner logic into Lustre enables Kind 2 model checking of complex temporal properties in smart contracts.
ARuleCon uses AI agents plus execution-based checks to convert SIEM rules across vendors with 15% higher fidelity than standard LLM translation.
Ledger-state stigmergy maps biological indirect coordination to blockchain ledgers via a state-transition formalism and three base patterns for on-chain agent coordination.
Structured CTI standards like ATT&CK describe adversary actions but lack the ordering, preconditions, and environmental details needed for direct multi-stage emulation, and a translation method can bridge this gap when assumptions are recorded.
NanoTag enables byte-granular overflow detection on unmodified MTE binaries by combining hardware tagging with selective software tripwire checks on the Scudo allocator.
citing papers explorer
-
ConsentDiff at Scale: Longitudinal Audits of Web Privacy Policy Changes and UI Frictions
ConsentDiff enables longitudinal tracking of privacy policy churn and consent UI patterns, finding ongoing changes, shifts away from high-friction banners, and higher policy-UI alignment when rejection options are visible.