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

• Distributed Systems
• Cryptocurrencies
• Computer Security
• +۷ مورد دیگر

David Mazières is a Professor at Stanford University , affiliated with the School of Engineering and the Department of Computer Science . He serves as a software engineer at the Stellar Development Foundation . His work bridges academic research and industry applications in distributed systems and security. University: Stanford University Academic Rank: Professor Email: dm@scs.stanford.edu Research Interests: David Mazières' research focuses on distributed systems , cryptocurrencies , and computer security . Key areas include consensus protocols (e.g., Stellar ), low-latency scheduling ( Syrup , Shinjuku ), and cryptographic techniques for privacy and security ( SafetyPin , CCFI ). Key Achievements: His notable works include: TCP-ENO (RFC 8547) for secure transport protocols Stellar Consensus Protocol for decentralized finance SOSP 1999 Best Paper for 'Separating key management from file system security' Teaching Contributions: He has taught core and advanced courses at Stanford since 2005, including CS212 (Operating Systems) , CS240h (Functional Systems in Haskell) , and CS251 (Cryptocurrencies and Blockchain Technologies) . Previously taught courses at NYU (2001-2005).

Srdjan Capkunمشاهده پروفایل

استاد

• Computer Security
• Network Security
• Wireless Security
• +۴ مورد دیگر

Prof. Srdjan Capkun is a Full Professor in the Department of Computer Science at ETH Zurich and Director of the Zurich Information Security and Privacy Center (ZISC). He holds a Dipl.Ing. from the University of Split (1998) and a Ph.D. from EPFL (2004). His research focuses on system and network security, including wireless security (e.g., secure positioning), trusted computing, blockchain technologies, and privacy-preserving systems. He co-founded 3db Access (acquired by Infineon) and Sound-Proof, addressing secure distance measurement and authentication. Notable achievements include an ERC Consolidator Grant (2016), ACM Fellowship, and IEEE Fellowship. Education: Dipl.Ing., Electrical Engineering / Computer Science, University of Split, 1998 Ph.D., Communication Systems, EPFL, 2004 Research Interests: Wireless security (e.g., UWB, GNSS, cellular) Trusted execution environments (TEEs) Blockchain and cryptocurrency systems Privacy-preserving technologies Awards & Grants: ERC Consolidator Grant (2016) ACM Fellow and IEEE Fellow Leadership of ZISC Advising & Labs: Leads the System Security Group at ETH Zurich Guided postdoctoral researchers and graduate students in security and privacy Companies: 3db Access (secure distance measurement) Futurae (online authentication)

• Ethical Implications of Artificial Intelligence
• Societal Implications of Artificial Intelligence
• Policy Implications of Artificial Intelligence
• +۴ مورد دیگر

Hoda Heidari is the K&L Gates Career Development Assistant Professor in Ethics and Computational Technologies at Carnegie Mellon University (CMU), with joint appointments in the Machine Learning Department and the Institute for Software, Systems, and Society. She is affiliated with the Human-Computer Interaction Institute and the Heinz College of Information Systems and Public Policy, and co-leads the university-wide Responsible AI Initiative and K&L Gates Initiative for Ethics and Computational Technologies. Education: PhD in Computer and Information Science (University of Pennsylvania), MSc in Statistics (Wharton School) Her research focuses on the Ethical, Societal, and Policy Implications of AI , particularly fairness and accountability in high-stakes domains. Her work includes evaluating risks/benefits of general-purpose AI, human-AI decision-making systems, and AI governance frameworks. She has received multiple awards, including best paper honors at AIES, FAccT, and SAT-ML. Her research is supported by the NSF Program on Fairness in AI, PwC, CyLab, Meta, and J. P. Morgan. Recent Publications examine generative AI safety, fairness measurement, AI incident documentation, and ethical governance. Her teaching includes courses on Responsible AI, ML Ethics, and Societal Decision-Making, with a focus on preparing students to critically analyze AI's societal impact. Scientific Awards: Best Paper (AIES 2024, FAccT 2021, SAT-ML 2023), Exemplary Track Award (EC 2021) Grants: NSF, PwC, CyLab, Meta, J. P. Morgan She advises doctoral students and postdocs across CMU departments and collaborates with interdisciplinary teams. Her service includes organizing AI safety workshops and advising on NIST guidelines for AI red-teaming.

