NIST: Personal Identity Verification (PIV) of Federal Employees and Contractors(nvlpubs.nist.gov)88 points by stefankuehnel 2 years ago | 33 comments
Efficient Hash Probes on Modern Processors (2007) [pdf](cs.columbia.edu)6 points by mfiguiere 2 years ago | 0 comments
Fast and Clean: Auditable high-performance assembly via constraint solving [pdf](eprint.iacr.org)67 points by luu 3 years ago | 4 comments
Socioeconomic status and the relationship between the SAT and GPA (2009) [pdf](files.eric.ed.gov)24 points by noch 2 years ago | 56 comments
NaNofuzz: A Usable Tool for Automatic Test Generation [pdf](cmumatt.github.io)32 points by luu 3 years ago | 6 comments
Mementos: System Support for Long-Running Computation on RFID-Scale Devices(web.cs.umass.edu)15 points by frappe06 3 years ago | 2 comments
![Screenshot of ironsides.martincarlisle.com: Provably Secure DNS: A Case Study in Reliable Software (2013) [pdf]](https://hn.urlbox.com/shots/renders/2024/3/29/ff26651f-8758-4002-af0a-472728afe826.jpg)
![Screenshot of cs.columbia.edu: Efficient Hash Probes on Modern Processors (2007) [pdf]](https://hn.urlbox.com/shots/renders/2023/12/30/dbdbb576-330b-4431-9152-9d9593bd818c.jpg)
![Screenshot of eprint.iacr.org: Fast and Clean: Auditable high-performance assembly via constraint solving [pdf]](https://hn.urlbox.com/shots/renders/2023/10/9/21a99240-5b47-4096-a0f6-962ebb3110a9.jpg)
![Screenshot of files.eric.ed.gov: Socioeconomic status and the relationship between the SAT and GPA (2009) [pdf]](https://hn.urlbox.com/shots/renders/2024/3/14/17d9c27c-aa4e-40be-99bb-cc61aedd8e86.jpg)
![Screenshot of cmumatt.github.io: NaNofuzz: A Usable Tool for Automatic Test Generation [pdf]](https://hn.urlbox.com/shots/renders/2023/9/8/3c1fb265-8b4c-4871-933f-44f6dab082f9.jpg)
