Talks

An Algebraic Approach to the Design of Block Ciphers 11/8/2017

By Óscar Pereira, HASLab, INESC TEC & Minho University.

Abstract. We explore the possibility of modelling a working block cipher, and analysing its security, exclusively through an algebraic framework of polynomial rings and finite fields: one aims to get the simplest formal models of ciphers for which it is possible to get demonstrative evidence of its security but still with reasonably efficient implementations.

Energy Efficiency Across Programming Languages 10/18/2017

By Rui Pereira, HASLab, INESC TEC & Minho University.

The Data Cube as a Typed Linear Algebra Operator 9/27/2017

By Prof. José N. Oliveira, HASLab, INESC TEC & Minho University.

VOCAL — The Verified OCaml Library 7/24/2017

By Mário Pereira, LRI — Université Paris-Saclay, France.

Green Computing as an Engineering Discipline 3/29/2017:

By Rui Pereira, HASLab, INESC TEC & Minho University.

Subgroup Mining 3/8/2017:

By Prof. Paulo J. Azevedo, HASLab, INESC TEC & Minho University.

On the Design of Distributed Programming Models 2/15/2017

By Christopher Meiklejohn, Université catholique de Louvain & Instituto Superior Técnico.

Next Generation Clouds 2/8/2017:

By Rolando Martins, FCUP & CRACS/INESC TEC, Porto.

Conflict-free Replicated DataTypes in Practice 1/11/2017:

By Georges Younes and Vitor Enes, HASLab, INESC TEC & University of Minho.

Causality is Simple 10/12/2016:

By Carlos Baquero, HASLab, INESC TEC & University of Minho.