Henry Corrigan-Gibbs is an Assistant Professor in the Department of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology (MIT), where he is a member of the Computer Science and Artificial Intelligence Laboratory (CSAIL). His research focuses on computer security, cryptography, and systems design, with a particular emphasis on privacy-preserving technologies. Corrigan-Gibbs earned his PhD in Computer Science from Stanford University, where his dissertation Protecting Privacy by Splitting Trust introduced the Prio system—a scalable solution for computing aggregate statistics while preserving user privacy. This work has been deployed in Mozilla's Firefox browser, representing the largest-ever application of probabilistically checkable proofs (PCPs). His research combines theoretical innovations with practical implementations to address real-world privacy challenges, particularly in scenarios requiring robust statistical analysis of user populations without exposing individual data. The Prio system exemplifies this approach by enabling encrypted contributions to statistics with efficient zero-knowledge verification. Scientific Awards: 2020 ACM Doctoral Dissertation Award Honorable Mention
Stanislaw Jarecki is an Associate Professor of Computer Science at the Donald Bren School of Information and Computer Sciences (ICS) at the University of California, Irvine (UCI). He joined UCI in 2003 after earning his Ph.D. in Computer Science from MIT in 2001 under Prof. Shafi Goldwasser. His research focuses on applied and distributed cryptography, with significant contributions to threshold cryptography, secure computation, and password-authenticated key exchange (PAKE) protocols such as OPAQUE, which secures 2 billion WhatsApp users. He also worked at Intertrust’s StarLab and Stanford’s applied cryptography group under Prof. Dan Boneh. Education: Ph.D., Massachusetts Institute of Technology, 2001. Research Interests: Distributed cryptography, secure multi-party computation, privacy-preserving protocols, threshold security, blockchain applications, and efficient cryptographic primitives. His work emphasizes practical solutions for real-world systems, including protocols resilient to server compromises and scalable encryption methods. Awards: 2023 IACR Fellow for contributions to distributed cryptography and efficient secure computation. Advising and Grants: Jarecki’s research has been supported by grants including NSF SaTC programs. He advises students on cryptographic protocol design and security mechanisms. His work on OPAQUE and CHIC protocols exemplifies his focus on bridging theoretical cryptography with practical implementation. Labs/Teams: Leads a research group focused on applied cryptography and security within ICS at UCI, collaborating on projects like secure computation, privacy-preserving data processing, and cryptographic protocol development.
Ping Yang is a Professor and Associate Director for Research and Graduate Programs in the School of Computing at Binghamton University (SUNY). She holds a Ph.D. in Computer Science from Stony Brook University, an ME from the Chinese Academy of Sciences, and a BS from Zhongshan University. Her research focuses on cybersecurity, AI-based security, virtual machine security, privacy policy analysis, and formal methods. She directs the Center for Information Assurance and Cybersecurity and coordinates cybersecurity programs at both undergraduate and graduate levels. Education: BS in Computer Science, Zhongshan University ME in Computer Science, Chinese Academy of Sciences MS and PhD in Computer Science, State University of New York at Stony Brook Research Interests: Dr. Yang's work spans information and systems security, security in virtualized computing, access control mechanisms, privacy policies, and formal methods for security verification. Her projects include blockchain-based provenance storage, real-time anomaly detection in workflows, and privacy-preserving virtual machine migration. She has led NSF-funded initiatives on security in cloud environments and scientific workflows. Awards: Not explicitly listed in the provided materials. Advising & Grants: Advised over 30 PhD/Master’s students and contributed to grants including NSF Scholarship for Service and GenCyber programs. Her team develops tools like RBAC-PAT for access control analysis. Labs/Teams: Leads the Center for Information Assurance and Cybersecurity and collaborates on projects involving secure data workflows and blockchain applications in scientific research.
Dr. Vishal Sharma is a Senior Lecturer in the School of Electronics, Electrical Engineering and Computer Science at Queen's University Belfast. His research focuses on Cyber-Physical Systems (CPS), 5G/6G Security, Unmanned Aerial Vehicles (UAVs), Blockchain, and Digital Twins. He has held roles at institutions like Singapore University of Technology and Design (SUTD) and Soonchunhyang University, South Korea. Notable achievements include Best Paper Awards at ICCMIT 2017, IEEE SITE 2024, and HUCAPP/VISIGRAPP 2025. He leads the Innovation-by-Design Lab and is a Fellow of the Higher Education Academy (FHEA). Research Interests: Cyber Defence, UAV Security, Secure Computing, Network Security, and Sustainable Edge Computing. He has collaborated on projects like RapidRANDefender (QRICSec) and Traceable Procurement for Net-Zero Processes. Awards include the Royal Society International Exchanges Committee appointment (2025) and QUB's Individual Performance Award (2024). Grants and Projects: Principal Investigator for projects such as Exploring Operational Capabilities of Arm Morello for UAV Security (2023) and TUDOR: Ubiquitous 3D Open Resilient Network (2023). Active in editorial roles for IEEE Communications Magazine and IET Networks. His work aligns with UN Sustainable Development Goals (SDGs) related to climate action and innovation. Publications span 150+ articles in top journals/conferences, with a focus on secure communication, edge computing, and UAV networks. Supervises PhD students in cyber defence, AI security, and distributed ledger technologies.
Krishna Gummadi is a Scientific Director and Professor at the Max Planck Institute for Software Systems (MPI-SWS) in Germany, where he leads the Networked Systems Research Group. He also holds a professorship at the University of Saarland, demonstrating his dual commitment to research and academic instruction in computer science. His educational background includes: Ph.D. in Computer Science and Engineering from the University of Washington (2005) B.Tech. in Computer Science and Engineering from the Indian Institute of Technology, Madras (2000) Gummadi's research spans networked and distributed computer systems with a current focus on social computing systems. His work addresses critical challenges in algorithmic fairness, privacy in social media, trustworthiness of online identities, and information dissemination in social networks. He approaches these problems through interdisciplinary methods combining user-centric studies, data-centric analysis, and systems-centric design to create practical solutions that enhance fairness, transparency, and user control in online platforms. His methodology integrates large-scale observational studies, computational modeling, and system implementation to tackle complex human-computer interaction challenges at societal scale. His recent publications reveal a strong emphasis on fairness in algorithmic decision making, with significant contributions to quantifying and addressing discrimination in machine learning systems. His work bridges computer science, social science, and ethics, creating frameworks for fair classification, understanding media bias, and developing privacy-preserving techniques that maintain functionality while protecting user data. The research demonstrates a progression from technical system design to addressing societal implications of computing systems. Among his notable scientific achievements: ERC Advanced Grant in 2017 for 'Foundations for Fair Social Computing' Test of Time Awards at ACM SIGCOMM and AAAI ICWSM Casper Bowden Privacy Enhancing Technologies (PET) and CNIL-INRIA Privacy Runners-Up Awards IW3C2 WWW Best Paper Honorable Mention Multiple Best Paper awards across prestigious conferences Gummadi has advised numerous PhD students and postdoctoral researchers who have gone on to prominent positions in academia and industry. His ERC Advanced Grant has supported extensive research into fair social computing, while his leadership in major conferences (including serving as General Chair for ICWSM 2016 and Program Chair for WWW 2015) has shaped research directions in the field. His teaching portfolio includes courses on Distributed Systems, Human-Centered Machine Learning, and Social Media Analysis. He leads the Networked Systems Research Group at MPI-SWS, which has developed several publicly available systems including tools for fair classification, privacy risk assessment, trust evaluation in social media, and information diet management. The group's work bridges theoretical advances with practical implementations that address real-world challenges in social computing, with numerous software releases and datasets made available to the research community.
Elette Boyle is an Associate Professor at Reichman University (IDC Herzliya) and a Senior Scientist at NTT Research . She holds a Ph.D. in Mathematics from MIT (advised by Shafi Goldwasser and Yael Tauman Kalai) and an undergraduate degree from Caltech . Education Ph.D. in Mathematics, MIT B.S. in Mathematics, Caltech Her research focuses on cryptographic solutions for secure data processing , particularly in secure multi-party computation , function/homomorphic secret sharing , and distributed point functions . Recent work explores topology-hiding communication , memory checking complexity , and sublinear-communication MPC . Key trends in her publications include: Advancements in Function Secret Sharing for branching programs and sparse vectors. Efficient Secure Multi-Party Computation protocols with preprocessing. Information-theoretic and computational Topology-Hiding Broadcast schemes. Optimized Oblivious Transfer with constant computational overhead. Scientific Awards European Research Council (ERC) Award Israeli Science Foundation (ISF) Grant United States Air Force Office of Scientific Research (AFOSR) Grant Google Research Scholar Award International Association for Cryptologic Research (IACR) Recognition As Director of the Foundations & Applications of Cryptography (FACT) Research Center , she leads collaborative work with institutions like Technion Israel , Cornell University , and NTT Research . Her students include Pierre Meyer (Ph.D.) , Matan Hamilis (Ph.D.) , and D'or Banon (MSc.) .
Amro Awad is an Associate Professor in the Department of Electrical and Computer Engineering (ECE) at North Carolina State University's College of Engineering. He previously served as an Assistant Professor at the University of Central Florida and as a Senior Member of Technical Staff at Sandia National Laboratories. Dr. Awad earned his Ph.D. and Master's in Computer Engineering from NC State and a Bachelor's from Jordan University of Science and Technology. Research Focus His research spans computer architecture and security, emphasizing secure hardware systems , memory security , and integration of emerging technologies . Key contributions include novel approaches to secure and efficient GPU memory management, FPGA resource scheduling, and DRAM simulation. Publications & Awards Dr. Awad's work appears in top-tier venues like ISCA, MICRO, ASPLOS, and HPCA. He holds six U.S. patents and received the prestigious R. Ray Bennett Faculty Fellow Award and recognition as a Goodnight Early Career Innovator . Funding & Collaborations His research group has been supported by DARPA , Sandia National Laboratories , NSF , Naval Surface Warfare Center , and Air Force Research Lab . Collaborations include AMD Research, Los Alamos National Lab, HP Labs, and Air Force Research Laboratory.
Emmett Witchel is a Professor of Computer Science at the University of Texas at Austin , with research spanning computer architecture, systems, networking, security, and privacy . His work focuses on low-level systems optimization and secure concurrent execution. Research Interests: Concurrent systems, secure execution environments, GPU integration, distributed systems. Teaching: CS 380L (Advanced Operating Systems), CS 371M (Mobile Computing). Scientific Awards: Runner-up Best Paper, ASPLOS 2013 Runner-up Award for Outstanding Research, USENIX Symposium 2012 IEEE Micro Top Pick Award 2007 ACM Honorable Mention 2004 George M. Sprowls Award, MIT EECS 2004 Recent Publications demonstrate leadership in CXL pod databases ( Tigon ), stateful serverless computing ( Boki ), SmartNIC-accelerated file systems ( LineFS ), and GPU security ( Telekine ). His work bridges hardware-software co-design and practical systems implementation.
Thomas Peyrin is a Full Professor at Nanyang Technological University (NTU) in Singapore, leading the Symmetric Key and Lightweight Cryptography Lab (SyLLab) since 2012. He co-founded TT-logic.ai, focusing on cryptographic innovations. His academic journey includes a Ph.D. in Cryptology from Orange Labs and University of Versailles (2008), a Master in Computer Science from MPRI (2005), and engineering training at CPE Lyon (2004). Education : Ph.D. (2008), MPRI Master (2005), EPFL Exchange (2003-2004), CPE Lyon (1999-2004) Career : Full Professor at NTU (2022-present), Associate Professor (2017-2022), Nanyang Assistant Professor and NRF Fellow (2012-2017), Research Fellow at NTU (2010-2012), Cryptography Expert at Ingenico (2008-2010) Thomas specializes in symmetric cryptography, cryptanalysis of hash functions and block ciphers, and machine learning applications to security. His work includes groundbreaking research on SHA-1 collisions, lightweight cryptographic primitives (e.g., GIFT, PHOTON), and automated cryptanalysis frameworks. Recent projects explore integrating AI with cryptographic verification and fault attack resistance. His publications span top conferences like CRYPTO, EUROCRYPT, and CHES, with awards including the FSE Test of Time Award (2025), FSE Best Paper (2023), and NRF Investigatorship (2022). He has advised numerous students in cryptographic research and co-founded SyLLab, a leading lab for symmetric cryptography innovation. Scientific Awards : Test of Time Award at FSE 2025 Best Paper Award at FSE 2023/ToSC NRF Investigatorship (2022) Lee Kuan Yew Postdoctoral Fellowship Best Paper Awards at FSE 2012 and ASIACRYPT 2007
Xuemin (Sherman) Shen is a University Professor in the Department of Electrical and Computer Engineering at the University of Waterloo. He is a Fellow of the Institute of Electrical and Electronics Engineers (IEEE), the Royal Society of Canada, the Canadian Academy of Engineering, and the Engineering Institute of Canada. Professor Shen serves as Editor-in-Chief of multiple prestigious journals including the IEEE Internet of Things Journal and Springer Peer-to-Peer Networking and Applications. Dr. Shen received his Doctorate in Electrical Engineering from Rutgers University in 1990, following a Master of Applied Science from the same institution in 1987. His undergraduate degree is a Bachelor of Applied Science in Electrical Engineering from Dalian Marine University, China (1982). Professor Shen's research spans wireless communications and networking, with particular expertise in resource allocation, mobility management, wireless network security, and privacy preservation. His work extends to IoT applications, connected and automated vehicles, network digital twins, and satellite-terrestrial networks. His research has been applied to vehicular networks, wireless body area networks, remote e-healthcare systems, and smart grid technologies, demonstrating both theoretical depth and practical impact across multiple domains. His recent publications reveal strong trends in AI-assisted networking, security and privacy preservation for IoT applications, and energy management in vehicular and smart grid systems. The research shows an increasing focus on integrating AI techniques with traditional networking approaches, addressing critical challenges in security, privacy, and resource management for next-generation wireless systems. R.A. Fessenden Award (2019) from IEEE Canada James Evans Avant Garde Award (2018) from the IEEE Vehicular Technology Society Joseph LoCicero Award (2015) from the IEEE Communications Society Education Award (2017) from the IEEE Communications Society West Lake Friendship Award from Zhejiang Province (2023) President's Excellence in Research from University of Waterloo (2022) Canadian Award for Telecommunications Research (2021) Professor Shen has mentored over 100 graduate students and postdoctoral fellows throughout his career, with many now holding prominent academic positions at top universities worldwide. His supervision has been recognized with multiple awards including the Award of Excellence in Graduate Supervision (2006) from the University of Waterloo. He has served in numerous leadership roles including Past President of the IEEE Communications Society and has chaired major international conferences including IEEE Globecom 2024.
Peihan Miao is an Assistant Professor in the Department of Computer Science at Brown University, where she is a member of the Theory Group. Her academic journey began with a BS from the ACM Honors Class at Shanghai Jiao Tong University, followed by a PhD from UC Berkeley in 2019 under the supervision of Sanjam Garg. BS: ACM Honors Class at Shanghai Jiao Tong University PhD: University of California, Berkeley (2019) Dr. Miao's research focuses on cryptography and security, with particular emphasis on bridging the gap between theoretical cryptography and practical applications, especially in the realm of secure multi-party computation. Her work spans both foundational theoretical aspects and applied systems, demonstrating a strong commitment to developing cryptographic techniques that can be implemented in real-world scenarios. She has made significant contributions to private set intersection protocols, secure computation frameworks, and cryptographic primitives that enable privacy-preserving data analysis across various domains including genomics and machine learning. Her publication record reveals a consistent focus on advancing secure computation techniques, with recent work exploring structure-aware private set intersection, updatable cryptographic protocols, and applications of cryptography to emerging domains like federated genomics. Her research demonstrates a progression from theoretical foundations toward practical implementations that address real-world privacy challenges. NSF CAREER Award Meta Research Award Google Research Scholar Award Amazon Research Award Dr. Miao actively mentors PhD students including Xinyi Shi, Phuoc Van Long Pham, and Jifeng Wang, as well as postdoc Gayathri Garimella. She serves on program committees for major cryptography conferences including Crypto, TCC, and Asiacrypt. Her teaching portfolio includes courses on applied cryptography, introduction to cryptography and computer security, and special topics in secure computation, demonstrating her commitment to educating the next generation of cryptographers. She also runs a crypto reading group at Brown University for students interested in cryptography research. As part of Brown's Theory Group, Dr. Miao collaborates with colleagues on advancing the theoretical foundations of computer science while maintaining a strong focus on practical applications of cryptographic techniques.
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.
Kiwan Maeng is an Assistant Professor in Computer Science and Engineering, focusing on the intersection of machine learning systems, privacy-preserving techniques, and low-latency computing architectures. His research emphasizes algorithm-system co-design for scalable and secure AI implementations. Research Trends : His recent work explores retrieval-augmented generation systems, low-latency diffusion models, privacy-preserving federated learning, and energy-harvesting intermittent computing frameworks. Publications highlight collaborations across machine learning, cryptography, and hardware-software co-design. Key Projects : He leads a 3-year NSF SaTC grant (2024-2027) addressing privacy-preserving data embedding for untrusted ML services, and contributes to serverless video analytics frameworks (SVDE) and VR streaming optimization (PIRATE). Technical Contributions : His scholarship spans 17 conference contributions and 3 journal articles since 2007, with notable work on memory encryption for edge devices, secure MPC-based inference, and sustainable AI systems. Current research focuses on balancing privacy guarantees with model utility while optimizing for environmental efficiency.
Xilin Liu is an Assistant Professor at the Edward S. Rogers Sr. Department of Electrical & Computer Engineering (University of Toronto) and the Center for Advancing Neurotechnological Innovation to Application (CRANIA) . He obtained his PhD from the University of Pennsylvania and previously worked at Qualcomm Inc. in California. Expertise in integrated circuits and systems for brain-machine interfaces , neuromodulation , and edge AI Published in top venues including Nature Electronics , IEEE JSSC , and ISSCC Recipient of multiple best paper awards and IEEE Senior Member His research spans three main themes: High-speed data converters for wireless/wireline communication IC design for neural interfacing Accelerating machine learning via hardware Recent publications focus on closed-loop neuromodulation , ultra-wideband transceivers , and flexible biomedical sensors . These works integrate analog IC design , edge AI , and real-time neural interfacing across medical rehabilitation , parkinson's monitoring , and memory research . Awards include: IEEE Solid-State Circuits Society Predoctoral Achievement Award (2016) Best Paper Award at BioCAS (2015) ECE Department Teaching Award (2022) Multiple conference best paper finalists His lab collaborates with UHN , EMBS , and global institutions while maintaining strong commitments to equity, diversity, and inclusion (EDI) in research practices.
Robin Kravets is a Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign, where she leads the Mobius research group. She earned her Ph.D. in Computer Science from the Georgia Institute of Technology in August 1999. Her office is located at 3114 Siebel Center for Comp Sci, and she can be contacted via email at rhk@illinois.edu or phone at (217) 244-6026. Courses Taught: CS 438 (ECE 438) - Communication Networks CS 498 WN3 (CS 498 WN4) - Wireless IoT Lab CS 591 PH2 (CS 591 PHD) - PhD Orientation Seminar CS 591 SCH - PhD Job Search Prep CS 591 WN - Wireless Networking Seminar ECE 439 (CS 439) - Wireless Networks ENG 572 - Professional Practicum Research Focus: Dr. Kravets specializes in wireless and mobile systems, with emphasis on IoT security, energy-efficient networking, and privacy-preserving protocols. Her work addresses challenges in dense network environments, vehicular communication, and low-power devices, often leveraging probabilistic models and adaptive protocols to enhance system resilience. Publication Trends: Her recent articles (2016-present) predominantly explore wireless IoT security (e.g., MAC randomization defenses, BLE optimization) and practical applications in environmental sensing/retail. Earlier work (2007-2015) established foundations in vehicular networks, disruption-tolerant communication, and energy-aware protocols. Leadership: She directs the Mobius Group, which develops solutions for mobile and IoT systems, including projects like IVP (Illinois Vehicular Project) and contributions to standards in pervasive computing.
