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

Dawn Songمشاهده پروفایل

استاد

• Artificial Intelligence
• Cybersecurity
• Machine Learning
• +۷ مورد دیگر

Dawn Song is a Professor in the Department of Electrical Engineering and Computer Science at the University of California, Berkeley, affiliated with multiple research centers including the Berkeley Artificial Intelligence Research Lab (BAIR) and the Berkeley Center for Responsible, Decentralized Intelligence (RDI). She holds leadership roles in AI safety, cybersecurity, and blockchain research. Her work bridges machine learning, security, and distributed systems, with notable contributions to formal verification, privacy-preserving technologies, and AI governance. Education: Ph.D. (2002) and M.S. (1999) in Computer Science from UC Berkeley and Carnegie Mellon University, respectively. She previously served as an Assistant Professor at Carnegie Mellon University before joining UC Berkeley in 2007. Research Interests: Dawn's work focuses on AI safety, cybersecurity, and the ethical implications of frontier AI. She explores topics such as large language model vulnerabilities, zero-knowledge proofs, blockchain security, and policy frameworks for AI governance. Her research combines theoretical rigor with practical applications, addressing challenges in secure systems, adversarial machine learning, and privacy-preserving computation. Publications: Her recent work includes groundbreaking studies on LLM memorization, smart contract decompilation, and AI agent cybersecurity evaluation. She also leads initiatives like the Singapore Consensus and California Report on AI safety priorities, emphasizing global collaboration in risk mitigation. Notable Awards: MacArthur Fellowship (2010), ACM Fellow (2019), IEEE Fellow (2019) Advising & Grants: She advises projects on AI policy and cybersecurity, securing grants from NSF, DARPA, and industry collaborations. Her lab develops tools like CyberGym for evaluating AI agents and zkPyTorch for secure machine learning. Labs & Teams: Her research groups at UC Berkeley focus on cutting-edge projects in AI safety, blockchain, and cybersecurity, collaborating with industry leaders and policymakers to advance both technical and ethical standards.

Abhishek Jainمشاهده پروفایل

دانشیار

• Cryptography
• Computer Security
• Privacy
• +۵ مورد دیگر

Abhishek Jain is an Associate Professor in the Department of Computer Science at Johns Hopkins University and a Senior Scientist at NTT Research. He is affiliated with the Data Science and AI Institute, the Information Security Institute, and the Algorithms and Complexity group. University: Johns Hopkins University Department: Computer Science Academic Rank: Associate Professor Institutional Roles: Co-director of the Advanced Research in Cryptography group, member of the Theory Group, and co-leader of the Cryptography Group Education: Ph.D. in Computer Science from the University of California Los Angeles (2012), advised by Amit Sahai and Rafail Ostrovsky. Recipient of the Symantec Outstanding Graduate Student Award during his Ph.D. Research Interests Cryptography Secure computation Proof systems Program obfuscation Privacy Blockchain Theoretical computer science Research Trends: His recent publications emphasize cryptographic protocols for homomorphic encryption, zero-knowledge proofs, and secure multi-party computation, alongside applications in blockchain and privacy-preserving systems. Key themes include scalability, verifiable evaluation, and adapting cryptographic techniques to dynamic and distributed environments. Scientific Awards 2020 NSF CAREER Award Best Paper Awards at Eurocrypt and the International Conference on the Theory and Applications of Cryptographic Techniques Advising & Grants: Mentors Ph.D. students and interns/postdocs at NTT Research. Research funded by NSF, DARPA, JP Morgan, Ethereum Foundation, Stellar, Cisco, Samsung, and JHU Catalyst awards. Labs & Teams: Co-leads the Cryptography Group at Johns Hopkins, participates in the DC Area Crypto Day, and organizes the weekly Theory Seminar. Collaborates with institutions including MIT CSAIL, BUSEC, and Microsoft Research New England.

Sheng Shenمشاهده پروفایل

استاد

• Nanophotonics
• Nanoscale Energy Transport and Conversion
• Advanced Manufacturing
• +۷ مورد دیگر

