Andrew Myers and Fred Schneider have received a grant from the National Science Foundation for their project, "Higher-level abstractions for trustworthy federated systems".