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

• Algebraic Cryptanalysis
• Post-Quantum Cryptography
• Symmetric Cryptography

Morten Øygarden is a Postdoctoral Fellow in the Department of Cryptography at Simula UiB, a joint research initiative between Simula Research Laboratory and the University of Bergen. His work bridges theoretical cryptography and practical security analysis within Norway's premier cryptographic research environment. His educational background culminates in a 2021 PhD from the University of Bergen with the thesis "Algebraic Cryptanalysis of Cryptographic Schemes with Extension Field Structure", establishing his expertise in algebraic methods for cryptanalysis. Øygarden's research focuses on Algebraic Cryptanalysis , Post-Quantum Cryptography , and Symmetric Cryptography , specializing in vulnerabilities of multivariate systems, code-based schemes, and ring-based primitives. He develops novel Gröbner basis techniques to break cryptographic assumptions underlying quantum-resistant candidates, with direct implications for NIST standardization processes. Analysis of his 2020-2024 publications reveals consistent innovation in algebraic attack methodologies, particularly against arithmetization-oriented primitives for zero-knowledge proofs and MPC-friendly ciphers. His work demonstrates exceptional depth in exploiting mathematical structures of symmetric primitives while advancing post-quantum security evaluations of multivariate and code-based systems. His publication record in top venues including CRYPTO, EUROCRYPT, and the Journal of Cryptology reflects significant contributions to cryptographic science, though specific awards or grant details are not documented in available sources.

• Cryptography
• Security analysis of cryptographic algorithms
• Fully Homomorphic Encryption
• +۱ مورد دیگر

Håvard Raddum serves as Chief Research Scientist in the Department of Cryptography at Simula UiB, a joint research entity of Simula Research Laboratory and the University of Bergen. His primary focus involves advancing cryptographic security through algorithm analysis, Fully Homomorphic Encryption applications, and hardware-level attack mitigation. Raddum's research spans cryptography with specialization in security analysis of cryptographic algorithms, practical deployment of Fully Homomorphic Encryption, and physical attacks on hardware implementations. His work addresses vulnerabilities in symmetric ciphers, multivariate schemes, and lattice-based systems through algebraic cryptanalysis, side-channel techniques, and theoretical security proofs. Analysis of his 2019-2025 publications reveals concentrated expertise in cryptanalysis across diverse primitives. Key trends include algebraic attacks on arithmetization-oriented cryptography, side-channel analysis of lightweight ciphers, error detection in lattice computations, and security evaluations of Fully Homomorphic Encryption. His research consistently bridges theoretical frameworks with practical implementation vulnerabilities.

Manuel Lopezمشاهده پروفایل

دانشیار

• Mathematics
• Algebra
• Linear Algebra
• +۳ مورد دیگر

Manuel Lopez is an Associate Professor at the School of Mathematics and Statistics, College of Science, Rochester Institute of Technology (RIT). He is actively involved in teaching foundational and advanced mathematics courses with applications in computing, physics, and cryptography. Education: AB in Mathematics, Princeton University PhD in Mathematics, Wesleyan University Research Interests: Algebraic structures and their applications in computer science Mathematical foundations of cryptography and coding theory Interdisciplinary connections between mathematics, physics, and chemistry Contact: Office hours available Tuesday/Thursday 11:00 AM - 12:00 PM & 2:00 PM - 3:00 PM at GOS-2212; phone: 585-475-4382

• Discrete Mathematics
• Theoretical Computer Science
• Cryptology
• +۳ مورد دیگر

Prof. Dr. Klaus Dohmen is a Professor of Mathematics at Mittweida University of Applied Sciences, Faculty of Applied Computer and Biosciences. His academic career includes significant leadership roles such as Dean of Faculty (2006-2009) and Dean of Studies (2015-2021). He maintains active participation in university governance through the Departmental Council for Mathematics since 2018. His research specializes in foundational and applied mathematical disciplines with focus areas including: Discrete Mathematics and Theoretical Computer Science Cryptology and Cryptanalysis (both theoretical foundations and practical applications) Algebraic structures and Number Theory Mathematical Logic and computational theory Professor Dohmen contributes to academic quality assurance as a seasoned accreditation reviewer and program coordinator. He teaches advanced courses in cryptography and discrete mathematics through both traditional and distance learning formats. Contact: dohmen@hs-mittweida.de (Room 6-127).

