Crux, a Precise Verifier for Rust and Other Languages(arxiv.org)86 points by belter 2 years ago | 11 comments
Embedded Rust or C firmware? Lessons from an industrial microcontroller use case(arxiv.org)139 points by mrtz 5 months ago | 125 comments
Runtime Verification for Trustworthy Computing(arxiv.org)8 points by PaulHoule 3 years ago | 0 comments
SquirrelFS: Using the Rust compiler to check file-system crash consistency(arxiv.org)95 points by belter 2 years ago | 9 comments
faulTPM: Exposing AMD fTPMs' Deepest Secrets(arxiv.org)276 points by kerm1t 3 years ago | 246 comments
Eccfrog512ck2: An Enhanced 512-Bit Weierstrass Elliptic Curve [pdf](arxiv.org)33 points by bikenaga 1 year ago | 11 comments
![Screenshot of arxiv.org: Eccfrog512ck2: An Enhanced 512-Bit Weierstrass Elliptic Curve [pdf]](https://hn.urlbox.com/shots/renders/2025/4/20/210f893d-ff7f-46ce-9b2a-77f8d872f717.jpg)