جستجوی استاد راهنمای دانشگاهی

• Deductive Verification
• Interactive Theorem Proving
• Formal Methods
• +۷ مورد دیگر

Yong Kiam Tan is a research scientist at the Institute for Infocomm Research (I²R), A*STAR, Singapore, and holds a joint appointment as a Nanyang Assistant Professor at the College of Computing and Data Science, Nanyang Technological University (NTU), Singapore. He earned his PhD in Computer Science (Pure and Applied Logic) from Carnegie Mellon University, advised by Prof. André Platzer, under the A*STAR National Science Scholarship. His research lies at the intersection of formal methods, interactive theorem proving, and automated reasoning, with applications in hybrid systems, compiler verification, and cybersecurity. He has made significant contributions to the CakeML and KeYmaera X projects, focusing on verified compilation, deductive verification of differential equations, and formalized mathematics. The 15 most recent publications reflect a strong trend in formally verified automated reasoning, certified algorithms, and applications in both classical and emerging domains such as neural networks and cryptography. His work consistently appears in top-tier venues like POPL, PLDI, CAV, and ITP, emphasizing end-to-end verification from logic to executable code. Distinguished Paper Award at CAV 2024 Best Paper and Best Repeatability Evaluation Award at HSCC 2022 Best Tool Paper Award at FM 2019 Peter Landin Prize at IFL 2015 CMU SCS Distinguished Dissertation Award 2022 Singapore NRF Fellowship Class of 2024 He actively advises students and researchers at NTU and A*STAR, collaborates internationally with experts such as Magnus Myreen, André Platzer, and Jakob Nordström, and has secured competitive funding including the NRF Fellowship. He has served on program committees for CPP, ITP, TACAS, and PLDI Artifact Evaluation, demonstrating active engagement in the research community. He leads a research team working on verified tools for automated reasoning and hybrid systems, with current members including Wei-Lin Wu, Joe Watt, Shuhan He, and several student researchers. His group maintains verified proof checkers in CakeML and contributes extensively to the Archive of Formal Proofs (AFP) in Isabelle/HOL.

• Formal Methods
• Interactive Theorem Proving
• Proof Assistants
• +۷ مورد دیگر

Chantal Keller is a Lecturer in the Computer Science Department at IUT d'Orsay, University of Paris-Saclay, and a member of the Formal Methods Laboratory (LMF), a joint unit involving CNRS and ENS Paris-Saclay. Her work bridges theoretical computer science and practical formal verification, with a strong focus on interactive theorem proving and proof assistant technologies. University: University of Paris-Saclay School: IUT d'Orsay Department: Computer Science Department Research Lab: Laboratoire Méthodes Formelles (LMF) Her research centers on enhancing the power and usability of proof assistants like Coq. She has developed tools such as SMTCoq , which integrates SMT solvers into Coq for automated reasoning, and HOLLIGHTCOQ , enabling interoperability between HOL-Light and Coq. Her PhD focused on formal proofs with SMT, and she continues to contribute to foundational aspects of type theory, lambda calculus, and logical frameworks. The 15 most recent articles reflect deep engagement with formal logic, programming language semantics, and automated reasoning. Key trends include proof interoperability, termination analysis, constraint programming, and the formalization of mathematical and computational systems in proof assistants. Her work spans theoretical developments and practical implementations in Coq, Agda, and OCaml. Chantal Keller has served on numerous program committees, including ITP, CPP, POPL, TAP, and JFLA, highlighting her active role in the formal methods community. She has held teaching and research positions since 2007, including roles at École Polytechnique and the University of Nottingham. 2025: Co-PC Chair, ITP 2022: Chair, JFLA 2021: Vice-Chair, JFLA; Co-Chair, PxTP 2017–2022: Coordinator, Digicosme UPSCaLe working group She has advised on workshops and school programs, including the EasyCrypt-F*-CryptoVerif school in 2014. She has not received any explicitly mentioned scientific awards in the provided texts. She is actively involved in teaching programming, algorithms, and mobile development at IUT d'Orsay.

