Efficiently Deciding Equivalence for Standard Primitives and Phases.

Véronique Cortier Antoine Dallon Stéphanie Delaune

Published in: ESORICS (1) (2018)

Keyphrases

information retrieval
search algorithm
database
real time
real world
multimedia
high level
optimal solution
computational complexity
building blocks