Sheng Shen is a Professor in the Mechanical Engineering Department at Carnegie Mellon University (CMU) , with courtesy appointments in the Departments of Electrical and Computer Engineering and Materials Science and Engineering . He earned his Ph.D. in Mechanical Engineering (Minor in Electrical Engineering) from Massachusetts Institute of Technology (MIT) , and his B.S. and M.S. from Huazhong University of Science and Technology in China. Prior to joining CMU in 2011, he conducted postdoctoral research at UC-Berkeley . Education: Ph.D., Mechanical Engineering, MIT (2010) B.S. & M.S., Power Engineering & Engineering Thermophysics, Huazhong University of Science and Technology (2000 & 2003) Research interests include nanophotonics , nanoscale energy transport and conversion , nanofabrication , and advanced manufacturing , with applications in thermal management , light sources and devices , thermal emission control , solar energy conversion , infrared sensing , and multifunctional materials . His work leverages interdisciplinary expertise in thermal and optical measurements , material synthesis , device fabrication , and theoretical modeling . Recent publications highlight advancements in infrared radiation control , thermal interface materials , metasurface engineering , and graphene-based nanosystems . His scientific awards include: NSF CAREER Award DARPA Director's Fellowship DARPA Young Faculty Award Elsevier/JQSRT Raymond Viskanta Award CMU Dean's Early Career Fellowship Philomathia Foundation Research Fellowship Hewlett-Packard Best Paper Award Best Paper Award, Julius Springer Forum Advising spans Ph.D. and postdoctoral researchers in nanoscale energy systems, with alumni contributing to solar energy conversion , infrared sensing , and flexible electronics . His lab receives funding from ARL, DARPA, DOE, DTRA, NASA, NSF, and ONR , and recently secured a DURIP award for instrumentation.

Niki Kilbertusمشاهده پروفایل

استادیار

• Machine Learning
• Causal Inference
• Ethics in AI
• +۵ مورد دیگر

Prof. Niki Kilbertus is an Assistant Professor at the Technical University of Munich (TUM) in the Department of Informatics, and Group Leader at Helmholtz AI. His research focuses on causal machine learning, ethical AI systems, and applications in healthcare, climate science, and dynamical systems. He earned his PhD from the University of Cambridge (2020) and has held positions at DeepMind, Google, and Amazon during his studies. His research interests include causal discovery, fairness in AI, counterfactual reasoning, and integrating physics-based constraints into neural networks. Key contributions include foundational work on fair machine learning (e.g., avoiding discrimination through causal models) and developing methods for causal inference in complex systems like healthcare and climate modeling. Recent work emphasizes generative models for causal interventions, robust treatment effect estimation, and physically consistent neural differential equations. He leads a large interdisciplinary group with over 20 students and postdocs working on projects funded by Helmholtz Association, ERC, and industry collaborations. Notable awards include the Leopoldina Prize for Young Scientists (2024) and membership in the Junge Akademie. His lab maintains active partnerships with ELLIS, MCML, and the Zuse Institute Berlin.

Shweta Shindeمشاهده پروفایل

استادیار

• Trusted Computing
• System Security
• Hardware Security
• +۴ مورد دیگر

