Search for "Rick Arias" returned 294 results
62 min
Getting software right with properties, generated tests, and proofs
Evolve your hack into robust software!
65 min
The Untold Story of Edward Snowden’s Escape from Hong Kong
and How You Can Help the Refugees Who Saved His Life
60 min
HAL - The Open-Source Hardware Analyzer
A dive into the foundations of hardware reverse engineering…
60 min
Wind: Off-Grid Services for Everyday People
Integrating nearby and offline connectivity with the…
58 min
Virtual Machine Introspection
From the Outside Looking In
62 min
Public Library/Memory of the World
Access to knowledge for every member of society
64 min
3 Years After Snowden: Is Germany fighting State Surveillance?
A Closer Look at the Political Reactions to Mass…
62 min
To Protect And Infect, Part 2
The militarization of the Internet
61 min
Rocket Kitten: Advanced Off-the-Shelf Targeted Attacks Against Nation States
A Deep Technical Analysis
64 min
Source Code and Cross-Domain Authorship Attribution
The Role of Stylometry in Privacy
115 min
