412 citations · 423 across the 12 of their papers we have counts for
5 papers · 1 filter
A Faster Cryptographer's Conspiracy Santa
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas +1
In Conspiracy Santa, a variant of Secret Santa, a group of people offer each other Christmas gifts, where each member of the group receives a gift from the other members of the gro…
Optimal Threshold Padlock Systems
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade +1
In 1968, Liu described the problem of securing documents in a shared secret project. In an example, at least six out of eleven participating scientists need to be present to open t…
A Formal Analysis of 5G Authentication
David Basin, Jannik Dreier, Lucca Hirschi +3
Mobile communication networks connect much of the world's population. The security of users' calls, SMSs, and mobile data depends on the guarantees provided by the Authenticated Ke…
Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas +1
Akari, Takuzu, Kakuro and KenKen are logic games similar to Sudoku. In Akari, a labyrinth on a grid has to be lit by placing lanterns, respecting various constraints. In Takuzu a g…
Brandt's Fully Private Auction Protocol Revisited
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
Auctions have a long history, having been recorded as early as 500 B.C. Nowadays, electronic auctions have been a great success and are increasingly used. Many cryptographic protoc…