Travelled to:
1 × Spain
Collaborated with:
D.Kapur P.Narendran
Talks about:
exponenti (1) algorithm (1) protocol (1) modular (1) analyz (1) unif (1) that (1) use (1)
Person: Lida Wang
DBLP: Wang:Lida
Contributed to:
Wrote 1 papers:
- RTA-2003-KapurNW #algorithm #composition #protocol
- An E-unification Algorithm for Analyzing Protocols That Use Modular Exponentiation (DK, PN, LW), pp. 165–179.