Bart Preneel

Bart Preneel received the Electr. Eng. and PhD degrees from the KU Leuven (Belgium). He is a Full Professor at the KU Leuven where he heads the COSIC Research Group. He was visiting professor at five universities in Europe. Bart has authored more than 200 scientific publications and is inventor of 2 patents. He has participated to more than 20 EU funded projects and has coordinated four of these including the EU NoE ECRYPT. He has served as panel member and chair for the European Research Council. Since 1997 he is serving on the Board of Directors of the IACR (International Association for Cryptologic Research), from 2002-2007 as vice president and from 2008-2013 as president. He is a member of the Permanent Stakeholders group of ENISA and of the Academia Europaea. He has served on the Advisory Board of several companies and EU projects. He has served as Program Chair of 15 international conferences and he has been invited speaker at more than 90 conferences in 40 countries. In 2014, he received the RSA Award for Excellence in the Field of Mathematics.

Christof Paar

Christof Paar is a founding director at MPI-SP in Bochum, Germany and affiliated professor at the University of Massachusetts Amherst. His research lies in the area of embedded security. His group is currently working on hardware Trojans, technical and cognitive aspects of (hardware) reverse engineering, physical layer security and the security of cyber-physical systems. He is one of the spokespersons of the Excellence Cluster CASA – Cyber Security in the Age of Large-Scale Adversaries. Prior to joining the MPI, Christof was with the Ruhr University Bochum (2001-2019) and WPI in Massachusetts (1995-2001). He spent the academic years 2008/09 and 2014 – 2016 as a research professor at UMass Amherst. He received a Ph.D. in engineering from the Institute for Experimental Mathematics at the University of Essen in 1994.

.

Joppe Bos

Joppe W. Bos is a technical director and cryptographic researcher at the Competence Center for Cryptography and Security at NXP Semiconductors, where he’s the technical lead of the Post-Quantum Cryptography team and manages the Crypto Concepts team. Joppe is a co-author of the post-quantum secure CRYSTALS-Kyber key encapsulation mechanism, which has been selected by NIST for standardization. He served from 2017 to 2022 as the Secretary of the International Association for Cryptologic Research (IACR), is the co-editor of the IACR Cryptology ePrint Archive and serves as one of the Editor-in-Chiefs for the IACR Communications in Cryptology. Previously, he was a post-doctoral researcher in the Cryptography Research Group at Microsoft Research, Redmond, USA. He obtained his PhD in the laboratory for cryptologic algorithms at EPFL, Lausanne, Switzerland under supervision of Prof. Arjen Lenstra in 2012.

Ingrid Verbauwhede

Ingrid Verbauwhede’s main expertise includes system and architecture design, embedded system, ASIC and FPGA design and design methodologies for real-time, low power embedded systems and more specifically embedded security systems. She has experience in interdisciplinary research linking design for security with novel technologies and circuits, and investigating the requirements of novel cryptographic algorithms and software security requirements on secure hardware and HW/SW co-design. Her ability to cross the gap between algorithm and protocol development and actual implementation in hardware, software and embedded systems has been widely recognized. Ingrid Verbauwhede has experience in running small and large research projects, fundamental ones (sponsored by NSF or FWO), basic research (funded by EU) and applied (in collaboration with industrial partners). Ingrid Verbauwhede is a fellow of IEEE and a member of the Royal Academy of Belgium for Sciences and Arts. In 2016 she received an advanced ERC grant and in 2017 a IEEE Computer Society Technical Achievement Award for pioneering contributions to design methodologies for tamper-resistant and secure electronic systems. In 2021, she received a second ERC grant to work on hardware acceleration for computing on encrypted data.

Cas Cremers

