Joachim Breitner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
7
Active years
2014–2020
Best venue rank
C
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ISIT | Explicit Renyi Entropy for Hidden Markov Models. | Joachim Breitner, Maciej Skorski |
| 2019 | FC | Biased Nonce Sense: Lattice Attacks Against Weak ECDSA Signatures in Cryptocurrencies. | Joachim Breitner, Nadia Heninger |
| 2019 | ICFP | Demo: kaleidogen. | Joachim Breitner |
| 2018 | CPP | Total Haskell is reasonable Coq. | Antal Spector-Zabusky, Joachim Breitner, Christine Rizkallah, Stephanie Weirich |
| 2018 | HASKELL | A promise checked is a promise kept: inspection testing. | Joachim Breitner |
| 2018 | HASKELL | Type variables in patterns. | Richard A. Eisenberg, Joachim Breitner, Simon Peyton Jones |
| 2018 | HASKELL | Theorem proving for all: equational reasoning in liquid Haskell (functional pearl). | Niki Vazou, Joachim Breitner, Rose Kunkel, David Van Horn, Graham Hutton |
| 2017 | CHES | Sliding Right into Disaster: Left-to-Right Sliding Windows Leak. | Daniel J. Bernstein, Joachim Breitner, Daniel Genkin, Leon Groot Bruinderink, Nadia Heninger, Tanja Lange, Christine van Vredendaal, Yuval Yarom |
| 2016 | ITP | Visual Theorem Proving with the Incredible Proof Machine. | Joachim Breitner |
| 2015 | HASKELL | Formally proving a compiler transformation safe. | Joachim Breitner |
| 2014 | ICFP | Safe zero-cost coercions for Haskell. | Joachim Breitner, Richard A. Eisenberg, Simon L. Peyton Jones, Stephanie Weirich |