Senior Principal Researcher
Oleksii Oleksenko, Flavien Solt, Cédric Fournet, Jana Hofmann, Boris Köpf, Stavros Volos
2026 IEEE Symposium on Security and Privacy | May 2026
Accepted at IEEE SP 2025, publication delayed due to embargo.
Shoaib Ahmed Siddiqui, Radhika Gaonkar, Boris Köpf, David Krueger, Andrew Paverd, Ahmed Salem, Shruti Tople, Lukas Wutschitz, Menglin Xia, Santiago Zanella-Béguelin
October 2024
Jana Hofmann, Cédric Fournet, Boris Köpf, Stavros Volos
ACM Conference on Computer and Communications Security (CCS) | October 2024
Stavros Volos, Cédric Fournet, Jana Hofmann, Boris Köpf, Oleksii Oleksenko
ACM Conference on Computer and Communications Security (CCS) | October 2024
CCS Distinguished Paper Award
Giovanni Cherubin, Boris Köpf, Andrew Paverd, Shruti Tople, Lukas Wutschitz, Santiago Zanella-Béguelin
USENIX Security Symposium | August 2024
Jana Hofmann, Emanuele Vannacci, Cédric Fournet, Boris Köpf, Oleksii Oleksenko
Usenix Security Symposium | August 2023
Santiago Zanella-Béguelin, Lukas Wutschitz, Shruti Tople, Ahmed Salem, Victor Ruehle, Andrew Paverd, Mohammad Naseri, Boris Köpf, Daniel Jones
2023 International Conference on Machine Learning | July 2023
편집자: Barbara Engelhardt, Emma Brunskill, Kyunghyun Cho
Oleksii Oleksenko, Marco Guarnieri, Boris Köpf, Mark Silberstein
IEEE Symposium on Security and Privacy (S&P) | May 2023
Ahmed Salem, Giovanni Cherubin, David Evans, Boris Köpf, Andrew Paverd, Anshuman Suri, Shruti Tople, Santiago Zanella-Béguelin
2023 IEEE Symposium on Security and Privacy | May 2023
Oleksii Oleksenko, Christof Fetzer, Boris Köpf, Mark Silberstein
27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '22) | March 2022
IEEE MICRO Top Pick
Santiago Zanella-Béguelin, Shruti Tople, Andrew Paverd, Boris Köpf
International Conference on Machine Learning | July 2021
편집자: Marina Meila and Tong Zhang
Marco Guarnieri, Boris Köpf, Jan Reineke, Pepe Vila
IEEE Symposium on Security and Privacy | May 2021
Best Paper Award
Santiago Zanella-Béguelin, Lukas Wutschitz, Shruti Tople, Victor Ruehle, Andrew Paverd, Olga Ohrimenko, Boris Köpf, Marc Brockschmidt
ACM Conference on Computer and Communication Security (CCS) | November 2020
Pepe Vila, Pierre Ganty, Marco Guarnieri, Boris Köpf
2020 Programming Language Design and Implementation | June 2020
Marco Guarnieri, Boris Köpf, Jose F. Morales, Jan Reineke, Andres Sanchez
IEEE Symposium on Security and Privacy | May 2020
Pepe Vila, Boris Köpf, José F. Morales
IEEE Symposium on Security and Privacy | May 2019
Pepe Vila, Boris Köpf
USENIX Security Symposium | August 2017
Distinguished paper award
Goran Doychev, Boris Köpf
ACM SIGPLAN Conference on Programming Language Design and Implementation | June 2017
Manuel Costa, Boris Köpf, Aashish Kolluri, Andrew Paverd, Mark Russinovich, Ahmed Salem, Shruti Tople, Lukas Wutschitz, Santiago Zanella-Béguelin
May 2025
Shoaib Ahmed Siddiqui, Radhika Gaonkar, Boris Köpf, David Krueger, Andrew Paverd, Ahmed Salem, Shruti Tople, Lukas Wutschitz, Menglin Xia, Santiago Zanella-Béguelin
October 2024
Giovanni Cherubin, Boris Köpf, Andrew Paverd, Shruti Tople, Lukas Wutschitz, Santiago Zanella-Béguelin
USENIX Security Symposium | August 2024
Santiago Zanella-Béguelin, Lukas Wutschitz, Shruti Tople, Ahmed Salem, Victor Ruehle, Andrew Paverd, Mohammad Naseri, Boris Köpf, Daniel Jones
2023 International Conference on Machine Learning | July 2023
편집자: Barbara Engelhardt, Emma Brunskill, Kyunghyun Cho
Ahmed Salem, Giovanni Cherubin, David Evans, Boris Köpf, Andrew Paverd, Anshuman Suri, Shruti Tople, Santiago Zanella-Béguelin
2023 IEEE Symposium on Security and Privacy | May 2023
Santiago Zanella-Béguelin, Shruti Tople, Andrew Paverd, Boris Köpf
International Conference on Machine Learning | July 2021
편집자: Marina Meila and Tong Zhang
Santiago Zanella-Béguelin, Lukas Wutschitz, Shruti Tople, Victor Ruehle, Andrew Paverd, Olga Ohrimenko, Boris Köpf, Marc Brockschmidt
ACM Conference on Computer and Communication Security (CCS) | November 2020
Pepe Vila, Pierre Ganty, Marco Guarnieri, Boris Köpf
2020 Programming Language Design and Implementation | June 2020
Oleksii Oleksenko, Flavien Solt, Cédric Fournet, Jana Hofmann, Boris Köpf, Stavros Volos
2026 IEEE Symposium on Security and Privacy | May 2026
Accepted at IEEE SP 2025, publication delayed due to embargo.
Manuel Costa, Boris Köpf, Aashish Kolluri, Andrew Paverd, Mark Russinovich, Ahmed Salem, Shruti Tople, Lukas Wutschitz, Santiago Zanella-Béguelin
May 2025
Shoaib Ahmed Siddiqui, Radhika Gaonkar, Boris Köpf, David Krueger, Andrew Paverd, Ahmed Salem, Shruti Tople, Lukas Wutschitz, Menglin Xia, Santiago Zanella-Béguelin
October 2024
Stavros Volos, Cédric Fournet, Jana Hofmann, Boris Köpf, Oleksii Oleksenko
ACM Conference on Computer and Communications Security (CCS) | October 2024
CCS Distinguished Paper Award
Jana Hofmann, Cédric Fournet, Boris Köpf, Stavros Volos
ACM Conference on Computer and Communications Security (CCS) | October 2024
Giovanni Cherubin, Boris Köpf, Andrew Paverd, Shruti Tople, Lukas Wutschitz, Santiago Zanella-Béguelin
USENIX Security Symposium | August 2024
Jana Hofmann, Emanuele Vannacci, Cédric Fournet, Boris Köpf, Oleksii Oleksenko
Usenix Security Symposium | August 2023
Santiago Zanella-Béguelin, Lukas Wutschitz, Shruti Tople, Ahmed Salem, Victor Ruehle, Andrew Paverd, Mohammad Naseri, Boris Köpf, Daniel Jones
2023 International Conference on Machine Learning | July 2023
편집자: Barbara Engelhardt, Emma Brunskill, Kyunghyun Cho
Ahmed Salem, Giovanni Cherubin, David Evans, Boris Köpf, Andrew Paverd, Anshuman Suri, Shruti Tople, Santiago Zanella-Béguelin
2023 IEEE Symposium on Security and Privacy | May 2023
Oleksii Oleksenko, Marco Guarnieri, Boris Köpf, Mark Silberstein
IEEE Symposium on Security and Privacy (S&P) | May 2023
Oleksii Oleksenko, Christof Fetzer, Boris Köpf, Mark Silberstein
27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '22) | March 2022
IEEE MICRO Top Pick
Santiago Zanella-Béguelin, Shruti Tople, Andrew Paverd, Boris Köpf
International Conference on Machine Learning | July 2021
편집자: Marina Meila and Tong Zhang
Marco Guarnieri, Boris Köpf, Jan Reineke, Pepe Vila
IEEE Symposium on Security and Privacy | May 2021
Best Paper Award
Santiago Zanella-Béguelin, Lukas Wutschitz, Shruti Tople, Victor Ruehle, Andrew Paverd, Olga Ohrimenko, Boris Köpf, Marc Brockschmidt
ACM Conference on Computer and Communication Security (CCS) | November 2020
Pepe Vila, Pierre Ganty, Marco Guarnieri, Boris Köpf
2020 Programming Language Design and Implementation | June 2020
Marco Guarnieri, Boris Köpf, Jose F. Morales, Jan Reineke, Andres Sanchez
IEEE Symposium on Security and Privacy | May 2020
Pepe Vila, Boris Köpf, José F. Morales
IEEE Symposium on Security and Privacy | May 2019
Pepe Vila, Boris Köpf
USENIX Security Symposium | August 2017
Distinguished paper award
Goran Doychev, Boris Köpf
ACM SIGPLAN Conference on Programming Language Design and Implementation | June 2017
Stavros Volos, Cédric Fournet, Jana Hofmann, Boris Köpf, Oleksii Oleksenko
ACM Conference on Computer and Communications Security (CCS) | October 2024
CCS Distinguished Paper Award
Stavros Volos, Cédric Fournet, Jana Hofmann, Boris Köpf, Oleksii Oleksenko
ACM Conference on Computer and Communications Security (CCS) | October 2024
CCS Distinguished Paper Award
Jana Hofmann, Emanuele Vannacci, Cédric Fournet, Boris Köpf, Oleksii Oleksenko
Usenix Security Symposium | August 2023
Oleksii Oleksenko, Marco Guarnieri, Boris Köpf, Mark Silberstein
IEEE Symposium on Security and Privacy (S&P) | May 2023
Oleksii Oleksenko, Christof Fetzer, Boris Köpf, Mark Silberstein
27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '22) | March 2022
IEEE MICRO Top Pick
Marco Guarnieri, Boris Köpf, Jan Reineke, Pepe Vila
IEEE Symposium on Security and Privacy | May 2021
Best Paper Award
Pepe Vila, Pierre Ganty, Marco Guarnieri, Boris Köpf
2020 Programming Language Design and Implementation | June 2020
Goran Doychev, Boris Köpf
ACM SIGPLAN Conference on Programming Language Design and Implementation | June 2017
Manuel Costa, Boris Köpf, Aashish Kolluri, Andrew Paverd, Mark Russinovich, Ahmed Salem, Shruti Tople, Lukas Wutschitz, Santiago Zanella-Béguelin
May 2025
Shoaib Ahmed Siddiqui, Radhika Gaonkar, Boris Köpf, David Krueger, Andrew Paverd, Ahmed Salem, Shruti Tople, Lukas Wutschitz, Menglin Xia, Santiago Zanella-Béguelin
October 2024
Oleksii Oleksenko, Flavien Solt, Cédric Fournet, Jana Hofmann, Boris Köpf, Stavros Volos
2026 IEEE Symposium on Security and Privacy | May 2026
Accepted at IEEE SP 2025, publication delayed due to embargo.
Stavros Volos, Cédric Fournet, Jana Hofmann, Boris Köpf, Oleksii Oleksenko
ACM Conference on Computer and Communications Security (CCS) | October 2024
CCS Distinguished Paper Award
Jana Hofmann, Cédric Fournet, Boris Köpf, Stavros Volos
ACM Conference on Computer and Communications Security (CCS) | October 2024
Giovanni Cherubin, Boris Köpf, Andrew Paverd, Shruti Tople, Lukas Wutschitz, Santiago Zanella-Béguelin
USENIX Security Symposium | August 2024
Jana Hofmann, Emanuele Vannacci, Cédric Fournet, Boris Köpf, Oleksii Oleksenko
Usenix Security Symposium | August 2023
Santiago Zanella-Béguelin, Lukas Wutschitz, Shruti Tople, Ahmed Salem, Victor Ruehle, Andrew Paverd, Mohammad Naseri, Boris Köpf, Daniel Jones
2023 International Conference on Machine Learning | July 2023
편집자: Barbara Engelhardt, Emma Brunskill, Kyunghyun Cho
Ahmed Salem, Giovanni Cherubin, David Evans, Boris Köpf, Andrew Paverd, Anshuman Suri, Shruti Tople, Santiago Zanella-Béguelin
2023 IEEE Symposium on Security and Privacy | May 2023
Oleksii Oleksenko, Marco Guarnieri, Boris Köpf, Mark Silberstein
IEEE Symposium on Security and Privacy (S&P) | May 2023
Oleksii Oleksenko, Christof Fetzer, Boris Köpf, Mark Silberstein
27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '22) | March 2022
IEEE MICRO Top Pick
Santiago Zanella-Béguelin, Shruti Tople, Andrew Paverd, Boris Köpf
International Conference on Machine Learning | July 2021
편집자: Marina Meila and Tong Zhang
Marco Guarnieri, Boris Köpf, Jan Reineke, Pepe Vila
IEEE Symposium on Security and Privacy | May 2021
Best Paper Award
Santiago Zanella-Béguelin, Lukas Wutschitz, Shruti Tople, Victor Ruehle, Andrew Paverd, Olga Ohrimenko, Boris Köpf, Marc Brockschmidt
ACM Conference on Computer and Communication Security (CCS) | November 2020
Pepe Vila, Pierre Ganty, Marco Guarnieri, Boris Köpf
2020 Programming Language Design and Implementation | June 2020
Marco Guarnieri, Boris Köpf, Jose F. Morales, Jan Reineke, Andres Sanchez
IEEE Symposium on Security and Privacy | May 2020
Pepe Vila, Boris Köpf, José F. Morales
IEEE Symposium on Security and Privacy | May 2019
Pepe Vila, Boris Köpf
USENIX Security Symposium | August 2017
Distinguished paper award
Goran Doychev, Boris Köpf
ACM SIGPLAN Conference on Programming Language Design and Implementation | June 2017
