Faceted Dynamic Information Flow via Control and Data Monads. - Thomas Schmitz 001; Dustin Rhodes; Thomas H. Austin; Kenneth L. Knowles; Cormac Flanagan (POST, 2016)

Multiple Facets for Dynamic Information Flow with Exceptions. - Thomas H. Austin; Thomas Schmitz 001; Cormac Flanagan (ACM Trans. Program. Lang. Syst., 2017)

Faceted Secure Multi Execution. - Thomas Schmitz 001; Maximilian Algehed; Cormac Flanagan; Alejandro Russo (CCS, 2018)

A Better Facet of Dynamic Information Flow Control. - Minh Ngo; Nataliia Bielova; Cormac Flanagan; Tamara Rezk; Alejandro Russo; Thomas Schmitz 001 (WWW (Companion Volume), 2018)

Secure serverless computing using dynamic information flow control. - Kalev Alpernas; Cormac Flanagan; Sadjad Fouladi; Leonid Ryzhyk; Mooly Sagiv; Thomas Schmitz 001; Keith Winstein (Proc. ACM Program. Lang., 2018)

Faceted Information Flow. - Thomas Schmitz 001 (2019)