Shweta Shinde is an Assistant Professor in the Department of Computer Science at ETH Zurich where she leads the Secure & Trustworthy Systems (SECTRS) research group. She is also a member of the Institute of Information Security and the ZISC Center at ETH Zurich. Her work bridges theoretical foundations with practical implementations in hardware and system security. Dr. Shinde's research focuses on the intersection of trusted computing, system security, and program analysis. Her group investigates both foundational aspects of security to protect phones, servers, and accelerators, as well as practical aspects of realizing these solutions through large-scale system building. Her work spans hardware security primitives, trusted execution environments, confidential computing, and secure system design across multiple platforms including mobile devices, cloud infrastructure, and blockchain systems. Her publication record demonstrates significant impact in the field, with numerous papers in top security venues including IEEE S&P, USENIX Security, CCS, and NDSS. Her research has uncovered critical vulnerabilities in major hardware security technologies like Intel SGX and AMD SEV-SNP while also proposing novel frameworks for building more secure systems. The work spans multiple domains including hardware security, cloud security, mobile security, and blockchain security, with a consistent thread of identifying and addressing fundamental security challenges in trusted computing. Among her notable achievements are multiple best paper awards including at SysTEX 2025 and nominations at DATE 2025, a Distinguished Paper Award at IEEE S&P 2024, and recognition as a Most Innovative Research Pwnie Award Nominee in 2024. Her work on WeSee received particular attention for breaking AMD SEV-SNP through novel interrupt-based attacks. Dr. Shinde actively mentors PhD students including Mark Kuhne, Supraja Sridhara, Mélisande Zonta-Roudes, Benedict Schlüter, Andrin Bertschi, and others. She teaches courses on Systems Security, Information Security Lab, Seminar on Systems Security, and Current Topics in Information Security at ETH Zurich. Her service to the community includes extensive program committee work for major security conferences including Oakland (S&P), NDSS, USENIX Security, and CCS, where she has served as track co-chair and program co-chair for several workshops.

• 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).

Shreyas Senمشاهده پروفایل

دانشیار

• VLSI and Circuit Design
• Human Body Communication (HBC)
• Hardware Security
• +۵ مورد دیگر

Shreyas Sen is the Elmore Associate Professor of Electrical and Computer Engineering at Purdue University, jointly affiliated with the School of Biomedical Engineering. He directs the Center for Internet of Bodies (C-IoB) and leads the SPARC Lab, focusing on circuits/systems for secure, energy-efficient body-centric communication and biomedical applications. Education: B.E. (Jadavpur University, 2006), M.S. & Ph.D. (Georgia Tech, 2009-2011). His research spans Human Body Communication (HBC), hardware security, IoT/IoB systems, and low-power sensing. Notable innovations include Electro-Quasistatic HBC (EQS-HBC) technology, which enables covert body-wire communication with 100x lower energy than conventional methods. Research Themes: Secure communication for medical wearables Physical layer security in IoT Ultra-low-power biosensors Side-channel attack mitigation in cryptographic ICs Publications: Over 200 papers in top venues (ISSCC, DAC, CICC, HOST) with focus on HBC systems, electromagnetic security, and biomedical circuits. Recent work explores EQS-HBC privacy properties (Nature Scientific Reports, 2019) and 350x current-domain signature attenuation for AES security (ISSCC 2020). Awards: NSF CAREER Award (2020) AFOSR Young Investigator (2016) MIT TR35 India (2018) 9 Best Paper Awards Intel Outstanding Researcher (2020) He advises over 20 students and leads industry collaborations through Ixana Inc. (founded 2020), commercializing EQS-HBC technology. Current efforts include EQS-based authentication systems and radiation dosimetry wearables.

Fei Tengمشاهده پروفایل

دانشیار

• Power Systems
• Cybersecurity
• Renewable Energy Integration
• +۳ مورد دیگر

Dr. Fei Teng is an Associate Professor in the Department of Electrical and Electronic Engineering at Imperial College London and Director of Education at the Energy Futures Lab, a pan-university hub for interdisciplinary energy research. He holds visiting positions at MINES ParisTech, PolyU Hong Kong, and KTH Sweden. His research focuses on software-defined power networks, stability-constrained optimization, cyber-resilient decision-making, and privacy-preserving data exchange in low-inertia grids. Dr. Teng has authored over 100 publications in top-tier journals and conferences, with funding from EPSRC, Innovate UK, the Royal Society, and industry partners like Hitachi and National Grid ESO. His work addresses critical challenges in grid stability, cybersecurity, and renewable energy integration. He has received prestigious awards, including the IEEE Early Career Award and Royal Society Kan Tong Po Fellowship. Research interests include high-penetration power electronics, uncertainty modeling in power systems, and data privacy in smart grids. His interdisciplinary approach integrates machine learning, quantum computing, and cyber-physical systems to enhance grid resilience and efficiency. Key contributions include frameworks for stability-constrained optimization, cyber-resilient control, and synthetic inertia from electric vehicles. He advocates for software-defined grids to revolutionize decision-making frameworks for NetZero systems.

