Joachim Breitner

MaRDI QIDQ375800zbMATH OpenDBLPWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The curious case of the half-half Bitcoin ECDSA nonces Progress in Cryptology - AFRICACRYPT 2023	2024-02-02	Paper
Ready, set, verify! Applying hs-to-coq to real-world Haskell code Journal of Functional Programming	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 Lecture Notes in Computer Science	2020-06-24	Paper
The adequacy of Launchbury's natural semantics for lazy evaluation Journal of Functional Programming	2018-08-03	Paper
Safe zero-cost coercions for Haskell Journal of Functional Programming	2017-10-23	Paper
Modular, higher order cardinality analysis in theory and practice Journal of Functional Programming	2017-10-23	Paper
Visual theorem proving with the Incredible Proof Machine Interactive Theorem Proving	2016-10-27	Paper
Safe zero-cost coercions for Haskell Proceedings of the 19th ACM SIGPLAN international conference on Functional programming	2016-09-29	Paper
Loop subgroups of \(F_r\) and the image of their stabilizer subgroups in \(\mathrm{GL}_r(\mathbb Z)\). Israel Journal of Mathematics	2013-11-01	Paper

Research outcomes over time

This page was built for person: Joachim Breitner