2 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2022★ 2 cited
DeepSec: Deciding Equivalence Properties for Security Protocols -- Improved theory and practice
Vincent Cheval, Steve Kremer, Itsaka Rakotonirina
Automated verification has become an essential part in the security evaluation of cryptographic protocols. In this context privacy-type properties are often modelled by indistingui…
cs.CR2020
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…