Joachim Breitner

Available identifiers

zbMath Open breitner.joachimDBLP80/9827WikidataQ58372347 ScholiaQ58372347MaRDI QIDQ375800

List of research outcomes

Publication	Date of Publication	Type
The curious case of the half-half Bitcoin ECDSA nonces	2024-02-02	Paper
Ready,Set, Verify! Applyinghs-to-coqto real-world Haskell code	2021-12-22	Paper
Biased nonce sense: lattice attacks against weak ECDSA signatures in cryptocurrencies	2021-03-17	Paper
Sliding Right into Disaster: Left-to-Right Sliding Windows Leak	2020-06-24	Paper
The adequacy of Launchbury's natural semantics for lazy evaluation	2018-08-03	Paper
Safe zero-cost coercions for Haskell	2017-10-23	Paper
Modular, higher order cardinality analysis in theory and practice	2017-10-23	Paper
Visual Theorem Proving with the Incredible Proof Machine	2016-10-27	Paper
Safe zero-cost coercions for Haskell	2016-09-29	Paper
Loop subgroups of \(F_r\) and the image of their stabilizer subgroups in \(\mathrm{GL}_r(\mathbb Z)\).	2013-11-01	Paper

Research outcomes over time

This page was built for person: Joachim Breitner