Elahe Mehrabanمشاهده پروفایل

مدرس

• Number Theory
• Group Theory
• Cryptography
• +۱ مورد دیگر

Dr. Elahe Mehraban is a Lecturer and Researcher at Near East University's Department of Mathematics, where she has been employed since September 2023. She maintains additional academic ties as a Graduate Student Advisor at the University of Guilan in Iran. Education background: BS in Applied Mathematics, Payam Noor University, Iran (2006) MS in Mathematics (Group Theory), University of Guilan, Iran (2011) PhD in Mathematics (Algebra), University of Guilan, Iran (2021) Her mathematical research spans both theoretical and applied domains, with concentrated expertise in: Algebraic Structures : Group Theory and related abstract algebra foundations Mathematical Applications : Cryptographic systems and error-correcting codes through Coding Theory Advanced Number Theory : Investigating properties of integers and their extensions While specific publication details aren't provided, her collaborative works demonstrate consistent scholarly output in ISI-indexed mathematics journals, particularly exploring connections between abstract algebra and computational applications.

• Computer Algebra
• Mathematical Cryptography
• Probabilistic Algorithms
• +۱ مورد دیگر

Dr. Claude Gravel is an Assistant Professor in the Department of Computer Science at Toronto Metropolitan University. His academic work bridges theoretical computer science and advanced mathematics, with active teaching responsibilities in both foundational and specialized computer science courses. Research Focus: Dr. Gravel's research spans four interconnected domains: Computer Algebra: Developing symbolic computation methods Mathematical Cryptography: Creating theoretical security frameworks Probabilistic Algorithms: Designing randomized computational solutions Quantum Algorithms: Exploring quantum computing approaches Instructional Activities: He teaches undergraduate and graduate courses including: CPS 420: Discrete Structures CPS 688: Advanced Algorithms Contact: Professional inquiries can be directed to gravel@torontomu.ca . Additional information may be available through his academic webpage .

• Cryptography
• Cloud Security
• Secure Outsourcing
• +۳ مورد دیگر

Dr. Matluba Khodjaeva is an Associate Professor in the Department of Mathematics and Computer Science at John Jay College of Criminal Justice, City University of New York (CUNY). She is also a Graduate Faculty member in the Digital Forensics and Cyber Security program at John Jay and a Doctoral Faculty member in Computer Science at the CUNY Graduate Center. Her academic career is dedicated to advancing research in cryptography and training the next generation of cybersecurity professionals. Her educational background includes: Ph.D. in Computer Science / Cryptography from The Graduate Center, CUNY (2017) M.Phil. in Computer Science from The Graduate Center, CUNY (2017) M.S. in Computer Science from City College of New York, CUNY (2017) M.A. in Mathematics from Hunter College, CUNY (2011) B.A. in Mathematics from Hunter College, CUNY (2011) Dr. Khodjaeva's research focuses on cryptography, particularly secure outsourcing of computations to the cloud and the design of efficient cryptographic protocols for resource-constrained devices like RFID tags and embedded systems. Her work bridges theoretical security with practical applications, ensuring sensitive data protection in environments with limited computational power. She has made significant contributions to delegated computation, enabling secure and efficient offloading of cryptographic operations to cloud servers. Her recent publications (2018-2024) demonstrate a consistent focus on delegated computation, with an emphasis on pairing-based cryptography, RSA operations, and lattice-based schemes for post-quantum security. The research trends show increasing attention to practical implementations for IoT and cloud environments, with a strong emphasis on efficiency and security against malicious servers. Dr. Khodjaeva has received notable recognition for her scholarly work: Best Paper Award in Journal of Mobile Multimedia (2020) Second-Best Paper Award at the 4th Workshop on CPS&IoT Security and Privacy (2022) As an active researcher, Dr. Khodjaeva has secured multiple competitive grants to support her work. She has been the Principal Investigator (PI) for eight consecutive PSC-CUNY research grants from 2019 to 2026, totaling over $48,000, and served as Co-PI on a $299,993 NSF SaTC grant. Her grant portfolio reflects a sustained research program in secure delegated computation. In addition to her research, she is deeply committed to student mentorship through undergraduate and graduate courses, independent studies, and research projects in cryptography and cybersecurity. Although Dr. Khodjaeva does not lead a named research laboratory, she collaborates extensively with researchers including G. Di Crescenzo, D. Kahrobaei, and V. Shpilrain. Her research group consists of students and collaborators working on cutting-edge problems in cryptography, with opportunities for students to engage in funded projects and co-author publications.

