Giving individuals more control of their personal data.

In this paper, we take the fundamental perspective of fuzzing as a learning process. Suppose before fuzzing, we know nothing about the behaviors of a program P: What does it do? Executing the first test input, we learn how P behaves for this input. ...

Can even secure open source software ever be considered truly safe?

The time is (also) way overdue for IT professional liability.

Deception is a powerful resilience tactic that provides observability into attack operations, deflects impact from production systems, and advises resilient system design. A lucid understanding of the goals, constraints, and design trade-offs of ...

The quest to find greater security through obscurity.

Verified coding techniques use mathematical proofs to ensure code is error-free and hacker-resistant. Can the approach revolutionize software?

Tracing the widening path between Silicon Valley and Washington, D.C.

Dead functions and dead features.

How more than 25years of experience with aviation safety-critical systems can be applied to autonomous vehicle systems.

Considering the recent increased attention to privacy law issues amid the typically slow pace of legal change.

Considering the role of humans in copyright protection of outputs produced by artificial intelligence.

Limiting sensitive information leakage via smart-home sensor data.

Secure development is an important and pressing problem.