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

Thomas Rothvossمشاهده پروفایل

استاد

• Theoretical Computer Science
• Discrete Mathematics
• Approximation Algorithms
• +۴ مورد دیگر

Thomas Rothvoss is the Craig McKibben and Sarah Merner Professor in Mathematics at the University of Washington with a joint appointment in the Paul G. Allen School of Computer Science and Engineering and the Department of Mathematics. He leads research at the intersection of theoretical computer science and discrete mathematics. Education: Diploma at TU Dortmund (2006) PhD at EPFL (2009) PostDoc at EPFL (2010) PostDoc at MIT (2011-2013) Research Focus: His work spans approximation algorithms, discrepancy theory, high-dimensional convex geometry, lattice problems, and optimization. Recent breakthroughs include faster integer programming methods and advances in vector balancing for zonotopes. He develops techniques leveraging LP hierarchies, convex geometry, and combinatorial optimization to solve fundamental problems in scheduling, network design, and computational complexity. Publication Trends: His recent articles demonstrate strong focus on theoretical foundations of optimization, with themes in integer programming, lattice algorithms, convex geometry, and discrepancy theory. Work frequently appears at top theory venues (FOCS, STOC, SODA) and bridges mathematical theory with computational applications. Awards & Honors: Gödel Prize (2023) Fulkerson Prize (2018) FOCS/STOC/SODA Best Paper Prizes (multiple years) Packard Fellowship (2016-2021) Sloan Fellowship (2015-2017) Advising & Funding: Currently mentors PhD students Rainie Heck and Mathews Boban. Graduated advisees include Victor Reis (2023) and Sally Dong (2024). Secured substantial grants including NSF SMALL (2023-2026), NSF CAREER (2017-2022), and Packard Foundation Fellowship (2016-2021). Labs & Leadership: Member of the UW Theory of Computation Group and Optimization research group. Organized workshops at Simons Institute (2017) and Oberwolfach (2024), and serves as editor for Journal of the ACM.

Robert Coulterمشاهده پروفایل

استاد

• Finite Fields
• Cryptography
• Projective Geometry
• +۷ مورد دیگر

Robert Coulter is a Professor of Mathematical Sciences at the University of Delaware, affiliated with the College of Arts & Sciences. His expertise lies at the intersection of finite fields, cryptography, and combinatorics. He holds a B.S. from Flinders University, a BS(Hons) from the University of Queensland, and a Ph.D. in Computer Science and Electrical Engineering from the University of Queensland. His research focuses on cryptographic functions (e.g., APN/planar functions), projective geometry, and semifields, with applications in information security and combinatorial design. Notable contributions include work on differential uniformity, semifield classification, and the construction of algebraic structures like Cartesian groups. His publications span over 50 refereed articles in journals like Finite Fields and Applications , Designs, Codes and Cryptography , and IEEE Transactions on Information Theory , with recent emphasis on planar functions, APN functions, and cryptographic polynomial constructions. He has advised 13 PhD/Master’s students, many of whom now hold academic or professional roles at institutions like King’s College, Stockton University, and NSA. Education: B.S., Flinders University of South Australia BS(Hons) First Class, University of Queensland Ph.D., University of Queensland Research Focus: Finite fields and their cryptographic applications Construction of APN/planar functions Projective planes and semifield classification Combinatorial designs and difference sets Advising: Supervised 13 students, with 11 having completed their degrees (e.g., Todd Gutekunst, Emily Bergman, Li-An Chen). Grants & Activities: Active in research programs at UD’s Mathematical Sciences department, including the Graduate Student Mathematical Modeling Camp and Summer Math Modeling Program .

Nelly Fazioمشاهده پروفایل

دانشیار

• Cryptography
• Security
• Content Protection
• +۵ مورد دیگر