Henrik Sandbergمشاهده پروفایل

استاد

• Cyber-Physical Systems Security
• Power Systems
• Model Reduction
• +۶ مورد دیگر

Henrik Sandberg is a Professor at the Division of Decision and Control Systems , KTH Royal Institute of Technology , Stockholm, Sweden. He holds the title of Deputy Head of Division and is affiliated with the School of Electrical Engineering and Computer Science . Education: MSc in Engineering Physics (1999) PhD in Automatic Control (2004) from Lund University Postdoctoral position at Caltech (pre-2007) Research Interests: Focus on cyber-physical systems security , power systems , model reduction , and fundamental limitations of control systems . Key sub-areas include attack detection , networked control , privacy-preserving estimation , and resilient control architectures . Publications: Over 150 papers across IEEE Transactions and Automatica , covering topics like stealthy attacks , distributed control , LQG optimization , and thermodynamic costs in filtering . Recent work includes LWE-based encrypted control and Bayesian deception mechanisms . Scientific Awards: Best Student Paper Award Finalist at IEEE CASE 2014; Best Student-Paper Award at IEEE CDC 2004. Grants & Projects: Leads the DYNACON project (WASP Cybersec cluster) and collaborates on CERCES (critical infrastructure resilience). Serves as examiner for multiple advanced courses in cybersecurity and control systems. Contact: Email: hsan@kth.se Phone: +46 (0)8 790 7294 Room: A:607, Malvinas Väg 10, Stockholm

Nils Fleischhackerمشاهده پروفایل

استادیار

• Cryptography
• Theoretical Computer Science
• Zero-Knowledge Proofs
• +۵ مورد دیگر

Nils Fleischhacker is an Assistant Professor for Cryptography at Ruhr University Bochum, where he leads the Theoretical Cryptography group within the Faculty of Computer Science. His research focuses on foundational aspects of cryptography with particular emphasis on zero-knowledge proofs, digital signatures, and secure computation. Prior to joining Ruhr University, he held postdoctoral positions at Johns Hopkins University and Carnegie Mellon University. Dr. Fleischhacker received his PhD in Computer Science from Saarland University in February 2017, advised by Dominique Schröder. During his doctoral studies, he was a research intern at Microsoft Research with Chris Brzuska and a research visitor at the University of Maryland, College Park with Jonathan Katz and Dana Dachman-Soled. His research spans theoretical cryptography with significant contributions to zero-knowledge proofs, multi-signature schemes, property-preserving hash functions, and security proofs for cryptographic primitives. Fleischhacker's work often addresses fundamental questions about the limits and possibilities of cryptographic constructions, with particular attention to black-box separations and lower bounds. His recent publications demonstrate a strong focus on lattice-based cryptography and post-quantum secure protocols. Fleischhacker's publications over the past five years reveal a consistent research trajectory focused on improving the efficiency and security of cryptographic primitives, with particular emphasis on signature schemes, zero-knowledge protocols, and secure computation frameworks. His work frequently appears in top-tier cryptography venues including CRYPTO, EUROCRYPT, and CCS. Dr. Fleischhacker actively mentors PhD students, with numerous successful graduations spanning from 2010 to 2024. His former PhD students include Önder Askin (2024), Floyd Zweydinger (2023), and Lars Schlieper (2022), among others. His research is supported through various academic channels and collaborations. He is affiliated with several prominent research organizations including the Horst Görtz Institute (HGI) for Information Security, the DFG Excellence Cluster CASA, the EU Marie Curie Network QSI, and the International Association for Cryptologic Research (IACR). These affiliations provide a strong institutional framework for his theoretical cryptography research.

