23
Publications
1.7K
Citations
18
H-Index
2009
Active since
Thomas H. Austin is an author at San Jose State University specializing in engineering, computer science, and software analysis.
Top concepts
EngineeringComputer ScienceSoftware AnalysisProgram AnalysisInformation SecurityFormal MethodsSoftware EngineeringMalware AnalysisFormal VerificationData Security
Publications per year
2009–2017
23
23
Efficient purely-dynamic information flow analysis
Thomas H. Austin, Cormac Flanagan · 2009 · 197 citations
Multiple facets for dynamic information flow
Thomas H. Austin, Cormac Flanagan · ACM SIGPLAN Notices · 2012 · 143 citations
Permissive dynamic information flow analysis
Thomas H. Austin, Cormac Flanagan · 2010 · 130 citations
Rows per page
1–5 of 23