, AIST - National Institute of Advanced Industrial Science and Technology, Japan

• Journal of Formalized Reasoning Vol. 7 No. 1 (2014) - Articles
  An Intrinsic Encoding of a Subset of C and its Application to TLS Network Packet Processing
  Abstract  PDF