Secure transformation of cryptographic protocols
PhD thesis, 2020
The Bottleneck Complexity of Secure Multiparty Computation.
Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018
Secure Protocol Transformations.
IACR Cryptol. ePrint Arch., 2016
Virtual Grey-Boxes Beyond Obfuscation: A Statistical Security Notion for Cryptographic Agents.
IACR Cryptol. ePrint Arch., 2016
Probabilistically Correct Secure Arithmetic Computation for Modular Conversion, Zero Test, Comparison, MOD and Exponentiation.
Proceedings of the Security and Cryptography for Networks - 8th International Conference, 2012
Randomized Secure Two-Party Computation for Modular Conversion, Zero Test, Comparison, MOD and Exponentiation.
IACR Cryptol. ePrint Arch., 2011
Sign Modules in Secure Arithmetic Circuits.
IACR Cryptol. ePrint Arch., 2011
Efficient Secure Two-Party Exponentiation.
Proceedings of the Topics in Cryptology - CT-RSA 2011, 2011
Mining Community Structures in Peer-to-Peer Environments.
Proceedings of the 14th International Conference on Parallel and Distributed Systems, 2008
The Formosan Language Archive: Linguistic Analysis and Language Processing.
Int. J. Comput. Linguistics Chin. Lang. Process., 2005
A Database Strategy for Preserving Punctuation Marks in the Formosan Language Corpora.
Proceedings of the 3rd International Conference on Digital Archive Technologies, 2005