Publication
-
Uniqueness, intractability and exact algorithms: reflections on level-k phylogenetic networks Tech Report
July 2008
-
Efficiency of entropy testing In Proceedings
July 2008
-
July 2008
-
The mCRL2 Toolset In Proceedings
July 2008 -
Searchable Encryption Revisited: Consistency Properties, Relation to Anonymous IBE, and Extensions Article
Journal of Cryptology, 21(3), 350-391.July 2008 -
August 2008 -
August 2008
-
Efficient Secure Linear Algebra in the Presence of Covert or Computationally Unbounded Adversaries In Proceedings
August 2008