جستجوی استاد راهنمای دانشگاهی

Hsing Kenneth Chengمشاهده پروفایل

استاد

• Economics of Information Systems
• Electronic Commerce
• Supply Chain Management
• +۳ مورد دیگر

Hsing Kenneth Cheng is the John B. Higdon Eminent Scholar Chair and Professor of Information Systems and Operations Management at the University of Florida’s Warrington College of Business, where he also serves as department chair. He previously served on the faculty at the College of William and Mary from 1992 to 1998. Education PhD – Computers and Information Systems, University of Rochester, 1992 MS – Business Administration, University of Rochester, 1988 MBA – Institute of Management Science, National Chiao-Tung University, 1983 BS – Electrical Engineering, National Chiao-Tung University, 1981 Research Interests Professor Cheng investigates the intersection of Internet technologies with software development and marketing, the economics of information systems, electronic commerce, supply-chain management, and high-profile information-systems policy debates such as network neutrality. Recent Research Directions His recent publications reveal a strong focus on digital platforms, blockchain-enabled financing mechanisms, the financial sustainability of IoT ecosystems, and the influence of AI and augmented reality on online shopping behavior. Collectively, these works advance understanding of platform governance, user behavior, and policy implications in the digital economy. Scientific Recognition & Service While no specific medals or fellowships are explicitly listed, Professor Cheng holds or has held senior-editorship roles at Decision Support Systems , Information Systems Research , Pacific Asia Journal of the Association for Information Systems , and the Journal of the Association for Information Systems , among others. He has been a recurring faculty mentor for doctoral consortia and research workshops in Asia and the U.S., and has chaired best-paper award committees for the Workshop on e-Business. Doctoral Advising & Industry Engagement Recent PhD graduates and current advisees include Qili Wang, Maxim A Terekhov, Xinyu Zang, Youhyun Lee, Jeongwoo (Jay) Lee, Mariia Petryk, Xiang Wan, and Yuan Zhang. He has collaborated with The World Bank and organized industry-oriented tracks at premier conferences such as the International Conference on Information Systems. Labs & Teams As department chair, Professor Cheng leads the Information Systems and Operations Management Department, fostering interdisciplinary research in digital platforms, supply-chain analytics, and policy studies. His mentorship and editorial roles further extend the collaborative network of doctoral students and international scholars working on emerging technology and market-design questions.

José Bacelar Almeidaمشاهده پروفایل

استادیار

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

José Bacelar Almeida is an Assistant Professor at the Department of Informatics at Universidade do Minho and a Senior Researcher at HASLab/INESC TEC since 2011. He holds a PhD in Computer Science from Universidade do Minho (2003). His research focuses on Cryptography, Information Security, and Program Verification, with an emphasis on formal methods for ensuring cryptographic software correctness and security. He has contributed to high-assurance implementations of cryptographic systems, bridging theoretical security with real-world applications. His research interests include provable security, formal verification of cryptographic proofs, and secure cryptographic software implementations. Notable work includes formally verified implementations of Kyber (a post-quantum cryptosystem) and machine-checked proofs for security protocols like ML-KEM. He also explores leakage-free probabilistic programs and secure compilation frameworks. Almeida has supervised multiple theses on topics such as cryptographic implementation verification, cloud security, and password management systems. His publications span conferences like CRYPTO and CPP, journals like the Journal of Logical and Algebraic Methods in Programming, and venues on formal methods and secure computation. He is part of the High-Assurance Software research center at INESC TEC and actively contributes to projects involving certified cryptographic software and secure multiparty computation. His work emphasizes practical, high-performance solutions with rigorous formal guarantees.

• Cryptography
• Cryptographic Verification
• Side-Channel Security
• +۴ مورد دیگر

