136 citations
- Institut national de recherche en sciences et technologies du numériqueFR5 papers
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR5 papers
- Centre National de la Recherche ScientifiqueFR3 papers
- Charles UniversityCZ1 paper
- École Normale Supérieure de LyonFR1 paper
- École Normale Supérieure - PSLFR1 paper
- École PolytechniqueFR1 paper
- Eindhoven University of TechnologyNL1 paper
- Hankuk University of Foreign StudiesKR1 paper
- Institut Élie Cartan de LorraineFR1 paper
- Laboratoire d'Informatique Algorithmique: Fondements et ApplicationsFR1 paper
- Laboratoire d'Informatique de l'École PolytechniqueFR1 paper
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2011★ 4 cited
Satisfiability of General Intruder Constraints with and without a Set Constructor
Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch +1
Many decision problems on security protocols can be reduced to solving so-called intruder constraints in Dolev Yao model. Most constraint solving procedures for protocol security r…
cs.CR2007★ 136 cited
Improved Analysis of Kannan's Shortest Lattice Vector Algorithm
Guillaume Hanrot, Damien Stehlé
The security of lattice-based cryptosystems such as NTRU, GGH and Ajtai-Dwork essentially relies upon the intractability of computing a shortest non-zero lattice vector and a close…