جست‌وجوی استاد و پژوهشگر

• Mathematical Logic
• Theoretical Computer Science
• Blockchain Technology
• +۵ مورد دیگر

Professor Arnold Beckmann is a Professor of Computer Science at Swansea University, part of the Faculty of Science and Engineering, within the School of Mathematics and Computer Science. He previously served as Head of Department from 2014 to 2021. His research focuses on Mathematical Logic, Theoretical Computer Science, Blockchain Technology, and their applications in Industry 4.0. He leads initiatives such as the Zienkiewicz Institute for Modelling, Data and AI, the Grenoble-Swansea Centre for AI, and is involved in the Wales Data Nation Accelerator. He has led projects on hybrid AI for manufacturing supply chains, blockchain applications, and semantic technologies. Beckmann has been awarded the Leopoldina and Marie-Curie fellowships and has publications in areas including proof complexity, ontology engineering, and cybersecurity. He supervises PhD students in topics like blockchain licensing, smart contracts, and steelmaking analytics. His work bridges foundational theory with real-world industrial challenges. Education: PhD and Habilitation in Mathematics from University of Münster (Germany). Research Highlights: Over 60 publications, including work on bounded arithmetic, blockchain verification, and Industry 4.0 applications. Research interests include foundational logic, computational complexity, and applying these to manufacturing and smart systems. His work on semantic technologies integrates domain knowledge with machine learning for process optimization. Grants include EPSRC, Royal Society, and EU funding. Beckmann also co-leads the Swansea Blockchain Lab and contributes to global academic networks like The Proof Society.

• Algebra
• Algebraic Coding Theory
• Boolean Algebras
• +۷ مورد دیگر

Massimiliano Sala is a Full Professor at the Department of Mathematics of the University of Trento. His expertise spans Algebra, Algebraic Coding Theory, Boolean Algebras, Cryptography, and Computational Algebra. He specializes in cryptographic protocols, post-quantum security, and elliptic curve cryptography. His recent work includes advancements in blockchain-agnostic multi-signature schemes, searchable encryption, and elliptic curve group structures. Research Focus: Dr. Sala's research integrates mathematical foundations with applied cryptography, emphasizing secure communication protocols, cryptographic algorithm design, and blockchain technologies. He has contributed to the analysis of Boolean functions, APN permutations, and secure multi-party computation. Recent Contributions: His 2024 publications address topics like cubic Boolean functions, blockchain-agnostic asset management, and randomized searchable encryption. He also explores post-quantum cryptographic frameworks and elliptic curve-based security mechanisms. Awards & Recognition: None explicitly listed in the provided materials. Teaching & Academic Leadership: Teaches Algebraic Cryptography at the Master's level, focusing on public-key systems and post-quantum cryptography. His academic contributions include editorial work for cryptographic journals and conference proceedings.

• Cryptography
• Information Security
• Secure Multiparty Computation
• +۲ مورد دیگر

Louis Cianciullo is a researcher affiliated with James Cook University, where he completed his PhD in 2022. His research focuses on cryptography, information security, and secure multiparty computation, with a particular emphasis on unconditional security and privacy-preserving algorithms. He has collaborated extensively with Hossein Ghodosi on topics such as oblivious polynomial evaluation, secret sharing, and cryptographic protocol analysis. His work also extends to interdisciplinary applications, such as using image processing for agricultural automation in pearl oyster selective breeding. Education: PhD in Information Security, James Cook University (2022) Research Interests: His primary contributions lie in advancing cryptographic techniques for secure computation, including multi-party computation protocols, cheating detection mechanisms, and theoretical foundations of information-theoretic security. He also explores practical applications of computer vision and image processing in real-world scenarios. Grants and Advising: While no specific grants or advising roles are explicitly listed, his active publication record from 2018 to 2022 suggests sustained engagement in research projects and collaborations.

Bart Preneelمشاهده پروفایل

استاد

• Cryptology
• Information Security
• Cryptanalysis
• +۴ مورد دیگر

Bart Preneel is a Full Professor at KU Leuven since 2006 and director of the COSIC research group (60 members). He has held visiting professorships at institutions including the Technical University of Denmark and University of California, Berkeley (1993-1994). He co-founded the Leuven Security Excellence Consortium (L-SEC) and chairs the International Association for Cryptologic Research (IACR). Education : Electrical Engineering (1987) and Doctorate in Applied Sciences (1993), both from KU Leuven. Research Focus : Cryptology, cryptographic algorithm design, privacy protocols, and secure software/hardware implementations. His work bridges theoretical cryptography (e.g., hash functions, side-channel analysis) with real-world applications (e.g., automotive privacy, mobile authentication). Scientific Contributions : His publications span cryptanalysis, authentication, privacy metrics, and secure protocol design, with a focus on both foundational theory and practical implementations. Notable works include advancements in side-channel distinguishers and privacy-preserving insurance systems. Scientific Awards : European Information Security Award 2003; Honorary CISM designation by ISACA. Leadership : Supervised 45 PhD students, served as ERC grant panel chair (2013), and contributed to over 30 European research projects. He has testified as an expert before the Belgian and European Parliaments and participated in standardization initiatives (IEEE, ISO/TC68, IETF). Labs/Teams : Leads COSIC (KU Leuven), a member of iMinds; co-founded L-SEC vzw, a security industry collaboration network.

