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

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

استاد

• Applied Cryptography
• Theoretical Cryptography
• Computer Security
• +۳ مورد دیگر

David Cash is a Professor in the Department of Computer Science at the University of Chicago. His research focuses on applied and theoretical cryptography, computer security, and theoretical computer science. He joined UChicago in 2018 and has held roles such as teaching courses in cryptography, computer security, and discrete mathematics. Cash has advised numerous PhD and master’s students, including Sam Everett, Alexander Hoover, and Jesse Stern. His work includes constructing quantum-secure cryptography systems, analyzing encrypted data navigation, and foundational theoretical results. He has received notable awards like the 2025 Quantrell Award for Teaching and multiple Best Paper awards at Eurocrypt. Cash's research also explores secure computation, oblivious RAM, and cryptographic agility. His affiliations include the Systems Group at UChicago, focusing on interdisciplinary systems research. Education details are not explicitly provided in the text. However, his career trajectory suggests advanced degrees in computer science or related fields. His teaching spans undergraduate and graduate courses, emphasizing both theoretical foundations (e.g., discrete mathematics) and applied topics like cryptocurrencies and secure systems. Cash actively engages in academic service, including organizing conferences and reviewing research. His work bridges theoretical insights with practical applications, addressing modern computational security challenges. His research contributions span cryptographic protocols, secure data structures, and privacy-preserving technologies. Notable projects include work on searchable encryption, leakage-abuse attacks, and cryptographic systems resilient to quantum computing. Cash collaborates with institutions like Rutgers University and has mentored postdoctoral researchers such as Alexander Hoover. His grants include NSF CAREER awards and Simons Institute fellowships, supporting research in secure outsourcing and cryptographic data protection.

Martin Kleppmannمشاهده پروفایل

دانشیار

• Distributed Systems
• Collaborative Software
• Cryptography
• +۴ مورد دیگر

Dr. Martin Kleppmann is an Associate Professor at the University of Cambridge, specializing in local-first software and security protocols . He leads research in distributed systems, focusing on decentralized architectures, collaborative editing tools, and cryptographic methods. As a key contributor to the Automerge open-source project, he bridges academic innovation with real-world applications. Formerly a research fellow at TU Munich (2022–2023) and Cambridge (2015–2022), he has also worked as a software engineer and startup founder, including LinkedIn (acquired 2012). Research Interests span Distributed Systems Security , Conflict-Free Replicated Data Types (CRDTs) , Collaborative Software , and Cryptography . His work addresses challenges in decentralized social networks, privacy-preserving protocols, and efficient data synchronization. Recent projects include Kintsugi (end-to-end encrypted key recovery) and Pudding (private user discovery for anonymity networks). Publications emphasize Collaborative text editing (2025: Eg-walker, 2023: The Art of the Fugue) CRDTs for JSON and trees (2021, 2017) Privacy in decentralized systems (2024: Pudding, 2025: Emission Impossible) Scientific Awards include Gilles Muller Best Artifact Award (EuroSys 2025) Distinguished Paper & Artifact Awards (OOPSLA 2017) Best Presentation Awards (Security Protocols Workshop 2018, PaPoC 2025)

Riad S. Wahbyمشاهده پروفایل

استادیار

• Cryptography
• Blockchain Security
• Secure Hardware Systems
• +۱۱ مورد دیگر

Riad S. Wahby is an Assistant Professor in the Department of Electrical and Computer Engineering at Carnegie Mellon University's College of Engineering. His work focuses on designing secure hardware and software systems, with recent emphasis on cryptographic proof systems. He actively mentors PhD students and collaborates across disciplines in cybersecurity, blockchain, and formal verification. PhD in Computer Science, Stanford University MEng in Electrical Engineering, Massachusetts Institute of Technology SB in Electrical Engineering, Massachusetts Institute of Technology Wahby's research spans cryptography , blockchain security , zero-knowledge proofs , and secure hardware-software co-design . His work addresses challenges in verifiable computation, privacy-preserving protocols, and hardware subversion resistance. Recent publications reveal trends in zero-knowledge proof systems (SNARKs, MPC), blockchain security (anonymous blocklisting, decentralized auctions), and hardware-crypto integration (weird machines, verifiable ASICs). Technical focus areas include formal verification, side-channel analysis, and cryptographic compilers. Distinguished Student Paper Award, IEEE Symposium on Security and Privacy (Oakland16), 2016 Best Paper Award, USENIX Annual Technical Conference (ATC18), 2018 Wahby collaborates with researchers across institutions and industries, including Dan Boneh at Stanford, Mike Walfish at NYU, and Silicon Labs in industrial roles. His CyLab affiliations connect him to over $400K in seed funding opportunities and blockchain initiatives at CMU.

