Joachim Breitner

ORCID

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 42

Top Venues

CoRR

Proc. ACM Program. Lang.

Arch. Formal Proofs

J. Funct. Program.

Karlsruhe Institute of Technology (PHD)

Education History

Karlsruhe Institute of Technology

PHD

Publications

Dongjun Youn, Wonho Shin, Jaehyun Lee, Sukyoung Ryu, Joachim Breitner, Philippa Gardner, Sam Lindley, Matija Pretnar, Xiaojia Rao, Conrad Watt, Andreas Rossberg
Bringing the WebAssembly Standard up to Speed with SpecTec. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Dylan Rowe, Joachim Breitner, Nadia Heninger
The Curious Case of the Half-Half Bitcoin ECDSA Nonces. AFRICACRYPT (2023)
Joachim Breitner
More Fixpoints! (Functional Pearl). Proc. ACM Program. Lang. 7 (ICFP) (2023)
Joachim Breitner, Philippa Gardner, Jaehyun Lee, Sam Lindley, Matija Pretnar, Xiaojia Rao, Andreas Rossberg, Sukyoung Ryu, Wonho Shin, Conrad Watt, Dongjun Youn
Wasm SpecTec: Engineering a Formal Language Standard. CoRR (2023)
Dylan Rowe, Joachim Breitner, Nadia Heninger
The curious case of the half-half Bitcoin ECDSA nonces. IACR Cryptol. ePrint Arch. 2023 (2023)
Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., Tim Sweeney
The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, Joshua Cohen, Stephanie Weirich
Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code. J. Funct. Program. 31 (2021)
Joachim Breitner, Maciej Skorski
Explicit Renyi Entropy for Hidden Markov Models. ISIT (2020)
Joachim Breitner, Nadia Heninger
Biased Nonce Sense: Lattice Attacks against Weak ECDSA Signatures in Cryptocurrencies. IACR Cryptol. ePrint Arch. 2019 (2019)
Joachim Breitner
Demo: kaleidogen. FARM@ICFP (2019)
Joachim Breitner, Nadia Heninger
Biased Nonce Sense: Lattice Attacks Against Weak ECDSA Signatures in Cryptocurrencies. Financial Cryptography (2019)
Antal Spector-Zabusky, Joachim Breitner, Yao Li, Stephanie Weirich
Embracing a mechanized formalization gap. CoRR (2019)
Joachim Breitner
More on sliding right. IACR Cryptol. ePrint Arch. 2018 (2018)
Simon Bischof, Joachim Breitner, Jürgen Graf, Martin Hecker, Martin Mohr, Gregor Snelting
Low-deterministic security for low-nondeterministic programs. J. Comput. Secur. 26 (3) (2018)
Antal Spector-Zabusky, Joachim Breitner, Christine Rizkallah, Stephanie Weirich
Total Haskell is reasonable Coq. CPP (2018)
Joachim Breitner
A promise checked is a promise kept: inspection testing. Haskell@ICFP (2018)
Joachim Breitner
The adequacy of Launchbury's natural semantics for lazy evaluation. J. Funct. Program. 28 (2018)
Joachim Breitner
Call Arity. Comput. Lang. Syst. Struct. 52 (2018)
Simon Bischof, Joachim Breitner, Denis Lohner, Gregor Snelting
Illi Isabellistes Se Custodes Egregios Praestabant. Principled Software Development (2018)
Niki Vazou, Joachim Breitner, Rose Kunkel, David Van Horn, Graham Hutton
Theorem proving for all: equational reasoning in liquid Haskell (functional pearl). Haskell@ICFP (2018)
Richard A. Eisenberg, Joachim Breitner, Simon Peyton Jones
Type variables in patterns. Haskell@ICFP (2018)
Richard A. Eisenberg, Joachim Breitner, Simon Peyton Jones
Type variables in patterns. CoRR (2018)
Joachim Breitner
Beyond correct and fast: Inspection Testing. CoRR (2018)
Niki Vazou, Joachim Breitner, Will Kunkel, David Van Horn, Graham Hutton
Functional Pearl: Theorem Proving for All (Equational Reasoning in Liquid Haskell). CoRR (2018)
Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, Stephanie Weirich
Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report). Proc. ACM Program. Lang. 2 (ICFP) (2018)
Joachim Breitner
The sufficiently smart compiler is a theorem prover. CoRR (2018)
Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, Stephanie Weirich
Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code. CoRR (2018)
Joachim Breitner, Brian Huffman, Neil Mitchell, Christian Sternagel
HOLCF-Prelude. Arch. Formal Proofs 2017 (2017)
Joachim Breitner, Chris Smith
Lock-step simulation is child's play. CoRR (2017)
Antal Spector-Zabusky, Joachim Breitner, Christine Rizkallah, Stephanie Weirich
Total Haskell is Reasonable Coq. CoRR (2017)
Marco Vassena, Joachim Breitner, Alejandro Russo
Securing Concurrent Lazy Programs Against Information Leakage. CSF (2017)
Daniel J. Bernstein, Joachim Breitner, Daniel Genkin, Leon Groot Bruinderink, Nadia Heninger, Tanja Lange, Christine van Vredendaal, Yuval Yarom
Sliding right into disaster: Left-to-right sliding windows leak. IACR Cryptol. ePrint Arch. 2017 (2017)
Ilya Sergey, Dimitrios Vytiniotis, Simon L. Peyton Jones, Joachim Breitner
Modular, higher order cardinality analysis in theory and practice. J. Funct. Program. 27 (2017)
Joachim Breitner, Maciej Skorski
Analytic Formulas for Renyi Entropy of Hidden Markov Models. CoRR (2017)
Daniel J. Bernstein, Joachim Breitner, Daniel Genkin, Leon Groot Bruinderink, Nadia Heninger, Tanja Lange, Christine van Vredendaal, Yuval Yarom
Sliding Right into Disaster: Left-to-Right Sliding Windows Leak. CHES (2017)
Joachim Breitner, Chris Smith
Lock-step simulation is child's play (experience report). Proc. ACM Program. Lang. 1 (ICFP) (2017)
Joachim Breitner, Richard A. Eisenberg, Simon Peyton Jones, Stephanie Weirich
Safe zero-cost coercions for Haskell. J. Funct. Program. 26 (2016)
Joachim Breitner, Jürgen Graf, Martin Hecker, Martin Mohr, Gregor Snelting
On Improvements of Low-Deterministic Security. POST (2016)
Joachim Breitner
Visual Theorem Proving with the Incredible Proof Machine. ITP (2016)
Joachim Breitner
The Incredible Proof Machine (Invited Talk). LFMTP (2016)
Joachim Breitner, Denis Lohner
The meta theory of the Incredible Proof Machine. Arch. Formal Proofs 2016 (2016)
Joachim Breitner
Surprise Paradox. Arch. Formal Proofs 2016 (2016)
Joachim Breitner
The Safety of Call Arity. Arch. Formal Proofs 2015 (2015)
Joachim Breitner
Formally proving a compiler transformation safe. Haskell (2015)
Joachim Breitner
The Correctness of Launchbury's Natural Semantics for Lazy Evaluation. CoRR (2014)
Joachim Breitner
Call Arity. Trends in Functional Programming (2014)
Joachim Breitner, Richard A. Eisenberg, Simon L. Peyton Jones, Stephanie Weirich
Safe zero-cost coercions for Haskell. ICFP (2014)
Joachim Breitner
The Correctness of Launchbury's Natural Semantics for Lazy Evaluation. Arch. Formal Proofs 2013 (2013)
Joachim Breitner, Brian Huffman, Neil Mitchell, Christian Sternagel
Certified HLints with Isabelle/HOLCF-Prelude. CoRR (2013)
Joachim Breitner
dup -- Explicit un-sharing in Haskell CoRR (2012)
Joachim Breitner
Tackling the testing migration problem with SAT-Solvers CoRR (2012)
Joachim Breitner
Conditional Elimination through Code Duplication CoRR (2011)
Joachim Breitner
The General Triangle Is Unique. Arch. Formal Proofs 2011 (2011)
Joachim Breitner
Shivers' Control Flow Analysis. Arch. Formal Proofs 2010 (2010)
Joachim Breitner
Free Groups. Arch. Formal Proofs 2010 (2010)

Joachim Breitner.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Joachim Breitner