The following pages link to Joachim Breitner (Q375800):
Displaying 9 items.
- Loop subgroups of \(F_r\) and the image of their stabilizer subgroups in \(\mathrm{GL}_r(\mathbb Z)\). (Q375801) (← links)
- Biased nonce sense: lattice attacks against weak ECDSA signatures in cryptocurrencies (Q2656908) (← links)
- Safe zero-cost coercions for Haskell (Q2819677) (← links)
- Visual Theorem Proving with the Incredible Proof Machine (Q2829254) (← links)
- The adequacy of Launchbury's natural semantics for lazy evaluation (Q4577822) (← links)
- Ready,<tt>Set</tt>, Verify! Applying<tt>hs-to-coq</tt>to real-world Haskell code (Q5018778) (← links)
- Sliding Right into Disaster: Left-to-Right Sliding Windows Leak (Q5114649) (← links)
- Safe zero-cost coercions for Haskell (Q5371973) (← links)
- Modular, higher order cardinality analysis in theory and practice (Q5372006) (← links)
