Security Protocols, Constraint Systems, and Group Theories.
Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012
Conjunctive queries determinacy and rewriting.
Proceedings of the Database Theory, 2011
Cheating Detection and Cheater identification in CRT-based Secret Sharing Schemes.
Int. J. Comput., 2010
Using Base Pairing Probabilities for MiRNA Recognition.
Proceedings of the SYNASC 2008, 2008
A CRT-Based Solution to Yao's Millionaires' Problem.
Proceedings of the SYNASC 2008, 2008