Lune

CRYPTO2020Top-tier venue

Automatic Verification of Differential Characteristics: Application to Reduced Gimli

Fukang Liu, Takanori Isobe, Willi Meier

DOIPublisher
2020Year
24Citations
1Top-tier citations

Ask about this paper

Ask your agent about it.

Lune has read the top-tier papers around this one, so every answer names the papers it rests on.

Questions to start from

Your agent calls

Lunesearch_papers

Ask in Lune

Free to start. No credit card required.

Cited by top-tier papers1

Ask how each one uses it

Related papers

Dusk over the sea between two cliffs drawn in fine vertical lines