Michael K. Reiter
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Ari Juelsonce
- Fan Zhangonce
- Florian Tramèronce
all 5 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Interpretable Noninterference Measurement and its Application to Processor Designs | OOPSLA 2021 | 2021-10-17 |
DINoMe scales quantitative noninterference measurement to a full RISC-V BOOM Verilog core by translating Verilog to SMT2 with Yosys-to-SMT2, composing… | ||
| Stealing Machine Learning Models via Prediction APIs | USENIX Security '16 | 2016-08-10 |
Demonstrates concrete model extraction that recovers logistic regressions, neural nets and decision trees with near-perfect fidelity (often >=99.9% agreement)… | ||
| nothing matches | ||