François Chartonمشاهده پروفایل

پژوهشگر

• Artificial Intelligence
• Mathematics
• Theoretical Physics
• +۳ مورد دیگر

François Charton is a Researcher at Meta (FAIR) and affiliated with École des Ponts ParisTech / CERMICS . His work bridges Artificial Intelligence and Mathematics/Physics , focusing on transformers for symbolic mathematics, cryptanalysis, and theoretical physics applications. Education: École Polytechnique (1987), ENSEEIHT (1990), majoring in statistics Research Interests include symbolic transformers, mathematical modeling, AI for theoretical physics, and cryptanalysis. He has pioneered transformer-based approaches for symbolic integration , Lyapunov function discovery , and lattice cryptography attacks . Recent publications show a trend toward using transformers for generalization in mathematical tasks , scattering amplitude computation , and model collapse in scaling laws . Key conferences include NeurIPS, ICML, and ICLR. Scientific Awards: Debunking Challenge (NeurIPS 2024 workshop) Notable Collaborations: Albert Alfarano, Geordie Williamson, Julia Kempe, Kristin Lauter Charton co-organized workshops at Harvard CMSA and IHES , and has delivered invited talks at Princeton IAS , CERN , and Collège de France .

Laurent Sauvageمشاهده پروفایل

مدرس

• Hardware Security
• Embedded Systems
• Cryptography
• +۴ مورد دیگر

Laurent Sauvage is a Lecturer at Télécom Paris and a member of the Secure and Safe Hardware (SSH) research team within the Information Processing and Communication Laboratory (LTCI) and Communications and Electronics (Comelec) department. His work focuses on hardware security, fault injection attacks, and side-channel analysis in cryptographic systems. Research Interests: Hardware security, fault injection attacks, side-channel analysis, and embedded systems. Laboratory: LTCI (Information Processing and Communication Laboratory), Télécom Paris. Publications: Recent works include advancements in masked implementations, EM fault injection models, and countermeasures against cryptographic vulnerabilities.

Panagiotis Nastouمشاهده پروفایل

استادیار

• Secure Discrete Systems Modeling
• Graph Theory
• Cryptography
• +۵ مورد دیگر

Panagiotis Nastou is an Assistant Professor at the Department of Mathematics , University of the Aegean , with research interests in Secure Discrete Systems Modeling, Graph Theory, Cryptography, Design and Analysis of Algorithms , and Complexity Theory . He has been active in teaching courses such as Discrete Mathematics and Cryptography since 2007 and serves as Director of the Applied Mathematics and Mathematical Modeling Laboratory since 2019. Education : Ph.D., MSc., and BSc. in Computer Engineering and Informatics from Patras University. Membership : Center for Applied Optimization (University of Florida), GDPR TEAM, IEEE, ACM, and Hellenic Technical Chamber. His research bridges theoretical computer science and applied security, focusing on cryptographic protocols, algorithm design, and the application of discrete mathematics to real-world problems. He has contributed to the development of secure systems for critical infrastructure and privacy-preserving frameworks in smart cities. Recent publications (2021-2025) emphasize malware evasion , quantum cryptanalysis , and privacy in IoT environments , utilizing formal methods and combinatorial structures. His work also extends to deep learning for document analysis and consensus algorithms in social networks . He has supervised numerous Master's and undergraduate theses in areas like Zero-Knowledge Proofs , Neural Networks , and Cryptographic Boolean Functions . Administrative roles include representation in the ERASMUS+ program and participation in EU-funded project evaluations.

Michael R. Grimailaمشاهده پروفایل

استاد

• Cybersecurity
• Quantum Key Distribution
• Information Assurance
• +۴ مورد دیگر