Nelly Fazio is an Associate Professor in the Department of Computer Science at the City University of New York (CUNY), with dual appointments at The City College of New York and The Graduate Center. She is affiliated with the CAISS Center at City College and is a core member of the Graduate Center Crypto Group (GCCG). Her research interests focus on cryptography and information security, with specific expertise in: Cryptography Security Content Protection Broadcast Encryption Traitor Tracing Anonymity Dr. Fazio's research has been consistently funded through prestigious grants including an NSF CAREER award, multiple NSF grants, U.S. Army Research Laboratory funding, U.K. Ministry of Defence support, a CUNY CIRG award, and two PSC-CUNY awards. Her publication record shows a strong trajectory from theoretical cryptographic foundations to practical security applications, with recent work focusing on secure group messaging (Amigo, 2024), broadcast encryption techniques, and hardness of learning problems in non-commutative algebra. She has advised three doctoral students to completion and mentored numerous undergraduate researchers through programs at CCNY, NYU, and international institutions. Dr. Fazio maintains an active teaching schedule with courses on Algorithms, Modern Cryptography, and Computer Security at both undergraduate and graduate levels. Her academic service includes organizing major conferences such as TCC '12 and PKC '11 as General co-Chair, organizing the Faces of Modern Cryptography conference series, serving on numerous program committees for top security venues, and organizing tutorials on content protection for ACM Multimedia. She also reviews for prestigious journals including the IACR Journal of Cryptology and ACM Transactions on Information and System Security.

Wenjie Xiongمشاهده پروفایل

استادیار

• Computer Architecture
• Hardware Security
• Side-Channel Attacks
• +۵ مورد دیگر

Wenjie Xiong is an Assistant Professor in the Bradley Department of Electrical and Computer Engineering at Virginia Tech. He leads the BEARHW (Building Efficient and Resilient Hardware) lab focused on hardware security, leveraging hardware features to enhance system security and mitigate vulnerabilities. His research spans secure architectures, side-channel attacks, cryptographic co-design, and PUF-based security solutions. Xiong holds a Ph.D. from Yale University (2020) and has received notable awards including the 2024 Dean's Award for Outstanding New Assistant Professor. He has published extensively in top venues like ASPLOS, HPCA, and IEEE Transactions on Computers. Research Interests: Hardware Security & Privacy Computer Architecture Side-Channel Attacks & Mitigations PUF-Based Authentication Federated Learning Privacy Transient Execution Defense Grants & Awards: Dean's Award 2024 (Virginia Tech) Featured Paper in IEEE TC (2021) Best Student Paper Finalist (HOST 2017) Microsoft Research Fellowship (2015) Lab: BEARHW Lab focuses on secure hardware design, PUF implementations, and efficient security co-design. Current openings for postdocs/PhD students in hardware security.

• Computer Algebra
• Symbolic Computation
• Orthogonal Polynomials
• +۶ مورد دیگر

Prof. Dr. Wolfram Koepf is a retired (emeritus) professor in the Department of Mathematics at the University of Kassel, Germany, with a focus on Computer Algebra and Symbolic Computation . His research emphasizes algorithmic approaches to mathematical problems, particularly involving orthogonal polynomials, hypergeometric functions, and power series representations. He has contributed to both theoretical advancements and practical implementations, such as improvements in Maple software for formal power series handling. Key research areas include Algorithmic Integration , Cryptography (e.g., image encryption algorithms), and Algorithmic Summation . He has authored textbooks like Computer Algebra: An Algorithm-Oriented Introduction . His work frequently bridges pure mathematics and computational tools, with publications spanning symbolic computation, dynamical systems analysis, and educational aspects of mathematics.

Benjamin Fullerمشاهده پروفایل

دانشیار

• Cryptography
• Applied Cryptography
• Information Theory
• +۴ مورد دیگر

