Browsing NTNU Open by Author "Müller, Johannes"
Now showing items 1-4 of 4
-
Earthworms, Darwin and prehistoric agriculture-Chernozem genesis reconsidered
Dreibrodt, Stefan; Hofmann, Robert; Dal Corso, Marta; Bork, Hans-Rudolf; Duttmann, Rainer; Martini, Sarah J.; Saggau, Philipp; Schwark, Lorenz; Shatilo, Liudmyla; Videiko, Michail; Nadeau, Marie-Josée; Grootes, Pieter Meiert; Kirleis, Wiebke; Müller, Johannes (Peer reviewed; Journal article, 2021)Chernozems are among the most fertile agricultural soils on Earth and are important terrestrial carbon reservoirs. Since the Miocene-advent of grassland-ecosystems, they develop on fine-grained calcareous parent materials, ... -
SoK: Techniques for Verifiable Mix Nets
Haines, Thomas Edmund; Müller, Johannes (Peer reviewed; Journal article, 2020)Since David Chaum introduced the idea of mix nets 40 years ago, they have become widely used building blocks for privacy-preserving protocols. Several important applications, such as secure e-voting, require that the ... -
A Verifiable and Practical Lattice-Based Decryption Mix Net with External Auditing
Boyen, Xavier; Haines, Thomas Edmund; Müller, Johannes (Peer reviewed; Journal article, 2020)Mix nets are often used to provide privacy in modern security protocols, through shuffling. Some of the most important applications, such as secure electronic voting, require mix nets that are verifiable. In the literature, ... -
Verifiable Decryption in the Head
Gjøsteen, Kristian; Haines, Thomas Edmund; Müller, Johannes; Rønne, Peter B.; Silde, Tjerand (Peer reviewed; Journal article, 2022)In this work we present a new approach to verifiable decryption which converts a 2-party passively secure distributed decryption protocol into a 1-party proof of correct decryption. This leads to an efficient and simple ...