François Dupressoir is an Associate Professor in the Cryptography Research group and School of Computer Science at the University of Bristol (UK). He received his PhD from the Open University in 2013, focusing on verifying cryptographic C programs using general-purpose tools. His doctoral research was conducted under Andy Gordon, Jan Jürjens, and Bashar Nuseibeh, supported by a Microsoft Research PhD Scholarship. He worked extensively at Microsoft Research labs in Cambridge, Aachen, Redmond, and the Open University. After his PhD, he focused on developing and applying the EasyCrypt proof assistant for cryptographic proofs, particularly those involving real-world adversary models. This research continued during his roles as lecturer and senior lecturer at the University of Surrey. His research emphasizes proving cryptographic and side-channel security properties of implementations, especially under partial compromise scenarios. He works on adversary modeling, proof methodologies, verification tools, and efficient code verification. He leads the Cryptography research group at Bristol, supporting Chloe Martindale and Dan Page's labs. He is a core developer of EasyCrypt, contributing to its cryptographic libraries and innovative applications, and a core member of the Formosa Crypto project promoting practical machine-checked cryptography. He supervises PhD and internship candidates interested in machine-checked cryptography, high-assurance cryptography, or verified software security. He emphasizes student independence, framing PhD supervision as a co-discovery process where both student and advisor learn collaboratively.

Aymeric Fromherzمشاهده پروفایل

پژوهشگر

• Formal Methods
• Programming Languages
• Computer Security
• +۹ مورد دیگر

Aymeric Fromherz is a researcher at Inria Paris, affiliated with the Prosecco Team, focusing on formal methods for secure systems. His work bridges programming languages, computer security, and computational law, with significant contributions in verified systems and cryptographic software. Research Interests: His research spans formal verification, programming languages (especially Rust), dependent types, separation logic, and the application of formal methods to legal computation via the Catala language. He develops high-assurance software with a focus on memory safety, concurrency, and correctness. Publications Trends: His recent publications (2020–2025) reflect a strong trend toward verified systems: from memory allocators (StarMalloc) and cryptographic primitives (HACL×N, EverCrypt) to legal verification (CUTECat, Catala). These works emphasize correctness, performance, and practical deployment, often in top-tier venues like POPL, ICFP, OOPSLA, and S&P. Scientific Awards: ACM SIGSAC Dissertation Award A.G. Milnes Dissertation Award Distinguished Artifact Award (ESOP 2025) Best Tool Paper Award (ESOP 2024) Spotlight Paper at ICLR 2021 Advising and Grants: He collaborates closely with researchers across institutions, mentoring students and co-developing tools and frameworks. His involvement in the Everest Project indicates long-term, large-scale funding for high-assurance software. He has contributed to grant-funded efforts in verified cryptography and formal legal systems. Labs and Teams: He is a core member of the Prosecco team at Inria, which specializes in computer security and formal methods. He was previously part of the Everest Project at Carnegie Mellon University, a multi-institution effort to build verified, industrial-grade cryptographic software.

• Cryptography
• Formal Verification
• Security
• +۷ مورد دیگر

Markulf Kohlweiss is a Senior Lecturer in the Security and Privacy research group at the School of Informatics, University of Edinburgh. He leads the Edinburgh ZK-Lab and conducts interdisciplinary research at the intersection of formal verification, cryptography, and privacy-enhancing technologies, with applications in blockchain systems and secure communication protocols. University: University of Edinburgh School: School of Informatics Department: Security and Privacy research group Academic Rank: Senior Lecturer His research focuses on the design and verification of cryptographic protocols, particularly in privacy-preserving systems, zero-knowledge proofs, and blockchain technologies. He is known for his work on the miTLS and Project Everest initiatives, which aimed to build formally verified implementations of the TLS protocol. His recent work includes foundational contributions to zk-SNARKs, anonymous credentials, and secure smart metering. The trends in his recent publications indicate a strong emphasis on formal verification of real-world protocols, privacy-preserving blockchain designs (e.g., Ouroboros Crypsinous), and the development of composable, reusable cryptographic primitives. His work bridges theoretical cryptography with practical implementation, often using the F* programming language for verification. Levchin Prize for Real-World Cryptography (for work on miTLS and Project Everest) Markulf Kohlweiss mentors several PhD students and has been supported by research grants from IOHK and Microsoft Research. He has served on the program committees of top security conferences including CRYPTO, EUROCRYPT, IEEE S&P, and CCS. He is also actively involved in open-source verified software projects such as HACL* and EverCrypt. He co-leads Project Everest, whose verified components are deployed in systems used by billions, including Windows, Linux, and Firefox. He directs the Edinburgh ZK-Lab, a research group dedicated to advancing zero-knowledge proof systems and their applications in decentralized systems and identity management. The lab collaborates with industry and academic partners on high-assurance cryptographic software.

• Cryptography
• Cryptographic Verification
• Side-Channel Security
• +۳ مورد دیگر

