Shuwei Hu

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 4

Top Topics

Greedy Algorithm

Dynamic Programming

Optimal Solution

Top Venues

Arch. Formal Proofs

Publications

Hongjian Cao, Lin Huang, Shuwei Hu, Shangcheng Shi, Yujia Liu
Owfuzz: Discovering Wi-Fi Flaws in Modern Devices through Over-The-Air Fuzzing. WISEC (2023)
Shuwei Hu
ABY3 Multiplication and Array Shuffling. Arch. Formal Proofs 2023 (2023)
Simon Wimmer, Shuwei Hu, Tobias Nipkow
Verified Memoization and Dynamic Programming. ITP (2018)
Simon Wimmer, Shuwei Hu, Tobias Nipkow
Monadification, Memoization and Dynamic Programming. Arch. Formal Proofs 2018 (2018)