When a data analysis result is published or shared, how do we know whether it is trustworthy? Conceptually, we must show that each step of the analysis (and each set of parameters used in the step) was justified, and that the original data was itself trustworthy. A team of Penn Read more…
The goal of this project is to create fundamentally new defenses against distributed denial-of-service (DDoS) attacks that can provide far greater resilience to these attacks compared to existing solutions. Today’s responses to DDoS attacks largely rely on old-school network-based filtering or scrubbing, which are slow and manual, and cannot handle Read more…
In our interconnected world, software bugs and security vulnerabilities pose enormous costs and risks. The Deep Specification project addresses this problem by showing how to build software that does what it is supposed to do, no less and (just as important) no more: No unintended backdoors that allow hackers in, Read more…