16 citations · 21 across the 6 of their papers we have counts for
5 papers · 1 filter
Backdoor Channels Hidden in Latent Space: Extending Cryptographic Undetectability to Modern Neural Networks
Marte Eggen, Eirik Reiestad, Kristian Gjøsteen +1
Recent cryptographic results establish that neural networks can be backdoored such that no efficient algorithm can distinguish them from a clean model. These guarantees, however, h…
Towards Verifiable Remote Voting with Paper Assurance
Eleanor McMurtry, Xavier Boyen, Chris Culnane +3
We propose a protocol for verifiable remote voting with paper assurance. It is intended to augment existing postal voting procedures, allowing a ballot to be electronically constru…
Coercion-Resistant Voting in Linear Time via Fully Homomorphic Encryption: Towards a Quantum-Safe Scheme
Peter B. Rønne, Arash Atashpendar, Kristian Gjøsteen +1
We present an approach for performing the tallying work in the coercion-resistant JCJ voting protocol, introduced by Juels, Catalano, and Jakobsson, in linear time using fully homo…
Adversaries monitoring Tor traffic crossing their jurisdictional border and reconstructing Tor circuits
Herman Galteland, Kristian Gjøsteen
We model and analyze passive adversaries that monitors Tor traffic crossing the border of a jurisdiction an adversary is controlling. We show that a single adversary is able to con…
A framework for compositional verification of security protocols
Suzana Andova, Cas Cremers, Kristian Gjosteen +3
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysis…