Parity (XOR) Reasoning for the Index Calculus Attack.
Monika TrimoskaSorina IonicaGilles DequenPublished in: CoRR (2020)
Keyphrases
- computational properties
- proof procedure
- qualitative spatial reasoning
- countermeasures
- abstract argumentation
- knowledge base
- automated reasoning
- error correction
- knowledge representation
- reasoning tasks
- qualitative spatial
- spatial reasoning
- artificial intelligence
- reasoning systems
- index structure
- multi dimensional
- spatial representation and reasoning