Building Sound Evaluation Practices for Rust-Based Security Frameworks
An automated approach to inject unsafe code coverage oracles, which require no forward porting, avoid overfitting, and allow updating test sets in the future are introduced, to quantify the performance of a security tool.
D. Paaßen, Lucas Davi
· 0 citations