• Cryptography
• Coding Theory
• Algebra
• +۳ مورد دیگر

Alessio Meneghetti is a Professor at the Department of Mathematics, University of Trento. His research focuses on cryptography, coding theory, and information security, with applications to post-quantum cryptography, blockchain protocols, and secure distributed systems. He teaches courses such as Coding Theory and Applications, Cryptography, and Programming Lab, emphasizing practical implementations in Java and theoretical foundations. His work spans cryptographic primitives like threshold signatures, quantum-resistant algorithms, and consensus mechanisms. Key contributions include protocols like COB for Byzantine agreement and frameworks for group action-based multi-signatures. He has also explored quantum random number generation and linear codes' weight distributions. Publications highlight advancements in threshold cryptography, distributed key generation, and post-quantum signature schemes. His teaching integrates programming practices with mathematical rigor, preparing students for applied cryptography and computational mathematics.

Mustak E. Yalcinمشاهده پروفایل

استاد

• Nonlinear Dynamics
• Cryptography
• Cellular Neural Networks
• +۳ مورد دیگر

Mustak E. Yalcin is a Professor in the Department of Electronics and Telecommunications Engineering at Istanbul Technical University (ITU). He holds a PhD from Katholieke Universiteit Leuven (2004), an MSc from ITU (1997), and a BSc from ITU (1993). His research focuses on nonlinear dynamics, chaos theory, FPGA-based systems, and secure communication. He has been elevated to IEEE Senior Member (2019) and serves as an Associate Editor for multiple journals, including the International Journal of Bifurcation and Chaos and SpringerBriefs in Nonlinear Circuits. His work spans applications in cryptographic systems, cellular neural networks, and hardware security. Notable contributions include FPGA implementations of hyperchaotic systems for medical image encryption, and designs for GPS spoofing detection. He leads projects on sensor-based navigation systems, smart weighing technologies, and energy-efficient embedded systems. Recent activities include chairing tracks at IEEE conferences and organizing events like FOSSistanbul. His lab actively explores wave computing, memristor-based networks, and bio-inspired algorithms for odor classification. Current projects include the design of fault-tolerant cryptographic hardware and real-time spectrum analyzers.

Chee Yeow Mengمشاهده پروفایل

استاد

• Coding Theory
• Combinatorics
• Data Science
• +۳ مورد دیگر

Chee Yeow Meng is the Provost and Chief Academic & Innovation Officer at the Singapore University of Technology and Design (SUTD), effective April 2025. He holds a Professor rank and oversees curricular, research, and innovation affairs. Previously, he served as Vice President (Innovation and Enterprise) at NUS and held senior roles in academia and public service, including leadership positions at the National Computer Board and Infocomm Development Authority. His education includes a BMath (Hon) and MMath from the University of Waterloo (1988-1989), followed by a PhD in Computer Science (1996). His research focuses on combinatorics' intersection with computer science, particularly coding theory, extremal set systems, and AI applications. He has pioneered work in error-correcting codes, combinatorial cryptography, and data science. Prof Chee is an associate editor for IEEE Transactions on Information Theory and a Fellow of the Institute of Combinatorics and its Applications. His awards include the Public Administration Medal (Silver, 2018) and the Long Service Award (NTU, 2018). He has founded multiple startups and holds patents in coding technologies. His recent publications emphasize innovations in coding theory applications (e.g., domain wall memories, DNA storage) and machine learning for combinatorial optimization. He actively contributes to national committees and international forums on innovation policy and AI ethics.

Miguel L. Pardalمشاهده پروفایل

استادیار

• Distributed Systems
• Cybersecurity
• Internet of Things
• +۲ مورد دیگر

Miguel L. Pardal is an Assistant Professor at Instituto Superior Técnico, Universidade de Lisboa, and a researcher at INESC-ID's Distributed Systems Group (GSD). His work focuses on Cybersecurity, Distributed Systems, Internet of Things (IoT), and Cloud Computing. He has led projects like the EU-funded Safe Cloud initiative and contributed to intrusion recovery systems (e.g., MIRES, μVerum) and blockchain-based solutions (e.g., ChainGuard, EvoChain). His research addresses challenges in secure communication, resilient distributed architectures, and location-based systems. Since 2002, he has taught courses on Network Security, Distributed Systems, and Operating Systems. His projects often intersect academia and industry, emphasizing practical applications in critical infrastructure and smart technologies. Collaborations include developing systems for vehicle-pedestrian safety (SafeWalk) and decentralized identity management. He has authored over 30 publications, with recent work covering blockchain resilience, intrusion detection in industrial processes (IM-DISCO), and generative AI for distributed algorithms. His contributions span academic conferences (DSN, EuroSys) and journals (IEEE Transactions).