Dr. Michael R. Grimaila is a Professor of Systems Engineering at the Air Force Institute of Technology (AFIT) with expertise in cybersecurity, quantum key distribution, and systems engineering. He holds a Ph.D. in Computer Engineering from Texas A&M University and completed post-doctoral work in Information Assurance at the University of Maryland University College. He maintains professional certifications including CISSP and CISM. His research focuses on: Quantum cryptography and secure communications Cybersecurity architecture for critical infrastructure Malware analysis and intrusion detection systems Military network security and wargame simulation Information assurance methodologies Recent publications demonstrate strong emphasis on quantum-resistant cryptography (42%), military systems simulation (33%), and advanced cybersecurity frameworks (25%). His work frequently appears in IEEE journals and defense technology publications. Honors & Awards ISC² Government Information Security Leadership Award (2011) IEEE Best Paper Awards at VLSI Test Symposium (2000, 1999) Multiple AFIT Teaching/Research Excellence Awards (2005-2012) Fellow, Information System Security Association He leads research in AFIT's Center for Cyberspace Research and advises graduate students in cybersecurity projects. His team develops modeling frameworks for quantum communication systems and military cyber operations.

• Security Systems and Networking
• Mobile Systems
• Robotics and Automation
• +۳ مورد دیگر

Shih-Chun You is a Researcher at the Department of Computer Science and Technology, University of Cambridge. Their research focuses on cryptographic hardware security, particularly side-channel attacks and vulnerability analysis in cryptographic implementations. They specialize in template attacks targeting permutation-based ciphers like ASCON, Keccak, and SHA-3, with a focus on embedded systems and 32/8-bit devices. Research interests include hardware security, cryptographic algorithm implementations, and improving resistance against physical attacks. Their work bridges theoretical cryptography and practical embedded device security. Publications emphasize novel attack methodologies and their implications on cryptographic system design. No awards are explicitly mentioned in the provided texts.

• Computer Science
• Electrical Engineering
• Machine Learning
• +۳ مورد دیگر

Xue Jiang is a faculty member at Shanghai Jiao Tong University's School of Electronic Information and Electrical Engineering, China. Their research focuses on interdisciplinary areas including machine learning, signal processing, biomedical engineering, and cybersecurity. With a prolific publication record, they specialize in neural networks, fault diagnosis systems, federated learning, and brain-computer interfaces. Key research interests include developing intelligent algorithms for fault detection in mechanical systems, advancing medical imaging techniques through deep learning, and enhancing privacy in distributed data frameworks. Their work spans applications in robotics, cybersecurity, and bioinformatics. Notable contributions include adversarial robustness studies for EEG-based systems and PML-based computational methods for wave propagation analysis. Publications highlight innovations across engineering and computer science, with a focus on practical implementations in real-world systems. Collaborations with institutions like the Hong Kong University of Science and Technology and Harbin Institute of Technology reflect their extensive academic network.

Marco Barenkampمشاهده پروفایل

استاد

• Artificial Intelligence (AI)
• Process Mining
• Cybersecurity
• +۷ مورد دیگر

Prof. Dr. Marco Barenkamp is an Honorary Professor of Business Informatics at the Faculty of Management, Culture and Technology at Osnabrück University of Applied Sciences. His roles include membership in the Federal Commission for Artificial Intelligence and Value Creation 4.0 (Wirtschaftsrat Deutschland), serving as deputy chair since 2024, and chairing the scientific advisory board of the Studiengesellschaft für Künstliche Intelligenz e.V. He is a peer reviewer for journals like HMD Praxis der Wirtschaftsinformatik and contributes to the editorial board of Wirtschaftsinformatik & Management. His research focuses on AI ethics, regulatory frameworks for AI, cybersecurity in critical infrastructure, IoT security, and digital transformation. Notable projects include leading the Agri Gaia initiative (2021–2023, €12M) and the Autowerkstatt 4.0 initiative (2022–2024, €8M), both funded by German federal ministries. His work bridges technical innovation with societal implications, addressing challenges like AI compliance, cyber threat mitigation, and sustainable ESG implementation. Recent publications emphasize regulatory challenges (e.g., the EU AI Act), process mining applications, and AI-driven cybersecurity solutions. His interdisciplinary contributions span academic research, industry collaboration, and policy advisory roles, positioning him as a key figure in Germany’s digital transformation landscape.

