A Logic to Model Time in Cryptographic Protocols. - Xinfeng Lei; Jun Liu; Junmo Xiao (ISCSCT (1), 2008)

Computational Soundness about Formal Encryption in the Presence of Secret Shares and Key Cycles. - Xinfeng Lei; Rui Xue 001; Ting Yu 001 (IACR Cryptol. ePrint Arch., 2010)

A Timed Logic for Modeling and Reasoning about Security Protocols. - Xinfeng Lei; Rui Xue 001; Ting Yu 001 (IACR Cryptol. ePrint Arch., 2010)