Sign in
Chul-Wuk Jeon
Publication Activity (10 Years)
Years Active: 2005-2005
Publications (10 Years): 0
</>
Publications
</>
Chul-Wuk Jeon
,
Il-Gon Kim
,
Jin-Young Choi
Automatic Generation of the C# Code for Security Protocols Verified with Casper/FDR.
AINA
(2005)