This page did not load. You can still read it on the original site — the toolbar below keeps your place in the directory.
I'm visting Gilles Barthe 's research group at the IMDEA Software Institute in Madrid from the 12th of January until the 14th of February (2015). We will work together on formal methods and fault injection attacks.
Comments
Nothing yet. Say the first thing.
Sign in to join the conversation.