Panupong Sornkhom

Publication Activity (10 Years)

Years Active: 2008-2014
Publications (10 Years): 0

Top Topics

Cryptographic Protocols

Top Venues

Fundam. Informaticae

Publications

Yongyuth Permpoontanalarp, Panupong Sornkhom
On-the-fly Trace Generation Approach to the Security Analysis of Cryptographic Protocols: Coloured Petri Nets-based Method. Fundam. Informaticae 130 (4) (2014)
Panupong Sornkhom, Yongyuth Permpoontanalarp
Security analysis of Micali's fair contract signing protocol by using Coloured Petri Nets : Multi-session case. IPDPS (2009)
Panupong Sornkhom, Yongyuth Permpoontanalarp
Security Analysis of Micali's Fair Contract Signing Protocol by Using Coloured Petri Nets. SNPD (2008)