KIT - Karlsruhe Institute of Technology
image/svg+xml
Decentralized Systems and Network Services Research Group - KASTEL
skip navigation
Home
Legals
Privacy Policy
Accessibility
Sitemap
KIT
de
search
search
Research Profile
Teaching
Start
Teaching
Teaching
Courses
Summer Term 2025
Winter Term 2024/25
Exams
Past courses
Theses
Staff
Publications
Start
Publications
Publications
Publications
Talks
Software and Data
Awards
Startpage
Home
Legals
Privacy Policy
Accessibility
Sitemap
search
search
Decentralized Systems and Network Services Research Group - KASTEL
Startpage
Publications
Talks
Home
Research Profile
Teaching
Staff
Publications
Software and Data
Awards
Publications
Publications
Talks
Talks
Talks
Media
selbst erstellt
Coupling Smart Contracts: A Comparative Case Study - Presentation at BRAINS'21 by Oliver Stengele and Sebastian Friebe
Matthias Grundmann
Verifying Payment Channels with TLA+ - Presentation at TLA+ Conference 2021 by Matthias Grundmann
Media
Practical Trade-Offs in Integrity Protection for Binaries via Ethereum - Presentation at ACM/IFIP Middleware 2020 by Oliver Stengele and Jan Droll
Media
Packet Analyzers - Presentation at Virtual Zeek Week 2020 by Jan Grashöfer and Tim Wojtulewicz
Media
How to set your logs on fire with Emoji-🔥 - Virtual Zeek Week 2020 by Benjamin Berens & Jan Grashöfer
KIT
Fundamental Properties of the Layer Below a Payment Channel Network - Presentation at the CBT Workshop 2020 by Matthias Grundmann
Banklaves
KIT
BANKLAVES: Concept for a Trustworthy Decentralized Payment Service for Bitcoin - Presentation at IEEE International Conference on Blockchain and Cryptocurrency in May 2019 (Start at 26:36)
Media
The Intelligence Framework Update - Presentation at BroCon 2017 by Jan Grashöfer