Işıl Dilligمشاهده پروفایل

دانشیار

• Program analysis
• Program synthesis
• Program verification
• +۴ مورد دیگر

Işıl Dillig is an Associate Professor of Computer Science at the University of Texas at Austin, where she leads the UToPiA research group. Her academic career spans over a decade of significant contributions to programming languages research, particularly in program analysis, verification, and synthesis. Dr. Dillig received all her academic degrees (BS, MS, and PhD) from Stanford University before joining the faculty at UT Austin. Her educational background established the foundation for her innovative research approach that bridges theoretical computer science with practical applications. Her research focuses on developing techniques to make software systems more reliable, secure, and easier to build through advanced program analysis, verification, and synthesis methods. She has pioneered approaches that combine symbolic reasoning with machine learning to tackle complex software engineering challenges across multiple domains including security, databases, and programming language theory. Her work demonstrates exceptional depth in creating practical tools that address real-world software development problems while maintaining strong theoretical foundations. Analysis of Dr. Dillig's publication record reveals a consistent trajectory of innovation in program synthesis, with recent work expanding into neurosymbolic approaches that bridge neural networks with formal methods. Her research shows strong connections between theoretical foundations and practical applications, particularly in security-critical systems, database technologies, and blockchain applications. The evolution of her work demonstrates increasing sophistication in handling complex program structures while maintaining practical usability. Dr. Dillig has received prestigious recognition for her research contributions: Sloan Fellowship NSF CAREER award As a dedicated educator and research leader, Dr. Dillig has served in significant roles including Program Chair for PLDI 2022 and Steering Committee member for PLDI. She has mentored numerous students through her UToPiA research group, guiding research in program synthesis, verification, and analysis. Her work has been supported by substantial research grants that have enabled innovative projects at the intersection of programming languages and security. Dr. Dillig leads the UToPiA (UT Austin Programming, Languages, and Analysis) research group, which focuses on developing novel techniques for program analysis, verification, and synthesis. The group maintains strong collaborations with industry partners and academic institutions worldwide, translating theoretical advances into practical tools that address real software engineering challenges.

Maya Miteva Stoyanovaمشاهده پروفایل

استاد

• Coding Theory
• Spherical Codes and Designs
• Orthogonal Arrays
• +۴ مورد دیگر