Pratyush Mishraمشاهده پروفایل

استادیار

• Cryptography
• Computer Security
• Zero-Knowledge Proofs
• +۲ مورد دیگر

Pratyush Mishra is an Assistant Professor at the University of Pennsylvania in the Department of Computer and Information Science, where he is affiliated with the Security and Privacy Laboratory. His research focuses on the intersection of cryptographic proof systems and computer security , particularly on efficient implementations of zero-knowledge proofs and secure computation protocols. Pratyush completed his PhD in Computer Science at UC Berkeley , advised by Alessandro Chiesa and Raluca Ada Popa , and holds a BSc in EECS from UC Berkeley, where he worked with David Wagner . His current research group includes PhD students Anubhav Baweja , Tushar Mopuri , Bharath Namboothiry , and Alireza Shirzad , along with Matan Shtepel , a former research assistant who moved to CMU for his PhD. His work spans advanced cryptographic techniques like zkSNARKs , accumulation schemes , and private delegation of provers , with applications in decentralized systems and secure inference. His recent publications focus on optimizing polynomial commitments , read-write streaming for SNARKs, and horizontally scalable proofs . Key awards include: ACM SIGSAC Doctoral Dissertation Award Runner-Up (2022) CSAW Applied Research Award (2016) for Hidden Voice Commands He teaches courses like CIS 5560: Cryptography and 7000-2: Theory and Practice of Succinct Zero Knowledge Proofs , covering topics such as symmetric cryptography, public-key encryption, digital signatures, zero-knowledge proofs, and secure multiparty computation. His lab contributes to the arkworks ecosystem for zero-knowledge proof libraries and co-founded the startup Aleo based on his research.

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

استادیار

• Cryptography
• Theoretical Computer Science
• Post-Quantum Cryptography
• +۳ مورد دیگر

Alex Lombardi is an Assistant Professor of Computer Science at Princeton University, specializing in cryptography and theoretical computer science. His work explores cryptographic proof systems, post-quantum security, and quantum cryptography. Princeton University (Current) Simons-Berkeley Postdoctoral Fellow (Former) MIT (Graduate Training) Visiting Scientist, Cryptography 10 Years Later Program (2025) Education: PhD in Computer Science from MIT (advised by Vinod Vaikuntanathan) Master's Thesis on Provable Instantiations of Correlation Intractability and the Fiat-Shamir Heuristic Dr. Lombardi's research spans foundational cryptography, with a focus on indistinguishability obfuscation, worst-case assumptions, and quantum cryptographic protocols. His work on SNARGs and PPAD hardness has advanced cryptographic proof systems, while his recent projects address quantum verification and post-quantum security. He encourages prospective cryptography students to apply to Princeton's PhD program. His publications highlight advancements in LWE-based cryptography, quantum protocols, and complexity-theoretic foundations. Key themes include secure computation, hash function design, and cryptographic reductions under quantum assumptions. Scientific Awards: Simons-Berkeley Postdoctoral Fellowship Dr. Lombardi serves on program committees for STOC 2025, EUROCRYPT 2025, and other conferences. He has taught courses like COS 433/533 (Cryptography) and COS 533 (Advanced Cryptography) at Princeton.

Pratyush Mishraمشاهده پروفایل

استادیار

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