Benjamin Fuller is an Associate Professor of Computer Science and Engineering at the University of Connecticut (UConn), serving as co-director of the Connecticut Advanced Computing Center. Prior to UConn, he worked at MIT Lincoln Laboratory (2007–2016) and completed his Ph.D. at Boston University under the BUSEC research group. His research focuses on cryptography, including searchable encryption, authentication from noisy sources, and secure group communication. He actively participates in organizing the New England Security Day conference and advises UConn’s cybersecurity club. His work bridges theoretical cryptography with practical implementations, emphasizing privacy, security, and efficient cryptographic protocols. Education: Ph.D. in Computer Science, Boston University (BUSEC Group) MIT Lincoln Laboratory (2007–2016) Research Interests: Dr. Fuller’s work spans cryptography, information theory, and applied security. Key areas include: secure searchable encryption for encrypted data, cryptographic authentication using biometrics and hardware tokens (e.g., PUFs), and improving fuzzy extractors for noisy sources like iris scans. He emphasizes practical deployments, such as secure chat systems and cryptographic protocols for dynamic groups. Recent Work Trends: His 2020–2025 publications address challenges in biometric security (e.g., iris-based authentication), election integrity via risk-limiting audits, and theoretical foundations of fuzzy extractors. He also explores adversarial machine learning applications in voting systems and privacy-preserving encryption techniques for scalable data storage. Labs/Teams: Leads the Connecticut Advanced Computing Center and co-organizes UConn’s security seminar. Collaborates widely with academic and industrial partners across cryptography and cybersecurity domains.

• Cryptography
• Computational Complexity
• Pseudorandomness
• +۵ مورد دیگر

Andrej Bogdanov is a Professor in the Department of Computer Science at the Weizmann Institute of Science's Faculty of Mathematics and Computer Science. With a prolific publication record spanning over two decades from 2002 to 2025, he has established himself as a leading researcher in theoretical computer science and cryptography. His research interests span multiple areas of theoretical computer science, with a particular focus on cryptography, computational complexity, pseudorandomness, and secret sharing. His work often bridges theoretical foundations with practical cryptographic applications, exploring the mathematical underpinnings of secure computation and cryptographic primitives. His research has evolved to address contemporary challenges in quantum computing security and machine learning evaluation. Bogdanov's publication record shows consistent contributions to top-tier conferences including FOCS, STOC, CRYPTO, TCC, and ITCS. His work demonstrates deep theoretical insights while maintaining relevance to practical cryptographic applications. Recent publications indicate expanding interests into quantum computing security and machine learning evaluation frameworks. Bogdanov has collaborated extensively with leading researchers in theoretical computer science, most notably with Alon Rosen (31 joint publications), as well as Siyao Guo, Yuval Ishai, and Chin Ho Lee. His collaborative work spans multiple institutions and reflects the interdisciplinary nature of modern theoretical computer science research. His academic contributions include foundational work on pseudorandom generators, secret sharing schemes, hardness amplification, and more recently, contributions to post-quantum cryptography and quantum security. His research has been supported by multiple grants that have enabled his team to explore the theoretical boundaries of cryptographic security.

• Computer Security
• Machine Learning
• Hardware Design
• +۶ مورد دیگر

Farinaz Koushanfar is a Professor at the University of California, San Diego (UCSD), with a former affiliation at the University of California, Berkeley. Her research focuses on advancing security, machine learning, and hardware design through interdisciplinary approaches. Key areas include adversarial defense mechanisms, cryptographic systems, federated learning, and zero-knowledge proofs. She has collaborated extensively with institutions and researchers globally, contributing to over 360 publications. Her work emphasizes practical security solutions, such as watermarking for intellectual property protection and methods to counteract adversarial attacks in neural networks. Recent trends in her publications highlight innovations in cache compression, robust watermarking for large language models, and securing wireless communication systems against modality-agnostic attacks. Collaborations with industry and academia underscore her commitment to real-world applications of theoretical advancements. Awards and grants are not explicitly listed here, but her prolific publication record and leadership in high-impact projects indicate significant recognition in her field. Advising and mentoring students and junior researchers are central to her academic contributions, though specific student names are not detailed in the provided text. Her lab’s work often intersects with emerging technologies like blockchain, edge computing, and privacy-preserving machine learning.

• Cryptography
• Privacy-Preserving Technologies
• Secure Computation
• +۳ مورد دیگر