• Cryptographic Hardware
• Symmetric Cryptographic Schemes
• Hardware Implementations of Cryptographic Algorithms
• +۵ مورد دیگر

Silvia Mella is an Assistant Professor in the Digital Security (DiS) group at Radboud University, Netherlands, and a member of the Cryptographic Engineering & Side-Channel Analysis (CESCA) Lab. Her research focuses on cryptographic hardware for embedded devices, including secure implementations of cryptographic algorithms and analysis of side-channel and fault attacks. She holds a PhD from the University of Milan (2018) and previously worked at STMicroelectronics (2015–2022), developing hardware accelerators for public-key cryptography. She has supervised numerous PhD and Master’s students, co-authored over 30 publications, and contributed to cryptographic standards like ASCON and Xoodoo. Her work emphasizes bridging theoretical cryptography with practical hardware security solutions. Education: Bachelor and M.Sc. in Mathematics, University of Milan, Italy PhD in Cryptography (2018), University of Milan, Italy Research Interests: Design/analysis of symmetric cryptographic schemes Hardware implementation security Side-channel and fault attack countermeasures Post-quantum cryptography Lightweight cryptographic primitives Recent Research Trends: Recent work focuses on novel code-based cryptographic constructions (ChiLow/ChiChi), low-latency pseudorandom functions (Koala), and SCA-resistant implementations of algorithms like Xoodoo and Xoodyak. Her research bridges theoretical cryptographic analysis with practical hardware vulnerabilities, often leveraging machine learning techniques for attack detection. Advising & Collaboration: Co-supervised 10+ PhD/Master students on topics like cryptographic permutations and post-quantum schemes Active in industry-academia collaborations through STMicroelectronics and PROACT projects Involved in open-source cryptographic library development Labs & Teams: Leading research in the CESCA Lab at Radboud University, focusing on cryptographic engineering and embedded system security. Collaborates with the Politecnico di Milano and STMicroelectronics on hardware security projects.

Simona Samardjiskaمشاهده پروفایل

استادیار

• Post-Quantum Cryptography
• Multivariate Cryptography
• Code-Based Cryptography
• +۴ مورد دیگر

Simona Samardjiska is an Assistant Professor in the Digital Security Group at Radboud University, The Netherlands, since 2017. Previously, she held an assistant professor position at the Faculty of Computer Science and Engineering, Ss. Cyril and Methodius University, Skopje, Macedonia (2015–2017). She earned her PhD in Cryptography from the Norwegian University of Science and Technology (NTNU) in 2015, focusing on multivariate cryptography under Danilo Gligoroski. Her academic background includes a master’s degree in Computer Science and a diploma in Pure Mathematics from the Faculty of Natural Sciences and Mathematics, Skopje. Her research primarily revolves around post-quantum cryptography, including multivariate, code-based, and lattice-based systems, alongside symmetric cryptography and Boolean functions. Notable contributions include the MQDSS digital signature scheme (a NIST PQC candidate) and the MEDS submission to NIST’s round 3. She has published extensively in top venues like EUROCRYPT, ASIACRYPT, and IEEE Transactions. Samardjiska teaches courses such as Cryptology (NWI-IMC063), Applied Cryptography (NWI-IMC061), and Security (NWI-IPC021) at Radboud University. She actively participates in standardization efforts, conferences, and workshops, including organizing CrossFyre (EUROCRYPT 2021/2020) and serving on program committees for CBCrypto, CANS, and others. Her professional activities emphasize fostering diversity in computing and advancing cryptographic research.

Olivier Blazyمشاهده پروفایل

استاد

• Cryptographic Protocols
• Post-Quantum Cryptography
• Zero-Knowledge Proofs
• +۸ مورد دیگر

