Building Trustworthy Systems with Trusted Execution Environments26 novembre 2021Trusted Execution Environments (TEEs) are gaining traction in academia and industry as a fulcrum to...
NVCache: A Plug-and-Play NVMM-based I/O Booster for Legacy Systems26 novembre 2021This paper introduces NVCache, an approach that uses a non-volatile main memory (NVMM) as a write...
Meaning and awareness25 novembre 2021Upon hearing a word, we recollect, both implicitly or explictly, a big load of very diverse...
Disruption and recovery of brain functional connectivity networks in Alcohol Use Disorders19 novembre 2021Abnormal resting state functional connectivity, as measured by functional MRI, has been reported in...
The role of inaccuracies in vestibular perception: from graviception to motion simulation17 novembre 2021When moving through space, for instance by walking or driving a vehicle, our brain processes...
Formal Methods in Orbit. Formal Methods for the Masses11 novembre 2021In this seminar I plan to survey two research endeavours we are actively pursuing as part of a...
Realized Exponential Random Graphs8 novembre 2021Given a sequence of random graphs generated by an exponential family distribution, known as...
We Need a Change in Rehabilitation Robotics29 ottobre 2021Robots can be very useful to restore movement abilities of upper and lower limbs. First, they can...
The big science of small networks15 ottobre 2021Network science has come to mean the science of large networks. Computer science stresses the...
Robbing the Bank with a Model Checker6 ottobre 2021As a case study on the use of formal methods for security we show how to use Tamarin, a security...