• Computer Science
• Artificial Intelligence
• Machine Learning
• +۷ مورد دیگر

Huan Zhou is a prolific researcher affiliated with multiple institutions including the University of Oldenburg , China Three Gorges University , and Wuhan University . His work spans Computer Science , Mathematics , and Engineering disciplines. Key affiliations: Signal Processing Group (Oldenburg), Computer and Information Technology College (China Three Gorges University), Geodesy and Geomatics (Wuhan University) Research interests include: Graph Theory : Resistance spectra, planar graph properties, and spectral analysis Optimization Algorithms : Manta ray foraging, vortex search, and swarm intelligence applications Computer Vision : Road segmentation, stereo matching, and remote sensing image analysis Telecommunications : RIS-assisted wireless systems and beamforming techniques Machine Learning : Anomaly detection, continual learning, and transformer architectures Recent publications demonstrate cross-domain impact in bioinformatics (TriGCN for medicine), network systems (Plover distributed logging), and computational pathology (glioma diagnosis with transformers).

• Post-Quantum Cryptography
• Symmetric Cryptanalysis
• Side-Channel Attacks
• +۲ مورد دیگر

Pierre-Alain Fouque is Professor of Computer Science at University of Rennes 1 and Institut Universitaire de France, specializing in cryptographic security and cryptanalysis. His research spans post-quantum algorithms, symmetric cryptosystem vulnerabilities, and practical side-channel attacks. Key research areas: Lattice reduction algorithms Blockchain-based supply chain security White-box cryptography implementations Automated cryptanalysis tools Current projects include ANR SafeTLS improving TLS protocol security and Brutus project analyzing authenticated ciphers. Supervises doctoral candidates working on lattice-based signature schemes, side-channel resistant implementations, and cryptographic reverse-engineering. Extensive program committee service includes CRYPTO, Eurocrypt, CCS, and CHES conferences. Research contributions include Falcon lattice-based signatures and key recovery attacks on multivariate schemes.

Stephen Huangمشاهده پروفایل

استاد

• Cybersecurity
• Intrusion Detection
• Data Science
• +۳ مورد دیگر

Stephen Huang is Professor of Computer Science at the University of Houston's College of Natural Sciences and Mathematics. He directs the Center for Cybersecurity Research and has held administrative roles including Department Chairman and Director of Graduate Studies. He received his PhD in Computer Science from the University of Texas-Austin and served as National Research Council-NASA Senior Research Associate at NASA Goddard Space Flight Center. His 40+ year career encompasses cybersecurity research, algorithm design, and academic leadership. Research focuses on intrusion detection systems, malware analysis, network security, and applied algorithms. His work integrates machine learning with security applications, particularly in anomaly detection and behavioral analysis. Recent projects include NSA-funded research on automated intrusion detection through metadata traffic analysis. Publications demonstrate progression from foundational algorithms to advanced AI applications in security. Recent articles focus on VPN detection, Android malware analysis, and large language model interpretability, consistently applying computational theory to cybersecurity challenges. He leads the GAANN Fellowship Program in Cybersecurity and Research Experience for Undergraduates (REU) initiatives. His laboratory develops practical security solutions through collaborations with government agencies and industry partners.

• Cryptography
• Constraint Programming
• Formal Methods
• +۳ مورد دیگر

