The following pages link to Lejian Liao (Q1761598):
Displaying 4 items.
- Computationally sound symbolic security reduction analysis of the group key exchange protocols using bilinear pairings (Q1761600) (← links)
- Minimal model semantics for sorted constraint representation (Q1907066) (← links)
- Polynomial algorithm of limited propositional deduction (Q1962496) (← links)
- (Q3444588) (← links)
