Tianhan Lu

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 5

Top Topics

Text Collections

Denial Of Service Attacks

Resource Constraints

Top Venues

Publications

Tianhan Lu, Bor-Yuh Evan Chang, Ashutosh Trivedi
Selectively-Amortized Resource Bounding. SAS (2021)
Tianhan Lu, Bor-Yuh Evan Chang, Ashutosh Trivedi
Selectively-Amortized Resource Bounding. CoRR (2021)
Tianhan Lu, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi
Type-Directed Bounding of Collections in Reactive Programs. VMCAI (2019)
Tianhan Lu, Yu-Ju Lee, Wen-Wei Liao
Towards Denial-of-Service Memory Vulnerabilities. J. Softw. 14 (9) (2019)
Tianhan Lu, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi
Type-directed Bounding of Collections in Reactive Programs. CoRR (2018)