Alexandru G. Bardasمشاهده پروفایل

دانشیار

• Cybersecurity
• Systems Security
• Moving Target Defenses
• +۹ مورد دیگر

Alexandru G. Bardas is an Associate Professor at the University of Kansas in the Department of Electrical Engineering & Computer Science (EECS) and the Institute for Information Sciences (I2S) . He received his PhD from Kansas State University under advisors Xinming (Simon) Ou and Scott A. DeLoach. His research focuses on cybersecurity from a systems perspective , including moving target defenses, security operations center (SOC) metrics, DevOps security, power grid cybersecurity, and defensive technologies for political activists. He explores UDP-based DDoS detection, DNS traffic analysis, and the intersection of AI with cybersecurity, emphasizing foundational knowledge over tool-specific training. Key research areas: Cybersecurity, Systems Security, Moving Target Defenses, SOC Metrics, DevOps Security Recent publications in ACSAC 2024 , USENIX Security 2024/2023 , and IEEE Security & Privacy 2022 Dr. Bardas has received significant recognition including: NSF CAREER Award (2022) for SOC automation Bellows Scholar (2021) at KU NSA SoS Honorable Mention (2023) He actively advises students across disciplines, with graduates now at Sandia National Laboratories , Blue Cross Blue Shield , and Pacific Northwest National Laboratory . Dr. Bardas participates in NSF grant reviews , serves on program committees for SOUPS and MILCOM , and leads outreach initiatives like the GenCyber Summer Camp .

• Cybersecurity
• Privacy-Preserving Computation
• Cryptography
• +۲ مورد دیگر

Dr. YANG Guomin is an Associate Professor of Computer Science at Singapore Management University's School of Computing and Information Systems, where he coordinates the BSc Cybersecurity Track. His research focuses on privacy-preserving cryptography, authentication systems, and secure IoT frameworks. Research spans cryptographic protocols for cloud security, blockchain applications, and federated learning with emphases on efficiency and practical implementation. Recent publications demonstrate innovations in threshold authentication, redactable blockchains, and privacy-aware communication protocols. Advisees include LI Huilin and WANG Jiaheng, with research projects examining hardware-enhanced encryption, biometric authentication policies, and space network security. Work consistently addresses tension between security guarantees and computational efficiency in distributed systems.

Jeremiah M. Blockiمشاهده پروفایل

دانشیار

• Cryptography
• Information Security
• Usable Privacy and Security
• +۷ مورد دیگر

Jeremiah M. Blocki is an Associate Professor in the Department of Computer Science at Purdue University. His research focuses on cryptography, usable privacy and security, and authentication protocols. He joined Purdue in Fall 2016, previously completing his PhD at Carnegie Mellon University and a postdoc at Microsoft Research New England. Education: PhD in Computer Science, Carnegie Mellon University, 2014 Bachelor of Science in Computer Science, Carnegie Mellon University, 2009 Research Interests: Dr. Blocki’s work emphasizes applying theoretical computer science to practical security challenges, including password management, memory-hard functions, and differential privacy. His recent projects include developing distribution-aware password throttling and analyzing the post-quantum security of cryptographic algorithms. Publications: His research spans cryptographic protocols, security mechanisms, and privacy-preserving algorithms. Notable contributions include advancements in memory-hard functions (e.g., CRYPTO 2016, 2019) and differential privacy techniques (e.g., ITCS 2025). Recent work explores the intersection of cryptography with quantum computing and sublinear-time algorithms. Awards: NSF CAREER Award (2021) Purdue Seed for Success Award (2019) Allen Newell Award for Excellence in Undergraduate Research (2009) Advising & Grants: Supervised multiple PhD students and postdocs. Key grants include the NSF CAREER award ($591k) and a $10.7M HACCLE project (IARPA) for secure multi-party computation. Labs/Teams: Co-leads the HACCLE project, focusing on high-assurance cryptographic languages and environments. Active in Purdue’s CERIAS security initiatives.