Giovanni De Micheliمشاهده پروفایل

استاد

• Integrated Circuit Design
• Hardware Synthesis
• Logic Optimization
• +۵ مورد دیگر

Giovanni De Micheli is a Full Professor at École Polytechnique Fédérale de Lausanne (EPFL), holding appointments in both the School of Computer and Communication Sciences (IC) and the School of Engineering (STI). He is affiliated with the Integrated Systems Laboratory (LSI) and serves as Scientific Director of EcoCloud. His primary office is located in INF 341 building at EPFL's Lausanne campus where he conducts research and teaching activities. Professor De Micheli's research spans multiple domains in electronic design automation and integrated circuit design. His primary interests include: Integrated Circuit Design and Hardware Synthesis Logic Optimization and Boolean Methods Nanoelectronics and 2D Electronics Quantum Computing and Emerging Technologies Low-Power Electronics and Energy-Efficient Systems Electronic Design Automation for Novel Computing Paradigms His recent publications demonstrate a strong focus on advancing logic synthesis techniques for both conventional and emerging technologies. Professor De Micheli's work bridges theoretical foundations with practical applications, particularly in adapting traditional EDA methods to novel computing paradigms like quantum computing and superconducting electronics. His research group has made significant contributions to the development of efficient algorithms for circuit optimization across multiple technology domains, with particular emphasis on area, power, and delay optimization while maintaining functional correctness. Professor De Micheli has supervised numerous doctoral students throughout his career at EPFL, mentoring over 40 PhD candidates whose research spans various aspects of electronic design automation, circuit design, and emerging technologies. His students have gone on to make significant contributions in both academia and industry. As Scientific Director of EcoCloud, Professor De Micheli leads research initiatives focused on energy-efficient computing systems and sustainable cloud infrastructure. His laboratory, the Integrated Systems Laboratory, serves as a hub for interdisciplinary research connecting computer science, electrical engineering, and materials science, with particular focus on next-generation computing technologies.

Rakesh Kumarمشاهده پروفایل

استاد

• Computer Architecture
• System-Level Design Automation
• Low Power Computing
• +۳ مورد دیگر

Rakesh Kumar is a Professor and John Bardeen Faculty Scholar in the Electrical and Computer Engineering Department at the University of Illinois at Urbana-Champaign. His work focuses on computer architecture, system-level design automation, and low-power computing. PhD in Computer Engineering from University of California, San Diego BS in Electrical Engineering from IIT Kharagpur His research spans all layers of the computing stack, with key contributions to flexible computer systems , waferscale computing , error-resilient architectures , and approximate computing . He has pioneered work on voltage-reliability tradeoffs and peak power management techniques. Recent publications highlight trends in space microdatacenters , printed microprocessors , and neural graph accelerators . His work on plastic chips was recognized as one of the three biggest semiconductor headlines of 2022 by IEEE Spectrum. IEEE Fellow (2024) ISCA Influential Paper Award MICRO Test-of-Time Award ICCAD Ten Year Retrospective Most Influential Paper Award Best Paper Awards at CASES, SELSE, HPCA He has received teaching accolades including the Stanley H. Pierce Faculty Award and Ronald W. Pratt Outstanding Teaching Award . His research group explores hardware-software co-design for emerging applications in AI, IoT, and sustainable computing.

Charalampos Papamanthouمشاهده پروفایل

دانشیار

• Computer Security
• Applied Cryptography
• Verifiable Computations
• +۵ مورد دیگر