Pratyush Mishra is an Assistant Professor in the Department of Computer and Information Science at the University of Pennsylvania's School of Engineering and Applied Science, where he is a member of the Security and Privacy Laboratory. His academic career bridges theoretical cryptography with practical implementations in secure computation systems. University of Pennsylvania (Current) UC Berkeley (Alma Mater) Dr. Mishra's research focuses on cryptography and computer security, particularly zkSNARKs, secure computation, and cryptographic proof systems. His work enables efficient privacy-preserving systems through innovations in zero-knowledge proofs and verifiable computation. He is a co-author and co-maintainer of the arkworks ecosystem, which provides foundational libraries for zkSNARK implementations used across industry and academia. His recent publications demonstrate significant contributions to proof accumulation, delegation-friendly zkSNARKs, and scalable zero-knowledge systems. These works appear consistently in top-tier security and cryptography venues including CRYPTO, IEEE S&P, and USENIX Security. ACM SIGSAC Doctoral Dissertation Award Runner-Up (2022) Dr. Mishra serves on prestigious program committees including IEEE S&P (2023-2026), CRYPTO (2023, 2025), and FC (2025). He currently advises five PhD students and teaches advanced cryptography courses covering both theoretical foundations and practical implementations of cryptographic systems. His research has practical impact through his role as founding scientist at Aleo, a startup based on his Zexe research project.

Ruben Verborghمشاهده پروفایل

استاد

• Decentralization
• Linked Data
• Querying
• +۷ مورد دیگر

Ruben Verborgh is a Professor of Decentralized Web Technology at the Ghent University – imec and a Visiting Fellow at the Oxford Martin School (University of Oxford). He leads the Internet Technology and Data Science Lab (IDLab) and co-founded the Solid platform with Tim Berners-Lee to re-decentralize the Web. His research focuses on Linked Data Fragments , a paradigm for Web-scale query execution, and explores decentralized data governance , user-controlled data ownership , and rule-based Web agents for policy enforcement. He has co-authored two books on Linked Data and contributed to over 250 publications. Recent articles highlight trends in decentralized data ecosystems , including ODRL policy interoperability , event notification systems , and personal data vaults . His work bridges Linked Data , hypermedia APIs , and privacy-preserving technologies . Verborgh collaborates with institutions like MIT, Oxford, and the European Commission, and advises companies through Inrupt . His labs ( IDLab , Solid Ecosystem ) focus on sustainable data-driven societies.

Alfred Chongمشاهده پروفایل

دانشیار

• Actuarial Science
• Financial Mathematics
• Quantitative Risk Management
• +۵ مورد دیگر

Dr. Alfred Chong is an Associate Professor in the Department of Actuarial Mathematics and Statistics at Heriot-Watt University (HWU). Previously, he served as an Assistant Professor at the University of Illinois at Urbana-Champaign (UIUC) and co-founded the Illinois Risk Lab. His research focuses on Actuarial Science, Financial Mathematics, and Quantitative Risk Management, addressing emerging risks like cyber, pandemic, and climate risks, leveraging machine learning, optimization, and stochastic control. He holds a PhD from The University of Hong Kong and King's College London, and is an Associate of the Society of Actuaries. Chong actively contributes to academic governance, including roles in the EPSRC Mathematical Sciences Early Career Forum and the Maxwell Institute's Data and Decisions research theme. Education: PhD in Actuarial Science, University of Hong Kong & King's College London Research Interests: Chong explores risk sharing mechanisms, forward preferences in insurance, and mitigation strategies for large-scale risks. His work integrates data analytics and machine learning to solve decision-making challenges, such as cybersecurity risk assessment, pandemic resource allocation, and climate risk modeling. Recent projects include incident-specific cyber insurance design and delegated investment strategies for retirement savings. Awards: Michael V. Colla Prize for Mathematics Related to Medicine (2022) Best of 2020 in the Annual Meeting of the Casualty Actuarial Society (2021) Advising & Grants: Chong supervises PhD students in holistic risk management, forward preferences, and reinforcement learning applications. He has secured grants supporting interdisciplinary research in risk modeling and insurance innovation. Labs & Teams: Co-founder of the Illinois Risk Lab (UIUC), now leading research at HWU's Actuarial Mathematics & Statistics department. Engaged with the International Centre for Mathematical Sciences for knowledge exchange initiatives.

Alexander Russellمشاهده پروفایل

استاد

• Cryptography
• Blockchain Protocols
• Quantum Computing
• +۴ مورد دیگر