• Cybersecurity
• Network Protocols
• Cloud Computing
• +۷ مورد دیگر

Damir Regvart is a lecturer at Algebra University of Applied Sciences , specializing in Cybersecurity , Network Protocols , and Cloud Computing . With a background in Electrical Engineering and a Master's in Electrical Engineering from the Faculty of Electrical Engineering and Computing in Zagreb (2002), he focuses on advanced network security protocols, Zero-touch technologies, and cloud infrastructure. Research Highlights : Zero Trust Architecture, Honeypot Deception Strategies, Machine Learning in Threat Detection, Microsoft Azure Security, and Infrastructure as Code hardening. Key Projects : Pan-European and national initiatives in network automation, cloud forensics, and IoT security. Recent Publications (2024-2025) explore cutting-edge topics like AI-driven security testing, forensic capabilities in cloud environments, and the intersection of SDN and cybersecurity. His work addresses vulnerabilities in cryptographic systems and the legal implications of digital signatures. Technology Focus : Zero-touch provisioning, Microsoft Sentinel automation, and RedFish/vSphere API integration.

Carlisle Adamsمشاهده پروفایل

استاد

• Cryptography
• Network Security
• Computer Security
• +۳ مورد دیگر

Carlisle Adams is a Professor and Associate Director of Computer Science at the School of Electrical Engineering and Computer Science, University of Ottawa. He holds a Ph.D. and is a Professional Engineer (P.Eng.). His research focuses on cryptography, network security, computer security, access control, and privacy. Notable contributions include work on authentication protocols, PKI trust models, and privacy-preserving technologies. He has authored numerous articles on cryptographic systems, security frameworks, and privacy-enhancing techniques. Adams is actively involved in academic leadership, with a strong emphasis on advancing cybersecurity and privacy solutions. His research interests span foundational aspects of cryptography, applied security mechanisms, and privacy technologies. He explores challenges such as secure key management, authentication systems, and mitigating security threats like replay and impersonation attacks. Recent work includes studies on post-quantum cryptography, privacy-preserving identity-based encryption, and blockchain security. Adams has contributed to international conferences and symposiums, including the Foundations and Practice of Security (FPS) 2022. His publications highlight advancements in secure communication protocols, digital credentials, and biometric encryption systems. Though no specific grants or awards are listed, his extensive publication record reflects significant academic and applied contributions to the field of cybersecurity.

Christoph Eggerمشاهده پروفایل

استادیار

• Cryptography
• Computational Complexity
• Statistical Privacy
• +۷ مورد دیگر

Christoph Egger is an Assistant Professor at Chalmers University of Technology in the Department of Computer Science and Engineering, where he works with the Security & Privacy Lab and the Crypto Team. Prior to this position, he was a Marie-Curie Fellow at Institut de Recherche en Informatique Fondamentale (IRIF) from fall 2022 to 2024, researching connections between cryptography and complexity theory. His educational background includes: PhD: "On Abstraction and Modularization in Protocol Analysis" Master's: "An implementation of global caching for the alternation-free coalgebraic μ-calculus" Bachelor's: "Analysing and attacking the I2P Network Database" Dr. Egger's research focuses on cryptography and its connections to computational complexity, statistical privacy, and formal methods. His work spans multiple areas including cryptographic foundations (random oracles, key agreement protocols), privacy-enhancing technologies (ring signatures, information flow techniques), and practical applications in genomic data security. He develops both theoretical frameworks and practical tools like CryptoZoo for cryptographic proof visualization, bridging the gap between theoretical cryptography and real-world security challenges. His recent publications demonstrate a strong focus on cryptographic foundations and privacy technologies, with significant contributions to ring signatures, key agreement protocols, and genomic data security. His work bridges theoretical cryptography with practical applications in blockchain, anonymous communications, and healthcare data management, showing consistent productivity across multiple high-impact venues in security and privacy. Dr. Egger has served on program committees for prestigious conferences including IEEE Computer Security Foundations Symposium (CSF), Proceedings on Privacy Enhancing Technologies (PETS), and Conference on Applied Cryptography and Network Security (ACNS). He currently advises PhD students Lucia Lavagnino at Chalmers and Kirthivaasan Puniamurthy at Aalto University. Previously, he advised Master's students including Julian Brost and Kirthivaasan Puniamurthy. His Marie-Curie Fellowship was cofunded by EU H2020 Marie Sklodowska-Curie Action and FSMP Comunity Service. Dr. Egger is an active member of the Security & Privacy Lab and Crypto Team at Chalmers. He is also a founding member of the FAUST CTF team and has been a Debian Developer for over a decade, contributing to various Free Software projects including the Linux kernel and Git version control system, demonstrating his commitment to both academic research and practical software security.

