Cryptography with Asynchronous Logic Automata.
Peter Schmidt-NielsenKailiang ChenJonathan BachrachScott GreenwaldForrest GreenNeil GershenfeldPublished in: Cryptography and Security (2012)
Keyphrases
- cellular automata
- asynchronous circuits
- delay insensitive
- automata theoretic
- logic programming
- finite automata
- lattice gas
- proof theory
- modal logic
- predicate logic
- classical logic
- probabilistic automata
- information security
- multi valued
- finite state
- regular expressions
- logic programs
- online discussion
- data sets
- finite state machines
- temporal logic
- pattern matching
- markov chain
- databases