Talk by Azalea Raad: Local Reasoning for Concurrency, Distribution and Web Programming
March 30, 2017
In this talk I will present my research in developing local reasoning techniques in both concurrent and sequential settings. On...
[ Read More ]
Local Reasoning for Concurrency, Distribution and Web Programming
March 30, 2017
In this talk I will present my research in developing local reasoning techniques in both concurrent and sequential settings. On...
[ Read More ]
Talk by Rebekah Overdorf: How Unique is Your .onion? An Analysis of the Fingerprintability of Tor Onion Services
March 29, 2017
Website fingerprinting attacks aim to uncover which webpage a user is visiting by monitoring the incoming and outgoing packets on...
[ Read More ]
How Unique is Your .onion? An Analysis of the Fingerprintability of Tor Onion Services
March 29, 2017
Website fingerprinting attacks aim to uncover which webpage a user is visiting by monitoring the incoming and outgoing packets on...
[ Read More ]
Talk by Andreas Rossberg: Bringing the Web up to Speed with WebAssembly
March 24, 2017
The maturation of the Web platform has given rise to sophisticated and demanding Web applications such as interactive 3D, audio...
[ Read More ]
Bringing the Web up to Speed with WebAssembly
March 24, 2017
The maturation of the Web platform has given rise to sophisticated and demanding Web applications such as interactive 3D, audio...
[ Read More ]
REDIMadrid migrates the traffic of the High Energy group at the UAM to the LHCONE dedicated network
March 23, 2017
Thanks to the recent acquisition of Dark Fiber, REDIMadrid has been able to migrate the traffic of the High Energy...
[ Read More ]
Talk by Sebastian Mödersheim: Alpha-Beta-Privacy — Defining Privacy is Supposed to be Easy
March 23, 2017
So far, formally specifying privacy goals is not trivial. The most widely used approach in formal methods is based on...
[ Read More ]
REDIMadrid migrates the traffic of the High Energy group at the UAM to the LHCONE dedicated network
March 23, 2017
IMDEA Software manages the migration of the UAM’s High Energy group traffic to the LHCONE network.
[ Read More ]
Alpha-Beta-Privacy — Defining Privacy is Supposed to be Easy
March 23, 2017
So far, formally specifying privacy goals is not trivial. The most widely used approach in formal methods is based on...
[ Read More ]
