Christina Lindenberg
发表
Johannes A. Buchmann,
Kai Wirt,
Christina Lindenberg,
2006,
IACR Cryptol. ePrint Arch..
Kai Wirt,
Christina Lindenberg,
2005,
Arch. Formal Proofs.