Forging 1024-bit RSA signatures in nearly SNFS time [pdf](eprint.iacr.org)

63 points by int0x29 1 month ago | 11 comments

IACR ePrint paper implementing the Joux-Naccache-Thomé attack to forge 1024-bit RSA signatures via a signing oracle (an HSM) in roughly SNFS time.

Property-Based Testing of OCaml 5's Runtime System [pdf](janmidtgaard.dk)

36 points by todsacerdoti 1 year ago | 1 comments

Mysteries of Dropbox: Testing of a Distributed Sync Service (2016) [pdf](cis.upenn.edu)

100 points by JackeJR 6 months ago | 23 comments

Reworking Memory Management in CRuby [pdf](blog.peterzhu.ca)

37 points by hahahacorn 1 year ago | 3 comments

Finding and Understanding Bugs in C Compilers (2011) [pdf](users.cs.utah.edu)

23 points by djoldman 1 year ago | 3 comments

The cryptoint library (2025) [pdf](cr.yp.to)

21 points by akkartik 11 days ago | 0 comments

Daniel J. Bernstein's paper describing cryptoint, a C/C++ library of constant-time integer functions designed to resist compiler optimizations that introduce timing leaks.