Alexander Russell is a Professor of Computer Science and Mathematics at the University of Connecticut, serving as Director of Graduate Affairs in the School of Computing and Director of the UConn Voting Technology Research Lab. He holds a Ph.D. in Mathematics and an S.M. in Computer Science from MIT, alongside dual B.A. degrees in Mathematics and Computer Science from Cornell University. His research focuses on cryptographic protocols, blockchain security, quantum computing, algorithms, and election auditing. Key areas include consensus algorithms, complexity-theoretic cryptography, and applied cryptography in voting systems. Recent work emphasizes low-variance risk-limiting audits and adaptive security mechanisms for blockchains. Notable contributions span provably secure blockchain protocols (e.g., Ouroboros), election integrity methods, and smartphone-based depression prediction models. His articles address topics like settlement bounds in longest-chain consensus, Byzantine-resilient gossip protocols, and energy-efficient neighbor discovery in mobile networks. Russell advises on interdisciplinary projects at the Voting Technology Research Center and collaborates on grants involving quantum-resistant cryptography and healthcare analytics. His work bridges theoretical computer science with practical applications in secure systems and public infrastructure.

Tijay Chungمشاهده پروفایل

دانشیار

• Internet Security
• Internet Measurement
• Cybersecurity
• +۸ مورد دیگر

Tijay Chung is an Associate Professor at the College of Engineering , Virginia Tech , specializing in Internet Security and Internet Measurement . His work bridges theoretical and applied aspects of cybersecurity, focusing on secure communication protocols and infrastructure. Education Ph.D., Computer Science and Engineering, Seoul National University (2015) B.S., Computer Science and Engineering, Pohang University of Science and Technology (2009) Research Interests Chung's research centers on improving certificate revocation mechanisms, DNSSEC, and TLS security. He explores vulnerabilities in web encryption, develops decentralized cryptographic solutions, and analyzes internet governance protocols like BGP and RPKI. His work also extends to privacy in contact-tracing technologies and understanding content distribution dynamics in peer-to-peer systems. Recent publications highlight trends in : Enhancing TLS and DNSSEC operational security Decentralized cryptographic accumulators for revocation Longitudinal studies of PKI and certificate ecosystems Privacy guarantees in Bluetooth Low Energy (BLE) systems Advising No student names were explicitly listed in the provided materials.

Riham AlTawyمشاهده پروفایل

دانشیار

• IoT Security
• Lightweight Cryptography
• Blockchain Consensus Mechanisms
• +۳ مورد دیگر

Riham AlTawy is an Associate Professor and MTIS Program Director at the Department of Electrical and Computer Engineering, University of Victoria. She previously held positions as an NSERC Postdoctoral Fellow at the University of Waterloo and an NSERC Canada Graduate Scholar at Concordia University. Her research focuses on IoT security, blockchain consensus mechanisms, lightweight cryptographic primitives, and privacy-preserving protocols. She leads the IoTSec group, which develops application-specific cryptographic solutions for IoT authentication and privacy challenges. Education includes postdoctoral training at the Communication Security (ComSec) group (University of Waterloo) and doctoral studies at Concordia University. Her work has led to publications in top venues such as IEEE Transactions and CANS conferences. She actively seeks PhD research assistants and postdoctoral fellows in cryptographic research. Key research areas include authentication protocols for edge computing, privacy in cross-domain systems, and lightweight algorithms for constrained devices. Her group emphasizes practical solutions for real-world IoT security challenges.

• Cybersecurity
• Internet of Things (IoT)
• Post-Quantum Cryptography
• +۵ مورد دیگر

Florina Almenares Mendoza is an Associate Professor at the Telematics Engineering Department of Carlos III University of Madrid , where she also serves as the Director of the University Master's Degree in Cybersecurity. Her research focuses on addressing security challenges in emerging technologies such as IoT, post-quantum cryptography, and privacy-preserving systems. Email: florina.almenares@uc3m.es Contact: 916246234 Location: 4.0.F06 - Quevedo Towers (Leganés) Research Interests Florina's work spans cybersecurity , Internet of Things (IoT) , and post-quantum cryptography , with a focus on scalable authentication, quantum-resistant protocols, and privacy. She explores machine learning applications for security, federated identity management , and smart grid security frameworks. Recent Publications Her recent research includes papers on DNSSEC soft delegation, hybrid quantum security for TLS/IPsec, PUF-based authentication in IoT, and blockchain-enabled auditability. These studies emphasize IoT security , quantum-resistant algorithms , and privacy-enhancing technologies .

