Publication
-
A twist on the Naor-Yung paradigm and its application to efficient CCA-secure encryption from hard search problems In Proceedings
January 2010 -
Leakage Resilient ElGamal Encryption In Proceedings
January 2010 -
The Refinement of Choreographed Multi-Agent Systems In Proceedings
January 2010
-
January 2010
-
January 2010
-
CMCS'10 Short Contributions : 10th International Workshop on Coalgebraic Methods in Computer Science Proceedings
January 2010
-
Realization theory for linear hybrid systems Article
IEEE Transactions on Automatic Control, 2282-2297.January 2010 -
Leakage-Resilient Signatures In Proceedings
January 2010