Xinfeng Lei

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2010

A Timed Logic for Modeling and Reasoning about Security Protocols.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2010

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

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2010

2008

A Logic to Model Time in Cryptographic Protocols.

[BibT_eX]

[DOI]

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