Felix C. Gaertner

Learn More
The fair exchange problem is key to trading electronic items in systems of mutually untrusted parties. We consider modern variants of such systems where each party is equipped with a tamper proof security module. The security modules trust each other but can only communicate by exchanging messages through their host parties. These are untrusted and could(More)
There is a general consensus that courses on data security at university degree level should be research-oriented and teach fundamentals of the field, i.e., items of long-term knowledge in contrast to technology-oriented system knowledge. Unfortunately, this consensus often results in courses that are either too theoretical or are outdated with respect to(More)
We present a theory of fast and perfect detector components that extends the theory of detectors and correctors of Arora and Kulkarni, and based on which, we develop an algorithm that automatically transforms a fault-intolerant program into a fail-safe fault-tolerant program. Apart from presenting novel insights into the working principles of detectors, the(More)
There is a general consensus that courses on data security at university degree level should be research-oriented and teach fundamentals of the field, i.e., items of long-term knowledge in contrast to technology-oriented system knowledge. Unfortunately, this consensus often results in courses that are either too theoretical or are outdated with respect to(More)
Hydrogen is one of the essential reactants in the chemical industry, though its generation from renewable sources and storage in a safe and reversible manner remain challenging. Formic acid (HCO(2)H or FA) is a promising source and storage material in this respect. Here, we present a highly active iron catalyst system for the liberation of H(2) from FA.(More)
Hydrogen represents a clean energy source, which can be efficiently used in fuel cells generating electricity with water as the only byproduct. However, hydrogen generation from renewables under mild conditions and efficient hydrogen storage in a safe and reversible manner constitute important challenges. In this respect formic acid (HCO(2)H) represents a(More)
As computer systems influence an increasingly large part of everyday life, our society is becoming more and more dependent upon correct and well-designed systems. This is especially obvious in mission critical applications, like flight control systems, where it is important that the system continually provides the respective service even in the presence of(More)