Marina Buzzoniمشاهده پروفایل

استاد

• Germanic Philology
• Historical Linguistics
• Digital Humanities
• +۳ مورد دیگر

Marina Buzzoni is a Full Professor at Ca' Foscari University of Venice, affiliated with the Department of Linguistics and Comparative Cultural Studies. She serves as President of the Council of the University Library System and Rector's Delegate. Her research focuses on Germanic philology, historical linguistics, and digital humanities, with expertise in textual criticism and cultural heritage preservation. Buzzoni leads projects such as the digital edition of the Edictum Rothari and the Marco Polo manuscripts. She contributes to editorial boards for journals like Filologie medievali e moderne and the Handbook of Stemmatology . Her teaching includes courses on Germanic philology, historical linguistics, and digital tools for textual analysis. Recent publications (2024–2025) highlight work on Longobard legal terminology, digital critical editions, and cultural heritage projects. Buzzoni collaborates with institutions like the Swiss National Science Foundation and the European Open Science Cloud (EOSC). She has secured funding for initiatives such as the ATLAS of Italian Digital Humanities (PRIN 2022) and CHANGES-CREST (EU PNRR). Grants: Over 20 projects, including PRIN-funded ALIM (2013–2019) and PNRR-backed CHANGES (2022–2025). Labs/Teams: Research Institute for Digital and Cultural Heritage, co-leading digital philology and computational linguistics initiatives.

Blake Millerمشاهده پروفایل

استادیار

• Computational Social Science
• Text Analysis
• Social Media Politics
• +۷ مورد دیگر

Blake Miller is an Assistant Professor of Computational Social Science in the Department of Methodology at the London School of Economics (LSE), affiliated with the Data Science Institute. Their research focuses on computational methods applied to political communication in authoritarian regimes, particularly China, and the intersection of social media with political violence and identity politics. They hold a PhD from the University of Michigan (2018) and conducted postdoctoral research at Dartmouth College. Key substantive areas include: China's surveillance-driven security state and information control mechanisms Political mobilization through moral outrage and outgroup targeting Technological adaptations in authoritarian governance Methodological expertise spans machine learning, text analysis, and fairness in AI applications. Their book project Platforms and Power examines how authoritarian states delegate censorship to private platforms. Teaching focuses on quantitative text analysis and machine learning in political contexts. Research outputs include influential work on: Censorship patterns during China's zero-COVID protests Moral-emotional triggers for violence support Evaluation of active learning algorithms for text labeling Blake's work has been featured in The Washington Post , China File , and the CSIS Pekingology Podcast. They maintain an active presence in interdisciplinary research communities.

Anne Broadbentمشاهده پروفایل

استاد

• Quantum Information Processing
• Cryptography
• Quantum Communications
• +۳ مورد دیگر

Anne Broadbent is a Full Professor at the University of Ottawa's Department of Mathematics and Statistics within the Faculty of Science. She holds a Tier 1 Canada Research Chair in Quantum Communications and Cryptography. Her academic journey includes an MSc and PhD from the University of Montreal. Her research focuses on quantum information processing and cryptography, with a particular emphasis on quantum communication protocols, encryption, and secure computation. She has contributed to groundbreaking work in quantum homomorphic encryption, uncloneable encryption, and quantum delegation protocols. Broadbent supervises graduate students including Daniel Lovsted, Sherry Wang, Pierre Botteron, Nagisa Hara, and Peter Yuen, often in collaboration with colleagues at institutions like Toulouse. Her research group explores discrete mathematics and analysis, alongside quantum information theory. Her recent articles highlight advancements in quantum proof systems, secure quantum communication architectures, and cryptographic primitives resistant to cloning. These contributions underscore her role in advancing theoretical and applied aspects of quantum information science.