Xinfeng Lei

Publication Activity (10 Years)

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

Publications

Xinfeng Lei, Rui Xue, Ting Yu
Computational Soundness about Formal Encryption in the Presence of Secret Shares and Key Cycles. ICICS (2011)
Xinfeng Lei, Rui Xue, Ting Yu
A Timed Logic for Modeling and Reasoning about Security Protocols. IACR Cryptol. ePrint Arch. 2010 (2010)
Xinfeng Lei, Rui Xue, Ting Yu
Computational Soundness about Formal Encryption in the Presence of Secret Shares and Key Cycles. IACR Cryptol. ePrint Arch. 2010 (2010)
Xinfeng Lei, Jun Liu, Junmo Xiao
A Logic to Model Time in Cryptographic Protocols. ISCSCT (1) (2008)