Ping-pong protocols as prefix grammars: Modelling and verification via program transformation.

Antonina Nepeivoda

Published in: J. Log. Algebraic Methods Program. (2016)

Keyphrases

ping pong
data structure
symbolic execution
hardware designs
model checking
natural language
face verification
grammatical inference
cryptographic protocols
asynchronous circuits
test cases
pattern matching
computer programs
security protocols
communication protocols