Protocol Transducer Synthesis using Divide and Conquer approach.

Shigeru Watanabe Kenshu Seto Yuji Ishikawa Satoshi Komatsu Masahiro Fujita

Published in: ASP-DAC (2007)

Keyphrases

communication protocols
program synthesis
genetic algorithm
lightweight
network protocols
communication protocol
key exchange protocol
database
information systems
low cost
formal analysis
security protocols
elliptic curve
cryptographic protocols
group communication
file transfer