Michael Eichbergمشاهده پروفایل

استاد

• Software Engineering
• Static Analysis
• Software Development Tools
• +۳ مورد دیگر

Michael Eichberg is a Professor at Technische Universität Darmstadt, Germany, where his work centers on software engineering, static analysis, programming languages, and secure software development tools. He is the principal architect of the OPAL framework for Java bytecode analysis and has an extensive publication record spanning PLDI, ICSE, ESEC/FSE, ISSTA, ASE, FSE, SOAP, and other premier venues. Research Interests: Static program analysis and its scalability to real-world code bases Software security, particularly cryptographic API misuse and Android app repackaging detection Concurrent and parallel programming models, including deterministic concurrency in Scala Software architecture conformance, drift and erosion detection, and rule reuse Development of open extensible tools and frameworks (OPAL, LectureDoc, QScope, Sextant, XIRC, IRC) Publication Trends: His recent work (2015-2022) demonstrates a strong focus on empirical evaluation of static analysis techniques, modular composition of analyses, and security-related program understanding. Key themes include unsoundness in call graph construction, purity and immutability analyses, parallelization of static analyses, and large-scale studies of cryptographic API misuse. Tools & Frameworks: OPAL – A flexible Java bytecode analysis and manipulation framework (core developer until 2019) LectureDoc 2 – Web-based lecture material authoring and presentation system QScope – Open extensible metrics framework for modern software projects Sextant – Eclipse-integrated software exploration tool XIRC/IRC – Frameworks for enforcing system-wide properties and architectural constraints

Behzad Abdolmalekiمشاهده پروفایل

استادیار

• Cryptography
• Post-Quantum Cryptography
• Zero-Knowledge Proofs
• +۷ مورد دیگر

Behzad Abdolmaleki is an Assistant Professor and member of the Security of Advanced Systems research group at the University of Sheffield . He focuses on cryptographic schemes in post-quantum and quantum settings, with applications to zero-knowledge proofs, cryptocurrencies, and concurrent systems. Previously, he held postdoctoral and senior researcher roles at the Max Planck Institute for Security and Privacy (MPI-SP) and the University of Tartu , and visited institutions like the AIT Austrian Institute of Technology and Friedrich-Alexander University of Erlangen-Nuremberg . Research Interests include constructing secure cryptographic protocols, with a focus on post-quantum foundations, zero-knowledge proofs, blockchain technologies, and universally composable security models. His work bridges theoretical cryptography with practical applications in secure systems. Scientific Awards Best Paper Award at CANS 2021 One of Three Best Papers at ASIACRYPT 2017 Grants DIDShield : A Privacy-Centric Approach to Digital Wallet Security (Innovate UK, 04/2025–07/2025, £22,757, as PI) Academic Services Program Committee member at IACR CiC (2025), ISDIA (2024), ASIACRYPT (2023), and others.

Christophe Rosenbergerمشاهده پروفایل

استاد

• Cybersecurity
• Biometrics
• Digital Forensics
• +۴ مورد دیگر

Christophe Rosenberger is a full professor of Cybersecurity at ENSICAEN School of Engineering (University of Caen Normandy) and director of the GREYC research lab. He holds a PhD in Computer Science from the University of Rennes 1 (1999) and an HDR (2006). His research focuses on biometrics (keystroke dynamics, soft biometrics), digital forensics, and cybersecurity, with 250+ publications and 28 supervised PhD students. He leads projects like the PEPR Cybersecurity COMPROMIS initiative and chairs international conference tracks. Education: PhD (1999, University of Rennes 1), Master's (1996), and Bachelor's (1994) in Computer Science and Mathematics from the University of Rennes 1. Research interests include behavioral biometrics, phishing detection, and explainable AI. He has developed tools like GREYC-Hashing for biometric template protection and GREYC-Keystroke software for keystroke analysis. Awards include the 2023 highest grade promotion to professor and Asgard laureateships for Norway collaborations. Teaching includes courses on cybersecurity, machine learning, and digital identity at ENSICAEN. He co-supervises 3 ongoing PhD projects on biometric explainability, fairness evaluation, and phishing detection. Active in committees like the CNRS Computer Science Institute and the French-Norwegian MyTIGER program. Media engagements include radio/podcast appearances on biometrics and AI, featured in articles by CNRS, Le Figaro, and others. The GREYC lab, under his leadership, hosts over 200 researchers and collaborates globally on cybersecurity and AI initiatives.

