Department Informatik

Atomic Multi-Channel Updates with Constant Collateral in Bitcoin-Compatible Payment-Channel Networks (2019) Egger C, Moreno-Sanchez P, Maffei M Conference contribution Omniring: Scaling private payments without trusted setup: Formal foundations and a construction of ring confidential transactions with log-size proofs (2019) Lai RWF, Schröder D, Ronge V, Thyagarajan SAK, Ruffing T, Wang J Conference contribution Succinct arguments for bilinear group arithmetic: Practical structure-preserving cryptography (2019) Lai RWF, Malavolta G, Ronge V Conference contribution MiniDES - Lightweight Python Simulation Framework for Interconnected Renewable Resources (2019) Schlund J, Reisenweber J, German R Conference contribution, Conference Contribution Coinductive resumption monads: Guarded iterative and guarded Elgot (2019) Levy PB, Goncharov S Conference contribution Reaching Grey Havens: Industrial Automotive Security Modeling with SAM (2019) Zoppelt M, Tavakoli Kolagari R Other publication type, Online Journao Simulating memristive systems in mixed-signal mode using commercial design tools (2019) Fritscher M, Knödtel J, Reichenbach M, Fey D Conference contribution From equational specifications of algebras with structure to varieties of data languages (2019) Milius S Conference contribution A Hardware Inference Accelerator for Temporal Convolutional Networks (2019) Ali R, Mallah M, Leyh M, Holzinger P, Breiling M, Reichenbach M, Fey D Conference contribution, Conference Contribution Automated Multi-sequence Cardiac MRI Segmentation Using Supervised Domain Adaptation (2019) Vesal S, Ravikumar N, Maier A Conference contribution, Conference Contribution