Xinfeng Lei

According to our database, Xinfeng Lei authored at least 3 papers between 2008 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2011

Computational Soundness about Formal Encryption in the Presence of Secret Shares and Key Cycles.

Xinfeng Lei, Rui Xue, Ting Yu

Proceedings of the Information and Communications Security - 13th International Conference, 2011

2010

A Timed Logic for Modeling and Reasoning about Security Protocols.

Xinfeng Lei, Rui Xue, Ting Yu

IACR Cryptol. ePrint Arch., 2010

2008

A Logic to Model Time in Cryptographic Protocols.

Xinfeng Lei, Jun Liu, Junmo Xiao

Proceedings of the 2008 International Symposium on Computer Science and Computational Technology, 2008