Concepedia

Author

Ta-chung Tsai

Chalmers University of Technology

Also Known As

Ta-chung Tsai

3

Publications

40

Citations

1

H-Index

12

Concepts

All Affiliations

Chalmers University of Technology
TT

About

Ta-chung Tsai is an author at Chalmers University of Technology specializing in data security, formal verification, and hardware security.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

39

2

Computer Science

1

1

39

3

Data Security

1

1

39

4

Information Security

1

1

39

5

Software Analysis

1

1

39

Ta-chung Tsai

×

1

Publications

39

Citations

1

H-Index

YearCitations

A Library for Secure Multi-threaded Information Flow in Haskell

Ta-chung Tsai, Alejandro Russo, John Hughes

Proceedings - Computer Security Foundations Workshop/Proceedings

2007

39

Page 1