On the IoT, from A to Z 11/18/2015:

By Ali ShokerHASLab/INESC TEC and University of Minho.

Random Oracles and Obfuscation 11/4/2015:

By Prof. Pooya Farshim, Queen's University Belfast, UK.

CumuloNimbo: A Cloud Scalable SQL Database 10/21/2015

By Prof. Rui Oliveira, HASLab/INESC TEC & University of Minho.

Exploring Scenario Exploration, 8 Apr 2015 4/8/2015:
By Nuno Macedo, HASLab/INESC TEC & Universidade do Minho
An exercise in formalisation (and what it gets you): blockchain transactions

By Sergey Goncharov, Friedrich-Alexander-Universität Erlangen-Nürnberg.