David Darais
Principal Scientist
Stealth Software Technologies, Inc.
david@stealthsoftwareinc.com
@daviddarais
@davdar
CV

I'm a Principal Scientist at Stealth Software Technologies. I was previously a Principal Scientist at Galois.

I lead business development and engineering teams that perform on science and engineering programs funded by the US Government.

My research focuses on software reliability and data privacy through advances in program analysis, symbolic model checking, computer-checkable proofs, secure multiparty computation, zero knowledge proofs, oblivious data structures, differential privacy verification and differential privacy standards.

I used to help run and still actively collaborate with the UVM PLAID Lab.

Publications

(This list is out of date... see my dblp)

Theses

Drafts

Talks

Professional Activities

Teaching

Past Students

Short Bio

David is a Principal Scientist at Stealth Software Technologies where he builds programming languages and analysis tools that help programmers build reliable software. These tools are designed specifically for security-sensitive and privacy-sensitive settings, and result in systems that are immune to large classes of security and privacy defects. David received his BS from the University of Utah, MS from Harvard University, PhD from the University of Maryland, and was previously an Assistant Professor at the University of Vermont before joining Stealth Software Technologies.

Medium Bio

David is a Principal Scientist at Stealth Software Technologies where he builds programming languages and analysis tools that help programmers build reliable software. These tools are designed specifically for security-sensitive and privacy-sensitive settings, and result in systems that are immune to large classes of security and privacy defects. David approaches building better systems through a number of methods, including static and dynamic program analysis, type systems, mechanized verification, differential privacy and secure multiparty computation. David builds tools that secure systems against a wide range of adversaries, ranging from directly malicious actors, to the well-intended software developer who accidentally misused security-or-privacy-relevant technology, such as cryptography or differential privacy. To combat these adversaries, David co-designs programming languages in concert with verification tools while also maintaining a usable, high-level, and general-purpose programming environment for application developers. David received his BS from the University of Utah, MS from Harvard University, PhD from the University of Maryland, and was previously an Assistant Professor at the University of Vermont before joining Stealth Software Technologies