|
|
| | End-to-End Mechanized Proof of a JIT-Accelerated eBPF Virtual Machine for IoT [pdf] (irisa.fr) | | 2 points by matt_d on May 13, 2024 | past | |
| | Formally Verified Native Code Generation in an Effectful JIT [pdf] (irisa.fr) | | 1 point by matt_d on Nov 29, 2022 | past | |
| | Git for Beginners (Handout) [pdf] (irisa.fr) | | 3 points by todsacerdoti on Oct 9, 2022 | past | |
| | GPU architecture part 2: SIMT control flow management [pdf] (irisa.fr) | | 3 points by asgeir on Nov 27, 2018 | past | |
| | An advanced browser fingerprint calculator aimed mainly at Tor Browser users (irisa.fr) | | 158 points by jerheinze on March 21, 2017 | past | 77 comments | |
| | CYCLON: Inexpensive Membership Management for Unstructured P2P Overlays [pdf] (irisa.fr) | | 3 points by wilsonfiifi on Feb 8, 2017 | past | |
| | Grover's algorithm with cats (irisa.fr) | | 2 points by _a0vv on Jan 25, 2017 | past | |
| | Datasets for approximate nearest neighbor search (irisa.fr) | | 1 point by espeed on Nov 6, 2015 | past | |
| | Attacks on ECDSA Signatures With Single-Bit Nonce Bias [pdf] (irisa.fr) | | 43 points by bgentry on Dec 12, 2014 | past | 14 comments | |
| | Help us fight browser fingerprinting (irisa.fr) | | 21 points by alcuadrado on April 5, 2013 | past | 9 comments | |
|
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