Professor Maya Miteva Stoyanova is a distinguished academic at Sofia University "St. Kliment Ohridski", serving as Dean of the Faculty of Mathematics and Informatics (FMI) and Professor in the Department of Algebra. She earned her M.Sc. in 1992 and Ph.D. in 2009 from the same institution, with a career progression from Assistant Professor (1999) to her current position as Professor (since 2021). Her research focuses on Coding Theory, particularly spherical codes and designs, orthogonal arrays, and energy minimization of combinatorial configurations in polynomial metric spaces. She also contributes significantly to Algebra, Combinatorics, and Number Theory. Her work bridges theoretical mathematics with practical applications in information theory and discrete geometry. Professor Stoyanova's recent publications (2018-2023) demonstrate a consistent research trajectory in spherical codes, orthogonal arrays, and energy bounds, primarily through collaborations with prominent mathematicians like Peter Boyvalenkov, Peter Dragnev, Douglas Hardin, and Edward Saff. Her work appears in high-impact journals such as Journal of Mathematical Analysis and Applications, IEEE Transactions on Information Theory, and Designs, Codes and Cryptography. She has successfully supervised doctoral students including Tanya Todorova Marinova and Tedis Arben Ramaj, whose research continued her work on orthogonal arrays and combinatorial configurations. Her academic leadership is evident through her role as Head of the Department of Algebra (2016-2020) and her current position as Dean of FMI. Professor Stoyanova maintains an active research profile with numerous publications in top-tier mathematics journals, reflecting her significant contributions to discrete mathematics and coding theory. Her work on distance distributions, energy bounds, and spherical designs represents cutting-edge research in combinatorial geometry.

• Quantum Physics
• Mathematical Physics
• Quantum Information Theory
• +۲ مورد دیگر

Kyrylo Simonov is an active researcher at the Faculty of Mathematics, Institute of Mathematics, focusing on quantum foundations and mathematical physics. His current work centers on quantum causality and thermodynamics, with ongoing leadership of the "Quantum Causality: Mathematical and Practical Aspects" project (2024-2027). His research spans quantum information theory, particle physics, and mathematical foundations, with particular expertise in indefinite causal orders, quantum thermodynamics, and tests of quantum-classical boundaries. Recent work demonstrates significant contributions to quantum resource theory and foundational tests using meson and neutrino oscillations. Publication trends since 2016 show evolution from particle physics (meson oscillations, 2016-2019) toward advanced quantum information theory (quantum causality, thermodynamics, 2022-2025). His 26 publications include theoretical frameworks for quantum processes with indefinite time direction and practical applications in quantum communication. International collaborations are evident through co-authorship with researchers across multiple countries, though specific lab affiliations aren't detailed in available materials.

Vincent Itierمشاهده پروفایل

مدرس

• Multimedia Security
• Digital Forensics
• Machine Learning
• +۴ مورد دیگر

Vincent Itier serves as a Lecturer at IMT Nord Europe, where he is affiliated with the CRIStAL research laboratory (UMR CNRS 9189). His office is located in Building ESPRIT, Scientific City, at the Villeneuve d'Ascq campus. He is a member of the SIGMA research team and actively contributes to the academic community through teaching, research supervision, and scholarly publications. Dr. Itier's research interests span across multimedia security, digital forensics, and machine learning, with particular emphasis on detecting and understanding image manipulations. His work addresses critical challenges in digital media authenticity, including deepfake detection, photomontage identification, and steganalysis. He investigates how machine learning techniques can be leveraged to improve robustness against increasingly sophisticated image manipulation methods, with applications in combating 'fake news' and verifying digital content authenticity. His publication record demonstrates a consistent focus on digital image forensics, with recent work exploring deep learning approaches for detecting splicing, analyzing noise residuals in deepfakes, and developing robust steganalysis techniques. His research shows a clear evolution from traditional image processing methods toward more sophisticated deep learning frameworks that can handle the complex challenges of modern digital media manipulation. Supervised Minh Thong Doi's thesis on 'Deepfake detection: combining noise and semantic features and improving generalization to new generators' Currently offering M2 Internships and Post-doc positions for 2025-2026 Leading research within the ANR TSIA CI2(IA) project which aims to develop new tools for detecting and understanding image manipulation Dr. Itier maintains an active research presence through his GitHub profile (vitier) and professional website, and can be contacted via email at vincent.itier@imt-nord-europe.fr for potential collaborations or research opportunities.

Elsayed Ahmedمشاهده پروفایل

استاد آموزشی

• Geometric Group Theory
• Number Theory

