Submissions from irisa.fr

		End-to-End Mechanized Proof of a JIT-Accelerated eBPF Virtual Machine for IoT [pdf] (irisa.fr)
		2 points by matt_d 9 months ago \| 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