Ágnes Kiss is a Researcher at the Department of Computer Science, Technical University of Darmstadt, Germany. She earned her PhD in 2021 with a thesis titled Efficient Private Function Evaluation . Her research focuses on cryptographic protocols, privacy-preserving technologies, and secure computation, with applications in distributed systems and real-world security challenges. Her work spans topics such as private function evaluation (PFE), universal circuit design, and privacy-preserving location proximity schemes. She has contributed to advancing secure computation efficiency and resistance against side-channel attacks. Her publications appear in top venues like Journal of Cryptology , EUROCRYPT , and USENIX Security Symposium . Key areas of interest include cryptography, algorithmic countermeasures, and the practical implementation of secure protocols. Her recent work addresses security risks in scripting languages and explores trustworthy AI inference systems, reflecting her commitment to both theoretical and applied cryptography.

Pål Ellingsenمشاهده پروفایل

دانشیار

• Remote Sensing
• Cryptography
• Space Science
• +۶ مورد دیگر

Pål Ellingsen is an Associate Professor at the Department of Computing, Mathematics, and Physics at Western Norway University of Applied Sciences. His research spans remote sensing, cryptography, space science, and machine learning, with applications in structural monitoring, marine data management, and aerospace engineering. Contact: Pal.Ellingsen@hib.no | Office E407 Research Interests include: Remote sensing techniques like DInSAR for monitoring storage facilities Cryptographic properties and Boolean function analysis Space science via CubeSats and aurora observation Machine learning applications in port automation His recent publications highlight trends in interferometric SAR for volume tracking , free space optical communication in Arctic environments , and open data practices in marine science . Ellingsen contributes to projects like the Nansen Legacy Project and the Boreal Aurora Camera Constellation (BACC) . His work bridges technical and multidisciplinary fields, emphasizing data-driven solutions and advanced signal processing.

• Reconfigurable Computing
• Hardware-Software Systems
• Cryptographic Engineering
• +۴ مورد دیگر

Dr. Marcin Lukowiak is a Professor in the Department of Computer Engineering at the Kate Gleason College of Engineering, Rochester Institute of Technology (RIT). He holds dual B.S. and M.S. degrees in Control and Systems Engineering and a Ph.D. in Electrical Engineering from Poznan University of Technology (Poland). His research focuses on reconfigurable computing, cryptographic engineering, FPGA architectures, and high-performance computing. Notable projects include FPGA-based cryptographic systems, security-oriented computing curricula, and hardware implementations of algorithms like Skein hashing and Keccak tree hashing. Dr. Lukowiak has authored numerous peer-reviewed publications, including works on secure medical device communication, customizable encryption algorithms, and high-level synthesis (HLS) optimizations. His contributions span conferences such as MILCOM, ReConFig, and IEEE symposia. He teaches courses in digital system design, reconfigurable computing, and cybersecurity, emphasizing hands-on FPGA and VHDL laboratory experiences. His work bridges hardware and software domains, with applications in defense systems, telemedicine, and cloud computing.

David Daraisمشاهده پروفایل

استادیار مدعو

• Program Analysis
• Formal Verification
• Differential Privacy
• +۳ مورد دیگر

David Darais is an Adjunct Assistant Professor at the University of Vermont's College of Engineering and Mathematical Sciences, and Principal Scientist at Galois, Inc. His research bridges programming languages, security, and formal verification. He holds a Ph.D. from the University of Maryland (2017), an M.S. from Harvard University, and a B.S. from the University of Utah. At Galois, he develops tools for high-assurance software in security-sensitive domains. His research creates programming languages and analysis frameworks for differential privacy, secure computation, and verified networking. Key innovations include the Duet language for privacy enforcement and Proof-Carrying Network Code for secure SDNs. He leads DARPA/NSF-funded projects on zero-knowledge proofs and privacy-preserving AI. He has advised 9+ graduate/undergraduate students on verification and privacy. Courses taught include Programming Languages (CS 225) and Software Verification (CS 295A).

• Formal Verification
• Parallel Programming
• Programming Languages
• +۳ مورد دیگر

