Publication
-
July 2008
-
July 2008
-
The mCRL2 Toolset In Proceedings
July 2008 -
Thinning and information projection 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 -
July 2008
-
Efficiency of entropy testing In Proceedings
July 2008
-
Uniqueness, intractability and exact algorithms: reflections on level-k phylogenetic networks Tech Report
July 2008