Alex Biryukovمشاهده پروفایل

استاد

• Applied Cryptography
• Cryptanalysis
• Authenticated Encryption
• +۴ مورد دیگر

Alex Biryukov is a full professor in Cryptography and Information Security at the University of Luxembourg, affiliated with the Computer Science and Communications Research Unit (CSC) and the Interdisciplinary Centre for Security, Reliability and Trust (SnT). Previously, he served as an associate professor and visiting professor at K.U.Leuven, contributing to European standards (NESSIE) and ECRYPT consortia. His expertise spans applied cryptography, cryptanalysis, lightweight cryptography for IoT, cryptocurrency security, and privacy technologies like Tor and blockchain. Biryukov has held roles as program chair for FSE'07, SAC'10, and INDOCRYPT'15, and is a program committee member for top conferences including CRYPTO and CCS. He leads the FNR CORE project ACRYPT on lightweight cryptography for IoT and contributes to the COST Action IC1403 on cryptanalysis of ubiquitous systems. His teaching focuses on symmetric cryptography, network security, and real-world applications. Biryukov earned his M.Sc. and Ph.D. from the Technion and completed postdoctoral research at the Weizmann Institute under Adi Shamir. Research interests include cryptanalysis of block ciphers (e.g., AES, SIMON, SPECK), cryptocurrency protocols, and privacy-enhancing technologies. He has pioneered attacks on AES variants and contributed to lightweight algorithms like SPARX and Argon2. Biryukov's work bridges theoretical cryptography with practical implementations, addressing security in embedded systems and blockchain.

• Cryptography
• Computer Security
• Information Security
• +۳ مورد دیگر

Dr. Pooya Farshim is an Associate Professor in the Department of Computer Science, specializing in cryptography and information security. His research focuses on cryptographic systems, including block ciphers, password hashing, and security protocols in idealized models. He has contributed to advancements in automated proofs and preprocessing techniques in cryptography. His publications highlight expertise in cryptographic protocols and security analysis, with recent work exploring automated methods for block cipher security and earlier contributions to password hashing mechanisms. No scientific awards or grants are explicitly mentioned in the provided information. Dr. Farshim's academic profile includes no listed advisees or educational background details. His work is centered on theoretical and applied aspects of cryptography, reflecting a commitment to advancing secure communication and authentication systems.

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

دانشیار

• Cryptography
• Information Security
• Program Verification
• +۳ مورد دیگر

Manuel Barbosa is an Associate Professor at the Department of Computer Science, Faculty of Science, University of Porto (DCC-FCUP), and a researcher at HASLab/INESC TEC. His research focuses on cryptography, information security, and program verification. He holds a Ph.D. in Electrical and Electronic Engineering from Newcastle University, an M.Sc. from the same institution, and a degree in Electrical and Computer Engineering from the Faculty of Engineering of the University of Porto. Past roles include visiting researcher positions at the University of Bristol, IT Porto, and École Normale Supérieure, as well as a research fellowship at the Max Planck Institute for Security and Privacy (2023–2025). His work emphasizes high-assurance cryptographic implementations, bridging theoretical and practical security. Research interests include provable security, formal verification of cryptographic proofs, and cryptographic software. Recent publications explore post-quantum cryptographic protocols such as PAKE (Password-Authenticated Key Exchange) and formal verification of signature schemes like SPHINCS+. Publications : His recent work includes advancements in lattice-based PAKE protocols, tight security proofs for post-quantum signatures, and re-examination of FIDO2 security. These contributions address challenges in secure authentication, efficient cryptographic implementations, and rigorous formal verification. Awards/Grants : No scientific awards explicitly listed, but his research has been supported through fellowships and institutional affiliations with top-tier institutions. Labs/Teams : Affiliated with HASLab (High-Assurance Software Laboratory) and INESC TEC, focusing on applied cryptography and security research. Active in DCC-FCUP’s academic and research programs.