Frédéric LOULERGUE is a Full Professor at the University of Orléans, affiliated with the LIFO (Laboratoire d'Informatique Fondamentale d'Orléans) laboratory and part of the LMV research team (Languages, Models, and Verification). His work focuses on formal methods for programming languages, parallel computing, and cybersecurity. He leads research in verified parallel frameworks, distributed systems reconfiguration, and TPM software stack validation. Contact him at frederic.loulergue@univ-orleans.fr or visit his homepage at https://www.univ-orleans.fr/lifo/Members/loulergu/ . Research interests include formal verification of parallel algorithms, deductive program analysis with tools like Frama-C and Coq, and the development of formally verified distributed systems. Recent work emphasizes combining deductive verification with shape analysis, runtime monitoring for security properties, and formalizing decentralized reconfiguration languages in Maude. His publications span topics from verified parallel functional programming (SyDPaCC framework) to cybersecurity in Trusted Platform Modules (TPM). He collaborates on frameworks like WhyBSML for scalable parallel computing and Concerto-D for distributed reconfiguration. No scientific awards are listed, but his contributions are highlighted through extensive peer-reviewed publications and conference activities. Labs/Teams: Member of LIFO's LMV team, contributing to the formal methods research group. Involved in cross-disciplinary projects on cloud computing security and high-performance parallel programming.

Mohamed Ali Belabbasمشاهده پروفایل

دانشیار

• Control Systems
• Optimization
• Gossip Networks
• +۳ مورد دیگر

Mohamed Ali Belabbas is an Associate Professor in the Department of Electrical and Computer Engineering at the University of Illinois at Urbana-Champaign, with additional affiliations to the Coordinated Science Lab. His research focuses on theoretical and applied aspects of control systems, optimization, and network dynamics. Dr. Belabbas's work spans control theory, stochastic optimization, and gossip networks. Key areas include: Super-linearization techniques for polynomial systems Gossip algorithms for information dissemination and synchronization Geometric methods for stability and feedback control Age-of-information optimization in networked systems Analysis of his recent publications (2023–2025) reveals a strong emphasis on theoretical foundations of distributed control, graphons, and optimization. Trends include the application of control-theoretic principles to machine learning and cryptography. No awards, grants, or student advisees are explicitly documented in the provided text. He conducts research at the Coordinated Science Lab, an interdisciplinary center focusing on complex systems and computing.

Razi Arshadمشاهده پروفایل

پژوهشگر ارشد

• Applied Cryptography
• Provable Security
• Privacy-Enhancing Technologies
• +۳ مورد دیگر

Dr. Razi Arshad is a Research Fellow in Security and Privacy at the University of Surrey, UK, affiliated with the Computer Science Research Centre and Surrey Centre for Cyber Security. Previously, he held an Assistant Professor position at the School of Electrical Engineering and Computer Sciences, National University of Sciences and Technology, Islamabad, Pakistan. He earned his PhD in Mathematical Cryptography from Otto-von-Guericke University (Germany, 2018) and MSc in Information Security from Sichuan University (China, 2007). His expertise includes applied cryptography, post-quantum security, privacy technologies, and authentication schemes. His research focuses on advancing cryptographic primitives, securing communication protocols, and exploring quantum-resistant solutions. Notable contributions include critiques of existing cryptographic schemes (e.g., identifying flaws in S-box constructions and SIP authentication protocols) and designing secure frameworks like elliptic curve-based mutual authentication systems. Recent work emphasizes AI-driven privacy solutions (e.g., emotion detection via wearable sensors) and cybersecurity challenges in fintech. Razi Arshad has published extensively in top-tier venues, addressing topics from S-box design and hyperchaotic encryption to regulatory compliance in privacy. He holds certifications as an ISO/IEC 17025 Lead Assessor and ISO/IEC 27001 ISMS Lead Auditor, reflecting his commitment to standards-based security practices. His consulting experience with tech firms like Xprime Inc. and Graxo Consulting Pvt. Ltd. underscores his industry relevance.