Travelled to:1 × Italy
3 × USA
Collaborated with:A.Rybalchenko Goran Doychev K.v.Gleissenthall L.Mauborgne M.Ochoa G.Barthe F.Olmedo S.Z.Béguelin
Talks about:quantit (2) analysi (2) cach (2) countermeasur (1) probabilist (1) differenti (1) interpol (1) softwar (1) quantif (1) privaci (1)
Person: Boris Köpf
DBLP: K=ouml=pf:Boris
Contributed to:
2015
20132012
2012
2017Wrote 5 papers:
- CAV-2015-GleissenthallKR #verification
- Symbolic Polytopes for Quantitative Interpolation and Verification (KvG, BK, AR), pp. 178–194.
- SFM-2013-KopfR #analysis #automation #data flow
- Automation of Quantitative Information-Flow Analysis (BK, AR), pp. 1–28.
- CAV-2012-KopfMO #automation #quantifier
- Automatic Quantification of Cache Side-Channels (BK, LM, MO), pp. 564–580.
- POPL-2012-BartheKOB #difference #privacy #probability #reasoning #relational
- Probabilistic relational reasoning for differential privacy (GB, BK, FO, SZB), pp. 97–110.
- PLDI-2017-DoychevK #analysis
- Rigorous analysis of software countermeasures against cache attacks (GD, BK), pp. 406–421.