Andrew Bedford

computer science student specializing in language-based security

projects

coqatoo

Generates natural language versions of Coq proofs

GitHub

ott-ifc

Generates information-flow control mechanisms from language specifications

GitHub

sai

Statically analyzes and instruments Android applications to enforce policies

GitHub

publications