Boris Köpf

Events

USENIX Security 2025 (PC member)
SaTML 2025, IEEE Conference on Secure and Trustworthy Machine Learning (PC member)

Asynchronous Hyperproperties: From Theory and Practice (Speaker)
CCS 2024, ACM Conference on Computer and Communications Security (PC member)
SaTML 2024, IEEE Conference on Secure and Trustworthy Machine Learning (PC member)
NDSS 2024, Network and Distributed Systems Symposium (PC member)
EuroSys 2024 (PC member)

USENIX Security 2023 (PC member)
S&P 2023, IEEE Symposium on Security and Privacy (PC member)
SaTML 2023, IEEE Conference on Secure and Trustworthy Machine Learning (PC member)

S&P 2021, IEEE Symposium on Security and Privacy (PC member)
CHES 2021, IACR Conference on Cryptographic Hardware and Embedded Systems (PC member)

Summer School on Security & Correctness in the Internet of Things (speaker)
CCS 2018, ACM Conference on Computer and Communication Security (PC member)
ACSAC 2018, Annual Computer Security Applications Conference (PC member)
SAS 2018, Static Analysis Symposium (PC member)
EuroS&P 2018, 3rd IEEE European Symposium on Security and Privacy (PC member)
PETS 2018, 18th Privacy Enhancing Technologies Symposium (PC member)
HotSpot 2018, 6th Workshop on Hot Issues in Security Principles and Trust (PC member)

IACR Spring School on Security & Correctness in the Internet of Things (speaker)
CSF 2017, 30th IEEE Computer Security Foundations Symposium (PC co-chair)
PLAS 2017, ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PC member)
QEST 2017, 14th International Conference on Quantitative Evaluation of Systems (PC member)
TMPA 2017, 4th International Conference on Tools and Methods of Program Analysis (PC member)
POST 2017, 6th ETAPS Conference on Principles of Security and Trust (PC member)
HotSpot 2017, 5th Workshop on Hot Issues in Security Principles and Trust (PC member)

CSF 2016, 29th IEEE Computer Security Foundations Symposium (PC co-chair)
POPL 2016, 42st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (PC member)
SecDev 2016, 1st IEEE Conference on Cybersecurity Development (PC member)
HotSpot 2016, 4th Workshop on Hot Issues in Security Principles and Trust (PC member)

QEST 2015, 12th International Conference on Quantitative Evaluation of Systems (PC member, invited speaker)
FCS 2015, Workshop on Foundations of Computer Security (PC co-chair)
CSF 2015, 28th IEEE Computer Security Foundations Symposium (PC member)
POST 2015, 4th Conference on Principles of Security and Trust (PC member)

FCS-FCC 2014, Joint Workshop on Foundations of Computer Security and Formal and Computational Cryptography (PC co-chair)
CSF 2014, 27th IEEE Computer Security Foundations Symposium (PC member)
QEST 2014, 11th International Conference on Quantitative Evaluation of Systems (PC member)
PLAS 2014, 9th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PC member)
TGC 2014, 9th International Symposium on Trustworthy Global Computing (PC member)

RIO 2013, 20th Escuela de Verano de Ciencias Informáticas (invited speaker)
FCS 2013, Workshop on Foundations of Computer Security (invited speaker)
SFM 2013, 13th International School on Formal Methods for the Design of Computer, Communication and Software Systems (invited speaker)
CSF 2013, 26th IEEE Computer Security Foundations Symposium (PC member)
POST 2013, 2nd Conference on Principles of Security and Trust (PC member)
QEST 2013, 10th International Conference on Quantitative Evaluation of Systems (PC member)
QASA 2013, Workshop on Quantitative Aspects in Security Assurance (co-organizer)
PADE 2013, IEEE Workshop on Privacy and Anonymity for the Digital Economy (PC member)
ISPEC 2013, 9th International Conference in Information Security Practice and Experience (PC member)

Dagstuhl Seminar on Quantitative Security Analysis (co-organizer)
QAPL 2012, 10th Workshop on Quantitative Aspects of Programming Languages (invited speaker)
QASA 2012, Workshop on Quantitative Aspects in Security Assurance (PC member, invited speaker)
TGC 2012, 7th International Symposium on Trustworthy Global Computing (PC member)
PADE 2012, Workshop on Privacy and Anonymity for the Digital Economy (PC member)
ISPEC 2012, 8th International Conference in Information Security Practice and Experience (PC member)

QEST 2011, 8th International Conference on Quantitative Evaluation of Systems (PC member, tutorial speaker)
CSF 2011, 24th IEEE Computer Security Foundations Symposium (PC member)
SecDay 2010, Grande Region Security and Reliability Day (PC member, co-organizer)
PLID 2009, 5th International Workshop on Programming Language Interference and Dependence (PC member)