François Dupressoir is an Associate Professor in the Cryptography Research group and School of Computer Science at the University of Bristol (UK). He holds a PhD from the Open University (2013), focusing on 'Proving Cryptographic C Programs Secure with General-Purpose Verification Tools,' supervised by Andy Gordon, Jan Jürjens, and Bashar Nuseibeh. His research emphasizes verifying cryptographic implementations' security properties under partial compromise, leveraging tools like EasyCrypt. He previously held positions as a lecturer/senior lecturer at the University of Surrey and conducted postdoctoral research at the IMDEA Software Institute. His research interests include cryptographic protocol verification, adversary modeling, and practical adoption of machine-checked cryptography. He co-leads the Formosa Crypto project and is a core developer of the EasyCrypt proof assistant, focusing on cryptographic libraries and game transformations. He collaborates with the Bristol Programming Languages research group and oversees the Cryptography research group at Bristol, supporting researchers like Chloe Martindale and Dan Page. Supervision focuses on machine-checked cryptography and verified software security, emphasizing student independence in PhD research. No formal awards are listed in the provided text.

• Cryptography
• Post-Quantum Cryptography
• Cryptographic Engineering
• +۴ مورد دیگر

Peter Schwabe is a scientific director at the Max Planck Institute for Security and Privacy (MPI-SP) in Bochum, Germany, and a part-time professor for cryptographic engineering in the Digital Security Group at Radboud University in Nijmegen, The Netherlands. He has held these positions while leading significant research initiatives in post-quantum cryptography and high-assurance cryptographic implementations. His research interests center on post-quantum cryptography, cryptographic engineering, and high-assurance crypto software. Schwabe's work focuses on developing and verifying cryptographic implementations that are resistant to side-channel attacks while maintaining high performance. He has made significant contributions to lattice-based cryptography, hash-based signatures, and the standardization of post-quantum cryptographic algorithms. His research bridges theoretical cryptography with practical implementation concerns, particularly for resource-constrained environments. Analysis of Schwabe's recent publications reveals a strong focus on post-quantum cryptography standardization, formal verification of cryptographic implementations, and protection against side-channel attacks. His work spans theoretical advances in cryptographic primitives, practical implementations for real-world systems, and tools for verifying the security properties of cryptographic code. A significant portion of his recent work relates to the CRYSTALS-Kyber standard selected by NIST, including formal verification of its security properties and implementation correctness. Schwabe has served as an elected member of the IACR Board of Directors, member of the IACR CHES Steering Committee, and member of the IACR RWC Steering Committee. He is also a member of the advisory boards of Bitmark Inc., PQShield, Neutrality, and SciEngines, demonstrating his influence in both academic and industry cryptographic communities. As an advisor, Schwabe has supervised numerous Ph.D. students working on various aspects of cryptography, including post-quantum cryptography, side-channel resistance, and formal verification of cryptographic implementations. His work on the EPOQUE project (Engineering post-quantum cryptography), funded by an ERC Starting grant from October 2018 to December 2023, demonstrates his leadership in advancing post-quantum cryptographic research. Schwabe leads research efforts at the intersection of formal methods and practical cryptography, with a particular emphasis on creating high-assurance cryptographic implementations that can withstand both theoretical and practical attacks. His work often involves collaboration with international teams across academia and industry to advance the state of the art in cryptographic engineering.

Aymeric Fromherzمشاهده پروفایل

پژوهشگر

• Formal Methods
• Secure Systems
• Rust Verification
• +۶ مورد دیگر

Aymeric Fromherz is a researcher at Inria Paris, focusing on formal methods for secure systems. He leads projects in Rust verification, high-assurance cryptography, and formalization of computational legal texts. Education includes a PhD from Carnegie Mellon University (co-advised by Bryan Parno and Corina Păsăreanu) and degrees from École Normale Supérieure. His research spans Rust verification (via Aeneas toolchain), verified cryptographic primitives , and computational law (through the Catala language). Recent publications address memory allocators, borrow-checking, and legal ambiguity detection. Major Scientific Awards : Distinguished Artifact Award (CAV 2025) Best Tool Paper Award (ESOP 2024) ACM SIGSAC Dissertation Award (2021) A.G. Milnes Dissertation Award (2021) He contributes to conferences like POPL, ICFP, and CPP, and participates in the Everest Project. The Prosecco Team at Inria Paris supports his research on formal methods and security.