~/talks

Zhenkai Liang

what they talk about

all 4 in the filters

where they keep going back

no series more than once — all 3 in the filters

on a stage with

all 14 in the filters

who talks about the same things

nobody close enough yet

titleconferencedate
SymFlow: Event-Chain-Aware Symbolic Execution for Serverless Sensitive Data Flow(…)LCTES 20262026-06-15
SymFlow combines static architectural analysis to build an event dependency graph with inter-function event-sensitive symbolic execution that emulates cloud…
Talk on
Fuzzing the PHP Interpreter via Dataflow FusionUSENIX Security '252025-08-13
FlowFusion is an automatic fuzzer that implements dataflow fusion by merging PHPT seed programs’ definitions and uses to create new, semantically richer tests…
Talk on
Neural Nets Can Learn Function Type Signatures From Binaries26th USENIX Security Symposium (USENIX Security '17)2017-08-16
A system called EKLAVYA trains instruction embeddings plus a 3-layer GRU to infer function argument count and coarse types from disassembled binaries without…
Talk on
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.