Concept
Langage informatique
Publications associées (16)
EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation
Blagovesta Hristova Kostova, Wei Dai
Fully-Homomorphic Encryption (FHE) offers powerful capabilities by enabling secure offloading of both storage and computation, and recent innovations in schemes and implementations have made it all the more attractive. At the same time, FHE is notoriously ...
ASSOC COMPUTING MACHINERY2020Towards Automating Grammar Equivalence Checking
Viktor Kuncak, Mikaël Mayer, Ravichandhran Kandhadai Madhavan
We consider from practical perspective the (generally undecidable) problem of checking equivalence of context-free grammars. We present both techniques for proving equivalence, as well as techniques for finding counter-examples that establish non-equivalen ...
2015