We stand with Ukraine  

Thomas Schmitz

Affiliations:
  • University of California at Santa Cruz, USA


According to our database1, Thomas Schmitz authored at least 6 papers between 2016 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2019
Faceted Information Flow.
[BibTeX]
[DOI]
Thomas Schmitz
PhD thesis, 2019

2018
Secure serverless computing using dynamic information flow control.
[BibTeX]
[DOI]
Kalev Alpernas
,
Cormac Flanagan
,
Sadjad Fouladi
,
Leonid Ryzhyk
,
Mooly Sagiv
,
Thomas Schmitz
,
Keith Winstein
Proc. ACM Program. Lang., 2018

A Better Facet of Dynamic Information Flow Control.
[BibTeX]
[DOI]
Minh Ngo
,
Nataliia Bielova
,
Cormac Flanagan
,
Tamara Rezk
,
Alejandro Russo
,
Thomas Schmitz
Proceedings of the Companion Proceedings of the The Web Conference 2018, 2018

Faceted Secure Multi Execution.
[BibTeX]
[DOI]
Thomas Schmitz
,
Maximilian Algehed
,
Cormac Flanagan
,
Alejandro Russo
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017
Multiple Facets for Dynamic Information Flow with Exceptions.
[BibTeX]
[DOI]
Thomas H. Austin
,
Thomas Schmitz
,
Cormac Flanagan
ACM Trans. Program. Lang. Syst., 2017

2016
Faceted Dynamic Information Flow via Control and Data Monads.
[BibTeX]
[DOI]
Thomas Schmitz
,
Dustin Rhodes
,
Thomas H. Austin
,
Kenneth L. Knowles
,
Cormac Flanagan
Proceedings of the Principles of Security and Trust - 5th International Conference, 2016


  Loading...