| Publication | Date of Publication | Type |
|---|
| Motion of several rigid bodies in a compressible fluid-mixed case | 2024-01-05 | Paper |
| Strong well-posedness and dynamics of a nematic liquid crystal-colloidal interaction model | 2023-10-26 | Paper |
| Nonlinear theory remedies the lack of invertibility in time periodic fluid flows | 2023-10-24 | Paper |
| Global existence of Weak Solutions for a model of nematic liquid crystal-colloidal interactions | 2023-10-24 | Paper |
| On the motion of a nearly incompressible viscous fluid containing a small rigid body | 2023-09-25 | Paper |
| On the motion of a small rigid body in a viscous compressible fluid | 2023-07-24 | Paper |
| Wellposedness of Boussinesq system | 2023-06-19 | Paper |
| On the motion of a large number of small rigid bodies in a viscous incompressible fluid | 2023-06-09 | Paper |
| Time-release cryptography from minimal circuit assumptions | 2023-05-12 | Paper |
| Minicrypt primitives with algebraic structure and applications | 2023-01-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5052999 | 2022-11-25 | Paper |
| Collision/No-collision results of a solid body with its container in a 3D compressible viscous fluid | 2022-10-10 | Paper |
| Motion of a rigid body in a compressible fluid with Navier-slip boundary condition | 2022-09-27 | Paper |
| Compressible Navier-Stokes system with the hard sphere pressure law in an exterior domain | 2022-08-25 | Paper |
| Feistel structures for MPC, and more | 2022-08-25 | Paper |
| Existence of a weak solution to a nonlinear fluid-structure interaction problem with heat exchange | 2022-08-08 | Paper |
| Leveraging special-purpose hardware for local search heuristics | 2022-04-12 | Paper |
| Interpolation cryptanalysis of unbalanced Feistel networks with low degree round functions | 2022-03-25 | Paper |
| Existence and uniqueness of maximal strong solution of a 1D blood flow in a network of vessels | 2021-12-15 | Paper |
| Approximate controllability and stabilizability of a linearized system for the interaction between a viscoelastic fluid and a rigid body | 2021-12-13 | Paper |
| Compactness of hashing modes and efficiency beyond Merkle tree | 2021-12-08 | Paper |
| An overview of queuing delay and various delay based algorithms in networks | 2021-11-11 | Paper |
| Investigations into transient wakes behind a custom airfoil undergoing pitching motion | 2021-09-20 | Paper |
| Self-propelled motion of a rigid body inside a density dependent incompressible fluid | 2021-07-16 | Paper |
| Measure-valued solutions and weak-strong uniqueness for the incompressible inviscid fluid-rigid body interaction | 2021-06-01 | Paper |
| Stabilization of a rigid body moving in a compressible viscous fluid | 2021-04-27 | Paper |
| Existence of strong solutions for a system of interaction between a compressible viscous fluid and a wave equation* | 2021-04-27 | Paper |
| Interpolation by Different Types of Quantum Channels Using Conic Programs | 2021-04-15 | Paper |
| Maximal-in-Time Existence and Uniqueness of Strong Solution of a 3D Fluid-Structure Interaction Model | 2020-12-29 | Paper |
| Remark on the global null controllability for a viscous Burgers-particle system with particle supported control | 2020-06-09 | Paper |
| Shorter QA-NIZK and SPS with tighter security | 2020-05-11 | Paper |
| Forkcipher: a new primitive for authenticated encryption of very short messages | 2020-05-05 | Paper |
| Local null controllability of a rigid body moving into a Boussinesq flow | 2020-04-29 | Paper |
| Minicrypt primitives with algebraic structure and applications | 2020-02-06 | Paper |
| Constructing TI-friendly substitution boxes using shift-invariant permutations | 2020-01-28 | Paper |
| A Brief Comparison of Simon and Simeck | 2019-01-30 | Paper |
| Boundary feedback stabilization of the Boussinesq system with mixed boundary conditions | 2019-01-23 | Paper |
| Improved (almost) tightly-secure simulation-sound QA-NIZK with applications | 2018-12-20 | Paper |
| Smooth NIZK arguments | 2018-12-11 | Paper |
| Improved (almost) tightly-secure structure-preserving signatures | 2018-05-29 | Paper |
| Shorter quasi-adaptive NIZK proofs for linear subspaces | 2018-02-15 | Paper |
| Improved Structure Preserving Signatures Under Standard Bilinear Assumptions | 2017-06-13 | Paper |
| MiMC: Efficient Encryption and Cryptographic Hashing with Minimal Multiplicative Complexity | 2017-02-01 | Paper |
| Dual-System Simulation-Soundness with Applications to UC-PAKE and More | 2016-06-10 | Paper |
| Error-Tolerant Side-Channel Cube Attack Revisited | 2016-04-13 | Paper |
| Relational Hash: Probabilistic Hash for Verifying Relations, Secure Against Forgery and More | 2015-12-10 | Paper |
| Cryptanalysis of the “Kindle” Cipher | 2015-12-04 | Paper |
| Secure Message Authentication Against Related-Key Attack | 2015-09-18 | Paper |
| Differential Analysis of Block Ciphers SIMON and SPECK | 2015-09-18 | Paper |
| Fast Evaluation of Polynomials over Binary Finite Fields and Application to Side-Channel Countermeasures | 2015-07-21 | Paper |
| Switching Lemma for Bilinear Tests and Constant-Size NIZK Proofs for Linear Subspaces | 2014-08-07 | Paper |
| Disintegrating supercritical jets in a subcritical environment | 2014-04-01 | Paper |
| Shorter Quasi-Adaptive NIZK Proofs for Linear Subspaces | 2013-12-10 | Paper |
| Protocol Composition Logic (PCL) | 2013-12-06 | Paper |
| Relatively-Sound NIZKs and Password-Based Key-Exchange | 2012-07-20 | Paper |
| Boomerang Attacks on Hash Function Using Auxiliary Differentials | 2012-06-08 | Paper |
| Boomerang Attacks on BLAKE-32 | 2011-07-07 | Paper |
| Inductive Proofs of Computational Secrecy | 2008-08-21 | Paper |