Charalampos Papamanthou is an Associate Professor of Computer Science at Yale University, where he also serves as Co-director of the Yale Applied Cryptography Laboratory and a member of the Yale Institute for Foundations of Data Science. He holds affiliations with the Yale Center for Algorithms, Data, and Market Design. Additionally, he is Chief Scientist at Lagrange Labs. His research focuses on computer security and applied cryptography, particularly verifiable and privacy-preserving computations, leakage-abuse attacks on searchable encryption, and scalable blockchains/cryptocurrencies. He has advised numerous students and postdocs, and his work is supported by NSF, Protocol Labs, and JP Morgan. Research Interests: His primary areas include cryptographic protocols, privacy-preserving systems, blockchain infrastructure, secure cloud computing, and distributed consensus mechanisms. He has pioneered advancements in zero-knowledge proofs, private information retrieval, and dynamic searchable encryption. Awards: He has received prestigious awards such as the CCS Test-of-Time Award (2022), JP Morgan Faculty Research Award (2022), and NSF CAREER Award (2017). His contributions span over 140 publications in top venues like CRYPTO, CCS, and SODA. Teaching: He has taught advanced courses in cryptography, algorithms, and computer systems security at Yale and previously at the University of Maryland and Brown University. Recently, he chairs Yale’s PhD admissions in Computer Science. Labs & Teams: Leads the Yale Applied Cryptography Lab, focusing on real-world applications of cryptographic research. Collaborates with industry partners like Lagrange Labs to develop privacy-preserving technologies.

• Quantum-safe cryptography
• Lattice-Based Cryptography
• Post-Quantum Cryptography
• +۴ مورد دیگر

Ron Steinfeld is an Associate Professor in the Department of Software Systems & Cybersecurity at Monash University, Australia. He holds editorial roles in Designs Codes and Cryptography (since 2017) and has served on technical committees for top-tier conferences like ASIACRYPT, CRYPTO, and EUROCRYPT. His research focuses on quantum-safe cryptography, lattice-based cryptography, and blockchain security, with over 80 refereed publications and AUD$4M+ in research funding. Education: BSc Mathematics and Physics (Monash University, 1998) BE (Hons., First Class) Electrical and Computer Systems (Monash University, 2000) PhD Computer Science (Monash University, 2003) Research Interests: Design and analysis of cryptographic algorithms, quantum-safe protocols, lattice-based security foundations, and blockchain applications. His work underpins NIST standard algorithms like Kyber and Dilithium through structured lattice problem research. Recent Articles Trends: Focus on privacy-preserving blockchain protocols, post-quantum signature schemes, encrypted data search, and cryptographic applications in adversarial AI. Recent work includes fair Bitcoin watchtower schemes and genomic database privacy solutions. Awards: ASIACRYPT 2015 Best Paper Award Advising & Grants: Supervises PhD projects on quantum-safe cryptography and blockchain security. Leads initiatives like the AUD$4M ARC-funded Quantum Information Technology project. Collaborates with industry partners including CSIRO/Data61. Labs/Teams: Key contributor to Monash’s cybersecurity and cryptography research groups, involving interdisciplinary projects on materials discovery ( Æinstein initiative) and post-quantum blockchain security.

• Energy Systems Modelling
• Multi-energy Systems Integration
• Renewable Energy Integration
• +۴ مورد دیگر

Goran Strbac is a Professor of Energy Systems at Imperial College London's Faculty of Engineering, holding the Chair in Electrical Energy Systems. He leads the Department of Electrical and Electronic Engineering and directs the joint Imperial-Tsinghua Research Centre on Intelligent Power and Energy Systems. His roles include IPCC WG 3 Leading Author, OFGEM RIIO-2 Challenging Group Member, and member of multiple EU energy platforms. Strbac's research focuses on multi-energy systems integration, energy market design, renewable integration, distributed energy resources, and grid resilience. Notable contributions include whole-energy system modeling across operation and investment scales, market mechanisms for flexibility services, and security assessments for low-carbon infrastructure. His work emphasizes resilience and decarbonization, with over 500 publications and 4 co-authored books. He advises governments and regulatory bodies on energy policy, including contributions to UK Smart System Forum and European Technology and Innovation Platforms. His recent articles explore AI-driven grid optimization, hydrogen integration, and transactive energy systems. Strbac leads major initiatives like the UK Centre for Grid Scale Energy Storage and chairs resilience-focused research clusters. His research bridges academia and industry, informing policy through rigorous systems analysis and innovative modeling frameworks.