Shihua Lu
where else to find them
github:agnesSLu
linkedin:agnes-lu-105177b8
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- Lucas Bangonce
- Seemanta Sahaonce
- Surendra Ghentiyalaonce
all 4 in the filters
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Obtaining Information Leakage Bounds via Approximate Model Counting | PLDI 2023 | 2023-06-17 |
Provides a method that produces sound upper and lower bounds on Shannon entropy when symbolic execution fails to explore all paths or model counters return… | ||
| nothing matches | ||