26 November 2021
Trusted Execution Environments (TEEs) are gaining traction in academia and industry as a fulcrum to...
Seminar
26 November 2021
This paper introduces NVCache, an approach that uses a non-volatile main memory (NVMM) as a write...
25 November 2021
Upon hearing a word, we recollect, both implicitly or explictly, a big load of very diverse...
19 November 2021
Abnormal resting state functional connectivity, as measured by functional MRI, has been reported in...
17 November 2021
When moving through space, for instance by walking or driving a vehicle, our brain processes...
11 November 2021
In this seminar I plan to survey two research endeavours we are actively pursuing as part of a...
8 November 2021
Given a sequence of random graphs generated by an exponential family distribution, known as...
29 October 2021
Robots can be very useful to restore movement abilities of upper and lower limbs. First, they can...
15 October 2021
Network science has come to mean the science of large networks. Computer science stresses the...
6 October 2021
As a case study on the use of formal methods for security we show how to use Tamarin, a security...