Olivier Blazy is a Professor at École Polytechnique, specializing in cryptographic protocols and security analysis. His research spans post-quantum cryptography, implicit cryptography, end-to-end encryption, and online age verification systems. Current affiliations: École Polytechnique (since 2021), LIX Grace Lab Previous institutions: University of Limoges (2014-2021), Ruhr University Bochum (2012-2014), École Normale Supérieure (2009-2012) Blazy’s work focuses on developing quantum-resistant cryptographic solutions, including secret sharing mechanisms, oblivious transfer protocols, and code-based encryption systems. He has contributed to the NIST Post-Quantum Cryptography standardization process. His research includes a taxonomy for post-compromise security, analyzing recovery speeds of protocols like Signal and 5G handover systems. Recent publications explore bivariate proximity tests, cryptographic accumulators, and identity-based revocation schemes. Blazy has been featured in media discussing cybersecurity policy, including: Critique of French government’s StopCovid contact-tracing app (2020-2022) Analysis of EU digital identity frameworks (2024) Commentary on online age verification and privacy (2023) He teaches advanced cryptography courses covering encryption, differential privacy, and cryptanalysis techniques.

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

پژوهشگر

• Information Flow Control
• Programming Languages
• Functional Programming
• +۳ مورد دیگر

Marco Vassena is a researcher affiliated with CISPA Helmholtz Center for Information Security and Utrecht University , focusing on Information Flow Control , Programming Languages , and Security . He contributes to secure compilation, memory safety, and cryptographic code analysis. His research explores compiler design , speculative execution mitigation , and Wasm security , often involving formal verification and runtime enforcement . Recent work includes eliminating speculative leaks and enforcing memory safety for WebAssembly. Marco has authored publications in conferences like POPL and PriSC , addressing cryptography , secure compilation , and parallel runtime systems . He actively participates in program committees and artifact evaluations.

Chris Hawblitzelمشاهده پروفایل

پژوهشگر

• Programming Languages
• Operating Systems
• Formal Verification
• +۵ مورد دیگر

Chris Hawblitzel is a Senior Principal Researcher at Microsoft Research's Systems Research Group . His work spans programming languages, operating systems, formal verification, and security, with a focus on integrating systems concepts into safe language environments. Research Themes : Systems verification, security, concurrent programming, and type systems Awards : Distinguished Artifact Awards (2025, 2024), Jay Lepreau Best Paper Award (2024), Best Paper Awards (PLDI 2010, EuroSys 2006) His recent publications (2025-2022) focus on Rust verification ( Verus ), storage/distributed systems verification ( PoWER , IronFleet ), and cryptographic systems ( EverCrypt ). He contributes to foundational work in linear types, ghost state, and automated proof generation for systems code. Notable collaborations include work with Bryan Parno , Jon Howell , and Jay Lorch on verification frameworks and security modules for modern computing environments.

Kathrin Hövelmannsمشاهده پروفایل

استادیار

• Post-Quantum Cryptography
• Provable Security
• Public-Key Encryption
• +۳ مورد دیگر

Kathrin Hövelmanns is a tenured Assistant Professor at Eindhoven University of Technology (TU/e) in the Mathematics and Computer Science school, specializing in Applied and Provable Security. Her research addresses the threat of quantum computing to current cryptographic systems, focusing on post-quantum security mechanisms. She has contributed to the theoretical foundation of Kyber, a NIST-emerging standard for public-key encryption. PhD in Cryptology from Ruhr University Bochum BSc/MSc in Mathematics from University Duisburg Essen Mathematical-technical system engineer training at RWTH Aachen Her research integrates provable security and quantum information theory , with key contributions to cryptographic protocols like Authenticated Key Exchange , Re-encryption , and PAKE . Publications span post-quantum cryptography , security proofs , and quantum-resistant algorithms , reflecting collaborations with experts like Eike Kiltz and Andreas Hülsing. Recent work includes analyses of Quantum Key Distribution and public-key cryptosystems under quantum threats. Her research outputs emphasize password-based authentication , decryption security , and instantiation techniques . Scientific Awards : NWO Veni Grant (2023) Irène Curie Fellowship She serves on academic committees and contributes to cryptography education, teaching Linear Algebra 2 at TU/e. Her work bridges theoretical cryptography with real-world applications, addressing challenges in e-government, secure communications, and military/industrial data protection.

• Materials Modelling
• Micro-mechanics
• Voronoi Tessellation
• +۱ مورد دیگر

Dr. Pan Zhang is a Researcher at the Department of Mechanical Engineering, Imperial College London, specializing in materials modeling and micro-mechanics. His work focuses on crystal plasticity modeling, particularly the generation of microstructures for polycrystalline materials to support finite element analysis. He holds a BSc and MSc in Control Engineering and a PhD in Mechanical Engineering. Research interests include Voronoi tessellation applications, optimization using evolutionary algorithms, and material behavior under extreme conditions. His contributions span computational geometry, composite materials, and supply chain environmental impact analysis. Publications highlight advancements in grain structure simulation, cryptographic integration in embedded systems, and cloud-based privacy-preserving techniques. Collaborations include projects with Professors Liliang Wang and Daniel Balint, though he is not directly listed as a supervisor for the mentioned PhD studentships. No scientific awards are explicitly stated, but his work demonstrates expertise in interdisciplinary engineering and computational methods.