News
December 11, 2020
Our paper on verifying Bitcoin-S using Stainless has been published.
May 23, 2019
There's a new review of my book
Blockchain
kurz & gut
by Linux magazine.
Kai Brünnler
- Current Position
- Professor of Computer
Science
Institute for Cybersecurity and Engineering
Bern University of Applied Sciences - Visitor Address
- Höheweg 82
Office Number: N.571/572 - Research Interests
- Logic, Information Security, Applied Cryptography, Bitcoin-not-Blockchain
- Contact
- Phone: +41 32 321 64 87
Email: kai.bruennler{at}bfh.ch
LinkedIn: https://www.linkedin.com/in/kaibruennler/
GitHub: https://github.com/kaibr