Cas Cremers is faculty member at the CISPA Helmholtz Center for Information Security in Saarbruecken, Germany. He obtained his PhD in 2006 from Eindhoven University of Technology in the Netherlands. From 2006 to 2013 he was a postdoctoral researcher, and senior researcher and lecturer, at ETH Zurich in Switzerland. In 2013 he moved to the University of Oxford as an Associate Professor, and became full Professor at the University of Oxford in 2015. In 2018 he joined CISPA in Germany. His work includes co-developing the Scyther tool and the Tamarin prover for the analysis of security protocols, and working on provable foundations for secure messaging, including the first proofs of the Signal protocol. He contributed to the development of IETF’s TLS 1.3 and MLS, and was a member of the DP3T team whose privacy-preserving protocols laid the foundation for the GAEN framework used in Covid proximity-tracing apps.

Daniel Gruss

Daniel Gruss is an associate professor in Information Security at Graz University of Technology. He has been involved in teaching undergraduate courses since 2009. Daniel researches software-based attacks and defenses, mainly on microarchitectural layers in hardware and software. He implemented the first remote fault attack running in a website, known as Rowhammer.js. His research team was one of the teams that found the Meltdown and Spectre bugs published in early 2018 and designed the software patch (KAISER) against Meltdown which is now integrated in every operating system. In 2022 he was awarded a highly prestigious ERC Grant to research the foundations of sustainable security. He frequently speaks at top international venues, such as Black Hat, Usenix Security, IEEE S&P, ACM CCS, Chaos Communication Congress, and others.

F.-X. Standaert

Francois-Xavier Standaert was born in Brussels, Belgium in 1978. He received the Electrical Engineering degree and PhD degree from the Universite catholique de Louvain, respectively in 2001 and 2004. In 2004-2005, he was a Fulbright visiting researcher at Columbia University, Department of Computer Science, Crypto Lab (hosted by Tal G. Malkin and Moti Yung) and at the MIT Medialab, Center for Bits and Atoms (hosted by Neil Gershenfeld). In 2006, he was a founding member of IntoPix s.a. From 2005 to 2008, he was a post-doctoral researcher of the Belgian Fund for Scientific Research (FNRS-F.R.S.) at the UCL Crypto Group and a regular visitor of the two aforementioned laboratories. Since 2008 (resp. 2017), he is associate researcher (resp. senior associate researcher) of the Belgian Fund for Scientific Research (FNRS-F.R.S). Since 2013 (resp. 2018), he is associate professor (resp. professor) at the UCL Institute of Information and Communication Technologies, Electronics and Applied Mathematics (ICTEAM). In 2010, he was the program co-chair of CHES (the flagship workshop on cryptographic hardware). In 2011, he was awarded a Starting Independent Research Grant by the European Research Council. In 2016, he was awarded a Consolidator Grant by the European Research Council. From 2017 to 2022, he was elected board member (director) of the International Association for Cryptologic Research (IACR). He gave an invited talk at Eurocrypt 2019 (one of the flagship IACR conferences). In 2021, he was the program co-chair of Eurocrypt. In 2022 he was a founding member of the SIMPLE-Crypto (non-profit) association. In 2023, he was awarded an Advanced Grant by the European Research Council.

Maria Eichlseder

Maria Eichlseder is assistant professor of cryptography at Graz University of Technology. Her research interests include the design and cryptanalysis of symmetric cryptographic algorithms, such as hash functions and authenticated encryption algorithms and their underlying primitives. She co-designed Ascon, a lightweight authenticated cipher that was selected by NIST as the new standard for lightweight cryptography in 2023. She defended her Ph.D. sub auspiciis praesidentis in 2018 and visited Ruhr-Universität Bochum and Radboud University Nijmegen as a guest researcher.

Thorsten Holz

