1. Flow-limited authorization for consensus, replication, and secret sharing1;Journal of Computer Security;2023-10-13
2. Mechanized logical relations for termination-insensitive noninterference;Proceedings of the ACM on Programming Languages;2021-01-04
3. Proof-Carrying Network Code;Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security;2019-11-06
4. The sequential semantics of producer effect systems;ACM SIGPLAN Notices;2013-01-23
5. Information flow control of component-based distributed systems;Concurrency and Computation: Practice and Experience;2012-01-12