Toward Sequentializing Overparallelized Protocol Code.

Sung-Shik T. Q. Jongmans Farhad Arbab

Published in: ICE (2014)

Keyphrases

source code
open source
lightweight
network protocols
database
real time
data sets
formal analysis
security analysis
elliptic curve
application layer