Software Engineering

cs.SE

Design tools, software metrics, testing, debugging, and programming environments.

Sort:

Ruby Finds Unsafe Rust Regions in Stripped Binaries

Instruction-level binary features train a classifier that recovers 91.75% of unsafe regions at a 6.16% false positive rate.

Jul 13, 20264 min2211.00111

HetBFT: Byzantine Consensus for Heterogeneous Trust

A consensus protocol achieves optimal resilience while allowing participants to hold different trust assumptions.

Apr 15, 20248 min2404.09012 Code available