Elsayed Ahmed serves as an Associate Teaching Professor in the Mathematics Department at The University of Tampa. His educational qualifications include: Pre-Ph.D., The International Center for Theoretical Physics, 2014 M.A., The University of South Florida, 2016 Ph.D., The University of South Florida, 2018 Dr. Ahmed's research centers on geometric group theory and number theory—fundamental branches of pure mathematics investigating algebraic structures through geometric perspectives and integer properties respectively. His work contributes to theoretical frameworks with implications for cryptography and topological studies. He teaches core undergraduate mathematics courses including Calculus for Business, College Algebra, Finite Mathematics, Precalculus, and Modern Abstract Algebra, emphasizing foundational concepts for diverse academic disciplines.

• Algebra
• Number Theory
• Pure Mathematics

David Austin Pierce serves as a Professor in the Department of Algebra and Number Theory within the Faculty of Arts and Sciences at Mimar Sinan Fine Arts University, where he contributes to advanced mathematical research and education. Education Background: Licence, Saint John's College (1983-1987) Doctorate in Mathematics, University of Maryland (1989-1997) Research Focus: Professor Pierce specializes in Algebra and Number Theory, exploring abstract algebraic structures, integer properties, and foundational mathematical systems. His work emphasizes theoretical frameworks with implications for cryptography and computational mathematics, advancing core principles in pure mathematics through rigorous analytical methods.

Sjouke Mauwمشاهده پروفایل

استاد

• Information Security
• Formal Methods
• Privacy
• +۸ مورد دیگر

Sjouke Mauw is a full professor in "Security and Trust of Software Systems" at the University of Luxembourg , leading the Department of Computer Science and the SaToSS research group. His work bridges formal methods with real-world security and trust challenges. Current affiliation: University of Luxembourg (Faculty of Science, Technology and Communication) Previous roles: Associate Professor at Eindhoven University of Technology, Senior Researcher at CWI Research Focus Security protocols and their formal verification Attack trees and defense trees for structured threat analysis Privacy in voting systems and digital exchange Trust management frameworks and risk assessment RFID and e-voting security Cyber-physical socio-technical systems Recent Article Trends (2023-2025) include applications of deep learning to privacy risks, formal verification of distance-bounding protocols, and anomaly detection in resource-constrained environments like cubesats. These works span machine learning, cryptography, and aerospace engineering. Academic Contributions include over 50 refereed publications, supervision of 15+ PhD students, and leadership in European research projects (e.g., Meteor, Concur). He has developed formal methods for security protocols, attack-defense trees, and GNSS signal integrity frameworks.

Annegret Wengمشاهده پروفایل

استاد

• Financial Mathematics
• Insurance Mathematics
• Number Theory
• +۴ مورد دیگر

Annegret Weng serves as Professor and Dean of the School of Applied Mathematics and AI at Stuttgart University of Applied Sciences since 2009, with board membership in the German Society for Financial and Insurance Mathematics (DGVFM) since 2023. Her career bridges industry expertise from Allianz and SV Sparkassenversicherung with academic leadership in quantitative disciplines. Diploma in Mathematics, University of Frankfurt PhD, University of Essen (1999) Postdoctoral Research, Universities of Essen and Mainz (1999-2001) Her research integrates pure mathematics with financial applications, focusing on number theory (De Bruijn sequences, cyclic matrices) and actuarial science (Solvency II compliance, disability risk modeling). Recent work explores AI's role in educational assessment and regulatory frameworks for insurance algorithms, demonstrating consistent innovation across theoretical and applied domains. Publication trends (2015-2024) reveal dual expertise: advancing actuarial methodologies through parameter uncertainty modeling while pioneering AI-driven educational tools. Her work consistently connects recreational mathematics (e.g., magical properties of linear recursions) with industry-critical applications in insurance risk assessment. As head of the Laboratory for Quantitative Methods of Actuarial Mathematics , she leads research in computational risk modeling. Her industry engagement includes the German Actuarial Association's Big Data in Life Insurance Working Group (since 2024) and DGVFM's School Working Group (since 2019), driving collaboration between academia and insurance regulators.