Thorsten Holz is a faculty member at the CISPA Helmholtz Center for Information Security. Before joining CISPA in October 2021, he was a full professor at the Faculty of Electrical Engineering and Information Technology at Ruhr University Bochum, Germany. His research interests include technical aspects of secure systems, with a specific focus on systems security. Thorsten received a Dipl.-Inform. degree in Computer Science from RWTH Aachen University (2005) and a Ph.D. degree from the University of Mannheim (2009). In 2011, he was awarded the Heinz Maier-Leibnitz Prize from the German Research Foundation (DFG), and in 2014 an ERC Starting Grant. He was also co-spokesperson of the Cluster of Excellence “CASA – Cyber Security in the Age of Large-Scale Adversaries” (with C. Paar and E. Kiltz) from 2019 to 2021. In recent years, he has served on many program committees and has co-chaired the Program Committee (PC) for two of the leading computer security conferences, namely the IEEE Symposium on Security and Privacy (2021, 2022) and the USENIX Security Symposium (2016).

Cédric Fournet

Cédric Fournet is interested in security, privacy, cryptography, programming, and distributed systems. His main project these days is Everest, aiming at building, verifying, and deploying secure components such as miTLS for the HTTPS ecosystem. He leads the Constructive Security team at Microsoft Research in Cambridge, UK. Since 2006, he also leads a project on Secure Distributed Computations at the MSR-INRIA Joint Center, in collaboration with the Prosecco team at INRIA Paris. His recent research subjects include cryptographically-verifiable computing (Pinocchio, Geppetto, Cinderella); TLS security; secure cloud outsourcing relying on trusted hardware (SGX, TPM);  resistance against side-channels; models for cryptography; information-flow security; secure multiparty sessions; dependent types, notably for the F* programming language; JavaScript and TypeScript security; authorization policies; secure logs; secure implementations of communication abstractions; access control for mobile code; concurrency in C# and F#, private authentication; and the verification of cryptographic protocols for Internet security and Web Services security. He joined Microsoft Research in 1998. Before that, he graduated from Ecole Polytechnique in 1992, worked for a year on deductive databases at BULL, obtained a second engineering degree from Ecole Nationale des Ponts et Chaussées in 1995, then did a PhD in computer science at INRIA Rocquencourt. In his PhD, he applied some concurrency theory to model distributed programming: he proposed a variant of the pi calculus as the core of a distributed programming language. He used this calculus to model the behavior of programs and implementations, in particular agent-based mobility, partial failure, and security. He also wrote the distributed runtime for a prototype implementation of the language.

Rayna Dimitrova

Rayna Dimitrova is a tenure-track faculty member at CISPA Helmholtz Center for Information Security in Saarbrücken, Germany. Her research is focused on the specification, verification, and synthesis of reactive systems. She primarily investigates quantitative versions of these questions, centered around the aspect of uncertainty in system and environment models. She is particularly interested in applications of formal methods to autonomous systems, where her work addresses the limitations faced by autonomous control due to imperfect sensing and stochastic disturbances. Before joining CISPA, Rayna was a Lecturer (Assistant Professor) at the University of Sheffield, UK and at the University of Leicester, UK before that. Prior to that, she held postdoctoral positions at the University of Texas at Austin, and at the Max Planck Institute for Software Systems in Germany. She completed her PhD at Saarland University in Germany. 

Shmuel Ur

Dr. Shmuel Ur was a research scientist in the IBM research lab in Haifa, Israel for 16 years, where he held the title of IBM Master Inventor. Later, he became an independent inventor. Shmuel taught software testing at the Technion and Haifa University. Shmuel taught, various software engineering disciplines giving day to week-long courses on the topics of coverage, code review, and testing and developing concurrent software. Shmuel has given taught inventing in many countries.Shmuel received his Ph.D. in Algorithms Optimization and Combinatorics in 1994 in Carnegie Mellon University under Michael Trick and Nobel Prize winner Herbert Simon. He received his Bs.C. and Ms.C. from the Technion in Israel. Shmuel has published in the fields of hardware testing, artificial intelligence, algorithms, software testing, and testing of multi-threaded programs. Shmuel has more than 60 professional publications, more than 190 granted USA patents, of which 10 are in quantum computing, has sold more than 50 ideas, invented more than 100 patents for customers, and has given numerous talks and tutorials.