Browsing by Author "Hasler, Sebastian"

Now showing 1 - 2 of 2

Open Access
B-Spline-Kollokation mit der Kombinationstechnik
(2018) Hasler, Sebastian
Wir implementieren eine Methode zur Lösung partieller Differentialgleichungen mithilfe einer Tensorproduktbasis aus B-Splines. Im Gegensatz zur Finite-Elemente-Methode, müssen dabei keine Integrale berechnet werden, was eine Beschleunigung mit sich bringt. Um in mehreren Dimensionen den Fluch der Dimensionalität zu umgehen, verwenden wir die Kombinationstechnik, mit welcher Probleme auf dünnen Gittern gelöst werden können. Die so erhaltene Lösung ist im Allgemeinen keine exakte Dünngitter-Lösung, stellt aber für bestimmte Probleme – wie zum Beispiel für die Poisson-Gleichung – eine gute Approximation dar. In der Hoffnung, diese Approximation zu verbessern, implementieren wir ein iteratives Verfahren, welches das Residuum an den Gitterpunkten weiter verringern soll. Wie sich später herausstellt, geschieht zwar Letzteres, doch wird die Lösung dabei in ihrer Gesamtheit nicht besser. Des Weiteren ist die Methode ungenau bei der Lösung von Problemen mit unstetigen Randbedingungen.
Open Access
Verifiable tally-hiding E-voting with fully homomorphic encryption
(2020) Hasler, Sebastian
An E-voting system is end-to-end verifiable if arbitrary external parties can check whether the result of the election is correct or not. It is tally-hiding if it does not disclose the full election result but rather only the relevant information, such as e.g. the winner of the election. In this thesis we pursue the goal of constructing an end-to-end verifiable tally-hiding E-voting system using fully homomorphic encryption. First we construct an alteration of the GSW levelled fully homomorphic encryption scheme based on the learning with errors over rings assumption. We utilize a key homomorphic property of this scheme in order to augment the scheme by a distributed key generation and distributed decryption. This leads to a passively secure 4-round multi-party computation protocol in the common random string model that can evaluate arithmetic circuits of arbitrary size. The complexity of this protocol is quasi-linear in the number of parties, polynomial in the security parameter and polynomial in the size of the circuit. By using Fiat-Shamir-transformed discrete-log-based zero-knowledge proofs we achieve security against active adversaries in the random oracle model while preserving the number of 4 rounds. Based on this actively secure protocol we construct an end-to-end verifiable tally-hiding E-voting system that has quasi-linear time complexity in the number of voters.