Publication
-
Measuring and manipulating audiences: a personal reflection In Proceedings
January 2016
-
Proper protocol Book Chapter
January 2016 -
January 2016
-
Effectively eliminating auxiliaries Book Chapter
January 2016 -
January 2016 -
Scheduling games for concurrent systems In Proceedings
January 2016 -
Freestart collision for full SHA-1 In Proceedings
January 2016 -
Towards a proof method for Paradigm Book Chapter
January 2016