Publication
-
The Kurosawa-Desmedt Key Encapsulation is not Chosen-Ciphertext Secure Article
Information Processing Letters, 109(16), 897-901.July 2009 -
Synthesis of Reo Circuits from Scenario-based Specifications In Proceedings
July 2009
-
Deconstructing Reo In Proceedings
July 2009
-
Fault-Based Test Case Generation for Component Connectors In Proceedings
July 2009
-
A generalized flat extension theorem for moment matrices Article
Archiv der Mathematik = Archives of Mathematics, 93(1), 87-98.July 2009
-
Finiteness of Redundancy, Regret, Shtarkov Sums and Jeffreys Integrals in Exponential Families In Proceedings
July 2009 -
Option pricing with COS method on Graphics Processing Units In Proceedings
July 2009
-
July 2009