BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: K=ouml=pf:Boris

Contributed to:

CAV 20152015
SFM 20132013
CAV 20122012
POPL 20122012
PLDI 20172017

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.