Chunsheng "Sam" Xin is Professor and Department Chair of Computer Science at Iowa State University, having joined in August 2025. He earned his Ph.D. in Computer Science and Engineering from the University at Buffalo in 2002 and is an IEEE Fellow. His research spans three interconnected domains: Cybersecurity : Developing novel protection mechanisms for systems and AI models Artificial Intelligence : Focusing on efficient and privacy-preserving machine learning Next-Generation Wireless : Securing emerging network infrastructures Dr. Xin has secured $18 million across 49 grants from agencies including NSF, NSA, and ONR. His extensive publication record includes over 130 works, a book, and 2 patents. Recent publications focus on privacy-preserving neural networks, secure vehicle localization, and backdoor detection in AI systems. His scientific recognitions include: IEEE Big Data Security Leadership Award Three Best Paper Awards IEEE Fellow distinction He maintains editorial leadership as Co-Editor-in-Chief/Associate Editor for international journals and conference symposium chair roles.
Dr. Levent Aksoy is a Senior Research Fellow at Tallinn University of Technology, School of Information Technologies, Department of Computer Systems, where he has been working since 2020 (initially as a Post-Doc and since November 2023 as Senior Research Fellow). His academic journey began with a BSc from Yildiz Technical University, followed by MSc and PhD degrees from Istanbul Technical University in Electronics and Communication Engineering. Dr. Aksoy's research primarily focuses on electronic design automation, hardware security, and optimization techniques. His work spans several key areas including logic locking, circuit obfuscation, multiplierless design methods for constant multiplications, and switching lattices for efficient logic implementation. He has published extensively in top-tier IEEE journals and conferences, with a strong emphasis on hardware security mechanisms and efficient circuit design. His recent publications (2020-2025) demonstrate a clear research trajectory toward hardware security, with numerous papers on logic locking techniques, structural analysis attacks, and hardware obfuscation methods. This research direction aligns with his current leadership of the EAGER project on 'Hardware-Efficient Realization of UA Cryptographic Standards' and his involvement in the European Space Agency project on 'End-to-End Supply Chain Protection'. Dr. Aksoy has received multiple awards for his research contributions, including: First place in HELLO: CTF 2022 (2023) Best paper award at DDECS (2022) Best paper award at EUC (2015) As a supervisor, Dr. Aksoy currently guides three students working on hardware security topics, including lightweight cryptography implementations and advanced hardware protection mechanisms. He also serves on PhD and MSc defense committees at Tallinn University of Technology and Linköping University. His professional service includes IEEE membership and reviewing for prestigious IEEE transactions and conferences such as DATE, ICCAD, and ISCAS.
Vincent Weaver is an Associate Professor in the Electrical and Computer Engineering Department at the University of Maine's College of Engineering. He leads the VMW Research Group, focusing on low-level systems research including hardware performance counters, computer architecture, and operating systems. Weaver received his BS in Electrical Engineering from the University of Maryland College Park in December 2000, followed by MS (January 2009) and PhD (May 2010) degrees in Electrical and Computer Engineering from Cornell University. He joined the University of Maine faculty in July 2012 as an Assistant Professor and earned tenure and promotion to Associate Professor in September 2018. His research centers on hardware performance analysis, architectural simulation, and systems programming with emphasis on Linux kernel development and embedded systems. Weaver's work bridges theoretical computer architecture with practical systems implementation, often resulting in open-source tools that advance the field. His publications reveal a consistent focus on performance analysis techniques, code optimization, and security through low-level system understanding. Weaver maintains an active teaching schedule including courses in embedded systems, operating systems, and network engineering. He values students with strong programming skills and encourages open source contributions as part of the learning process. His research group provides hands-on experience with cutting-edge processor architectures and performance analysis tools.
Aymeric Fromherz is a researcher at Inria Paris, focusing on formal methods for secure systems. He leads projects in Rust verification, high-assurance cryptography, and formalization of computational legal texts. Education includes a PhD from Carnegie Mellon University (co-advised by Bryan Parno and Corina Păsăreanu) and degrees from École Normale Supérieure. His research spans Rust verification (via Aeneas toolchain), verified cryptographic primitives , and computational law (through the Catala language). Recent publications address memory allocators, borrow-checking, and legal ambiguity detection. Major Scientific Awards : Distinguished Artifact Award (CAV 2025) Best Tool Paper Award (ESOP 2024) ACM SIGSAC Dissertation Award (2021) A.G. Milnes Dissertation Award (2021) He contributes to conferences like POPL, ICFP, and CPP, and participates in the Everest Project. The Prosecco Team at Inria Paris supports his research on formal methods and security.
Cătălin Hrițcu is a tenured faculty member and head of the Formally Verified Security group at the Max Planck Institute for Security and Privacy (MPI-SP) in Bochum, Germany. He also serves as Adjunct Professor in the Faculty of Computer Science at Ruhr University Bochum (RUB), where he is affiliated with HGI and the CASA Cluster of Excellence. His educational background includes: PhD from Saarland University in Saarbrücken, Germany Habilitation from ENS Paris Hrițcu's research focuses on developing rigorous formal techniques for security. His primary interests span three interconnected areas: Formal methods for security: secure compilation, compartmentalization, memory safety, speculative execution defenses, information flow control, and security protocols Programming-languages techniques: program verification, machine-checked proofs, dependent types, formal semantics, and property-based testing Design and verification of security-critical systems: compilation chains, reference monitors, tagged hardware architectures, and high-assurance cryptography His recent publications reveal a strong trajectory toward addressing real-world security challenges through formal methods, with increasing emphasis on hardware security aspects like speculative execution vulnerabilities and memory safety. Hrițcu has received significant scientific recognition: ERC Starting Grant on formally secure compilation Distinguished Paper Award at CSF 2025 for FSLH: Flexible Mechanized Speculative Load Hardening Distinguished Paper Award at CSF 2021 for SSProve As an advisor, Hrițcu has mentored numerous PhD students and postdoctoral researchers who have gone on to successful academic careers. His group receives substantial funding through projects like ERC SECOMP. He has co-authored volumes of the Software Foundations textbook series and actively teaches courses at RUB. Hrițcu leads the Formally Verified Security research group at MPI-SP, which includes PhD students, postdocs, and research interns working on cutting-edge problems at the intersection of programming languages and security. The group has made significant contributions to verification tools including F* and Coq, with applications in secure compilation and cryptographic verification.
Clément QUINTON is an Associate Professor at the University of Lille, affiliated with both Inria and the CRIStAL laboratory (Centre de Recherche en Informatique, Signal et Automatique de Lille). He is an elected member of the laboratory council and maintains offices in both the Inria building (Room B312) and the M3 building (Room 224) at the Cité Scientifique campus. Dr. QUINTON is a member of the Spirals research team and holds the HDR (Habilitation à Diriger des Recherches), a French academic qualification that allows him to supervise PhD students. Dr. QUINTON's research spans several areas within computer science, with a primary focus on parallel computing, polyhedral models, and hardware acceleration. His work bridges theoretical computer science with practical applications in embedded systems and biomedical monitoring. He has made significant contributions to the fields of: Polyhedral compilation and loop optimization techniques High-level synthesis for FPGA-based hardware acceleration Systolic array design and parallel architectures Disruption-tolerant wireless sensor networks for biomedical applications Sustainable software engineering and cloud configuration Application of Large Language Models to software development Analysis of Dr. QUINTON's publication history reveals a consistent research trajectory that began with foundational work in parallel algorithms and systolic arrays, evolving toward more contemporary applications involving FPGA acceleration, polyhedral compilation, and biomedical sensor networks. His recent work shows increasing interest in sustainable computing, cloud architectures, and the application of Large Language Models to software engineering challenges. This evolution demonstrates his ability to adapt theoretical computer science concepts to address emerging technological challenges. Dr. QUINTON has supervised numerous PhD students whose research aligns with his expertise: Virginie Amand: Sustainable software services using large-scale models Alexandre Bonvoisin: Frugal software architectures for cloud-native microservices Tristan Coignion: Energy impact of Large Language Models for code Edouard Guegain: Software optimization through configuration (defended September 2023) Brell Péclard Sanwouo Chekam: Automatic detection and correction of side-channel vulnerabilities in cryptographic libraries Nada Zine: Complex and self-adaptive software systems Maxime Huyghe: Sustainable software services development based on Language Models (LLM) As a member of the Spirals research team at Inria and CRIStAL, Dr. QUINTON contributes to a collaborative environment focused on software engineering, system architecture, and sustainable computing. His work bridges theoretical computer science with practical applications in healthcare monitoring, cloud computing, and energy-efficient software development.
Hayssam El-Razouk serves as Associate Professor in the Electrical and Computer Engineering Department at California State University, Fresno within the Lyles College of Engineering. He holds a PhD in Electrical and Computer Engineering from Western University (2015) and maintains active industry connections through prior roles at IBM Canada and RedIron Technologies. Education: PhD in Electrical and Computer Engineering, Western University, London, Ontario, Canada (2015) MESc in Electrical and Computer Engineering, Western University, London, Ontario, Canada (2006) BEng in Electrical and Computer Engineering, Beirut Arab University, Beirut, Lebanon (2002) - First Rank Research Focus: Dr. El-Razouk's work centers on Hardware Security and Cryptographic Hardware , with significant contributions to VLSI Circuits Design for finite field arithmetic. His research bridges theoretical cryptography with practical implementations, emphasizing defect tolerance in digital circuits, data compression techniques, and pseudo-random sequence generation for secure communications. Current projects address emerging threats in embedded systems and IoT security. Publication Trends: Analysis of his 15 most recent publications (2025-2016) reveals consistent specialization in GF(2^m) arithmetic optimization using Gaussian Normal Basis and Polynomial Basis representations. His work demonstrates progressive refinement from foundational finite field operations (2016-2019) toward integrated security solutions (2020-2025), with increasing focus on side-channel attack resistance and hardware-software co-design for real-world applications including automotive systems and smart homes. Scientific Recognition: Natural Sciences and Engineering Research Council (NSERC) Canada Graduate Scholarship-Doctoral (2011-2015) Best Presenter Award, IEEE CCWC 2023 Best Paper Award, IEEE CCWC 2021 Outstanding Faculty Publication Award, CSU Fresno (2019, 2020) Jamal Abdul Nassir Golden Medal Distinction Award (2002) Research Funding and Mentorship: Dr. El-Razouk secured a $378,002 Department of Defense grant (W911NF-21-1-0210) in 2021 for hardware security research. He teaches core courses including ECE 150 (Cloud and Cybersecurity) and ECE 156 (Cryptography), supervising senior design projects on topics like RFID security and temperature monitoring systems. As an IEEE and ASEE member, he actively contributes to conference program committees and journal reviews.
