Boris Köpf
发表
Geoffrey Smith,
Boris Köpf,
Geoffrey Smith,
2010,
2010 23rd IEEE Computer Security Foundations Symposium.
Santiago Zanella Béguelin,
Marc Brockschmidt,
Boris Köpf,
2019,
CCS.
Goran Doychev,
Boris Köpf,
Boris Köpf,
2015,
2015 IEEE 28th Computer Security Foundations Symposium.
Heiko Mantel,
Boris Köpf,
Boris Köpf,
2005,
Formal Aspects in Security and Trust.
David Basin,
Boris Köpf,
D. Basin,
2006,
European Symposium on Research in Computer Security.
Roksana Boreli,
Panagiotis Papadimitratos,
Steve Uhlig,
2013,
LCN 2013.
P. Malacaria,
Boris Köpf,
C. Palamidessi,
2013
.
Marco Guarnieri,
Pierre Ganty,
Pepe Vila,
2020
.
Goran Doychev,
Boris Köpf,
Boris Köpf,
2015
.
Markus Dürmuth,
Goran Doychev,
Boris Köpf,
2010
.
Michael Backes,
Boris Köpf,
M. Backes,
2014,
Mathematical Structures in Computer Science.
Michael Backes,
Goran Doychev,
Boris Köpf,
2013,
NDSS.
Marco Guarnieri,
Pierre Ganty,
Pepe Vila,
2019,
PLDI.
Santiago Zanella Béguelin,
Shruti Tople,
Andrew Paverd,
2021,
ICML.
Gilles Barthe,
Santiago Zanella Béguelin,
Federico Olmedo,
2012,
TOPL.
Pepe Vila,
Boris Köpf,
José Francisco Morales,
2018,
2019 IEEE Symposium on Security and Privacy (SP).
Jan Reineke,
Laurent Mauborgne,
Goran Doychev,
2013,
TSEC.
Pepe Vila,
Boris Köpf,
Boris Köpf,
2017,
USENIX Security Symposium.
Jan Reineke,
Boris Köpf,
Pablo Cañones,
2017,
POST.
Michael Backes,
Andrey Rybalchenko,
Boris Köpf,
2009,
2009 30th IEEE Symposium on Security and Privacy.
Pierre Ganty,
Pedro Valero,
Boris Köpf,
2016,
ATVA.
Gilles Barthe,
Boris Köpf,
G. Barthe,
2011,
2011 IEEE 24th Computer Security Foundations Symposium.
Santiago Zanella Béguelin,
Marc Brockschmidt,
Boris Köpf,
2019,
arXiv.org.
Marco Guarnieri,
Jan Reineke,
Pepe Vila,
2020,
2021 IEEE Symposium on Security and Privacy (SP).
David A. Basin,
Boris Köpf,
D. Basin,
2007,
CCS '07.
Marco Guarnieri,
Jan Reineke,
José F. Morales,
2018,
2020 IEEE Symposium on Security and Privacy (SP).
Michael Backes,
Boris Köpf,
Matthias Berg,
2011,
ASIACCS '11.
Michael Backes,
Markus Dürmuth,
Goran Doychev,
2010,
ESORICS.
Michael Backes,
Boris Köpf,
M. Backes,
2008,
ESORICS.
M. Silberstein,
C. Fetzer,
Boris Köpf,
2021,
IEEE Micro.
Andrey Rybalchenko,
Boris Köpf,
A. Rybalchenko,
2013,
SFM.
Andrey Rybalchenko,
Boris Köpf,
A. Rybalchenko,
2010,
2010 23rd IEEE Computer Security Foundations Symposium.
David A. Basin,
Boris Köpf,
D. Basin,
2006,
ESORICS.
Boris Köpf,
Itsaka Rakotonirina,
Boris Köpf,
2019,
2019 IEEE European Symposium on Security and Privacy (EuroS&P).
Laurent Mauborgne,
Martín Ochoa,
Boris Köpf,
2012,
CAV.
Markus Dürmuth,
Boris Köpf,
Boris Köpf,
2009,
2009 22nd IEEE Computer Security Foundations Symposium.
David A. Basin,
Boris Köpf,
D. Basin,
2011,
J. Comput. Secur..
Boris Alexander Köpf,
Boris Köpf,
2007
.
Jan Reineke,
Boris Köpf,
Pablo Cañones,
2018,
Log. Methods Comput. Sci..
Pavithra Prabhakar,
Boris Köpf,
P. Prabhakar,
2013,
HiCoNS '13.
Andrey Rybalchenko,
Boris Köpf,
Klaus von Gleissenthall,
2015,
CAV.
Heiko Mantel,
Boris Köpf,
Alexandra Weber,
2017,
ESSoS.
Heiko Mantel,
Boris Köpf,
Boris Köpf,
2005,
Formal Aspects in Security and Trust.
M. Silberstein,
Boris Köpf,
M. Guarnieri,
2023,
2023 IEEE Symposium on Security and Privacy (SP).
C. Fournet,
Boris Köpf,
Jana Hofmann,
2023,
USENIX Security Symposium.
Boris Köpf,
Andreas Abel,
M. Guarnieri,
2020,
ArXiv.
Christof Fetzer,
Mark Silberstein,
Boris Köpf,
2021,
ArXiv.
Gilles Barthe,
Laurent Mauborgne,
Martín Ochoa,
2014,
POST.