Dr. Arthur Gontier serves as a Research Associate within the School of Computing Science at the University of Glasgow, where he conducts specialized research at the intersection of cryptography and constraint programming. His academic profile centers on advancing formal methods for security-critical systems through rigorous algorithmic development. Research interests span Cryptography (symmetric ciphers, cryptanalysis), Constraint Programming (explanation generation, decomposition methods), and Formal Verification techniques. Recent work demonstrates deep engagement with Feistel network optimization, Trivium stream cipher analysis, and conflict-driven search methodologies, reflecting a consistent focus on mathematical foundations of secure computation. Publication trends from 2020-2022 reveal concentrated contributions to top-tier cryptography venues (INDOCRYPT, SAC) and constraint programming workshops. His research exhibits growing sophistication in post-quantum cryptographic techniques and trustworthy AI verification, with increasing emphasis on practical implementation challenges alongside theoretical advances. Collaborative patterns indicate active engagement with European research networks, particularly in cryptographic analysis. While specific grant details aren't public, the publication frequency suggests sustained research activity within Glasgow's security research ecosystem. Prospective collaborators would find opportunities in formal methods for security protocol verification and constraint-based AI validation systems.

Ileana Buhanمشاهده پروفایل

استادیار

• Hardware Security
• Cryptography
• Side-Channel Attacks
• +۳ مورد دیگر

Ileana Buhan is an Assistant Professor at Radboud University Nijmegen's Digital Security Group and a member of the CESCA Lab. Her research focuses on hardware security, particularly advancing tools for secure hardware design and mitigating side-channel vulnerabilities. She previously held roles at Riscure (2011–2020) as a security evaluation manager and product manager, and at Philips Research (2008–2010) as a senior scientist. She earned her Ph.D. in Cryptography with Noisy Data from the University of Twente in 2008, recognized with the 2008 EBF European Biometrics Research Industry Award. Her work emphasizes practical security evaluation methods, automated leakage modeling (e.g., ABBY tool), and hardware-software co-design for resistance against side-channel attacks. She actively contributes to conferences like CHES, FDTC, and CARDIS, often in program committee roles. Recent invited talks include topics such as AI-driven vulnerability prediction, architecture-level simulators for root cause analysis, and automated tools for cryptographic implementation security. Her research spans RISC-V processors, microarchitecture analysis, and the intersection of machine learning with hardware security. Notable contributions include frameworks for leakage detection, fault simulation, and explainable side-channel analysis. She balances academic rigor with industry relevance, aiming to bridge gaps between theoretical security and real-world implementation challenges.

• Cryptography
• Information Security
• Symmetric Encryption
• +۱۱ مورد دیگر

Leonie Simpson is an Associate Professor in the School of Computer Science at Queensland University of Technology (QUT), Faculty of Science. Her research and teaching are centered on cryptography and information security, with a strong focus on symmetric encryption, key management, and secure communications. Her research interests include: Symmetric encryption algorithms for real-time communications Authenticated encryption and security-efficiency trade-offs Boolean functions in cipher design for cyber attack resistance Information security management and threat information sharing IoT and vehicular communication security Leonie has published over 80 articles and three book chapters on symmetric ciphers. Her recent publications emphasize lightweight cryptography for connected vehicles, anomaly detection in key management via metadata, and secure frameworks for post-quantum migration. These works reflect a consistent trend toward practical, efficient, and resilient cryptographic solutions for emerging technologies. She has supervised 12 PhD and 1 Master’s student to completion and currently mentors 5 research students. Her grants include leadership in the Cyber Security CRC and an ARC project on secure stream ciphers. She also serves on the editorial board of the journal Cryptography and has chaired major conferences like ACISP 2013 and 2023. Notable professional roles include: Theme Leader, Resilient Systems, Cyber Security CRC Editorial Board Member, Cryptography journal Program Co-chair, ACISP 2013 and 2023 Referee for top journals and conferences in cryptography She has led industry security analyses and served as an expert witness in a Federal Court case on cryptographic telecommunications. Her teaching includes unit coordination for Cyber Security and previous development of multiple information security and cryptography units at QUT.