16 citations · 21 across the 6 of their papers we have counts for
6 papers
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…
On the Construction of Quasi-Binary and Quasi-Orthogonal Matrices over Finite Fields
Danilo Gligoroski, Kristian Gjosteen, Katina Kralevska
Orthogonal and quasi-orthogonal matrices have a long history of use in digital image processing, digital and wireless communications, cryptography and many other areas of computer…
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…