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

Mathias Payerمشاهده پروفایل

دانشیار

• Software Security
• System Security
• Binary Exploitation
• +۳ مورد دیگر

Mathias Payer is an Associate Professor at EPFL's School of Computer and Communication Sciences (IC), leading the HexHive Laboratory . His work focuses on software security, particularly addressing memory corruption and type violations through binary analysis and compiler-based techniques. He contributes to research in secure system design, fault isolation, and fuzzing methodologies. Current PhD students : Di Bartolomeo Luca, Feng Zhiyao, Hofhammer Florian, Lyu Tao, Mao Philipp Yuxiang, Zhang Chibin, Zheng Han Past EPFL PhD students: Badoux Nicolas Daniel, Bhattacharyya Atri, Hazimeh Ahmad His research explores software security in areas like: Protecting applications from vulnerabilities Binary exploitation and mitigation Compiler-driven security hardening Strong sanitization and privilege separation Memory corruption detection The HexHive group develops tools and frameworks for: Automated fuzz driver generation Gradual compartmentalization State inference for feedback optimization Secure cell architectures Recent publications highlight advancements in: Fuzzing hybrid approaches (e.g., DUMPLING, MendelFuzz) Memory safety validation (QMSan, Pacmem) Compiler-assisted defenses (Gradient, Type++)

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

استاد

• Cyber-Physical System Security
• Industrial Control Systems Security
• Physical-Layer Security
• +۷ مورد دیگر

Nils Ole Tippenhauer is a faculty member at the CISPA Helmholtz Center for Information Security , leading the SCy-Phy research group . His academic journey includes an Assistant Professorship at the Singapore University of Technology and Design (SUTD) (2014–2018), a PhD in Computer Science from ETH Zurich (2012), and a Diploma in Computer Engineering from Hamburg University of Technology (2007). He also holds an exchange study year at the University of Waterloo (2004–2005) supported by a DAAD scholarship. Research Interests focus on practical systems security , particularly Security of Cyber-Physical Systems Industrial Control Systems (ICS) and Industrial IoT (IIoT) Physical-Layer Security and Wireless Security Privacy-Preserving Technologies (e.g., DP3T project) Embedded Systems Security Threat Detection & Defenses His work integrates both theoretical and applied approaches, addressing vulnerabilities in critical infrastructures like water systems and power grids. Recent Publications highlight trends in Anomaly detection evasion in industrial networks Microarchitectural side-channel defenses Localization techniques in cellular networks Security analysis of ICS protocols Data-driven vulnerability assessments for robotics Cyber-physical simulation for infrastructure security Scientific Awards include Best paper at DIMVA'23 Distinguished Paper at ACSAC 2022 Best paper at CPSIOTSEC 2022 Best paper at CPSS 2017 K-H Ditze Award for diploma thesis (2007) SG Mark Institution award (2016) Runner-Up at smart energy hackathon (2013) Advising and Grants feature PhD defenses of Daniele Antonioli and Hamid Reza Ghaeini (2022), co-organizing conferences like WiSec and CPSS , and leading projects such as the National Science Experiment (NSE) with 50,000 mobile sensors in Singapore. He also contributed to the DP3T project for privacy-preserving contact tracing. Labs and Teams include the SCy-Phy research group at CISPA and the development of testbeds like SWaT (Secure Water Treatment), WADI (Water Distribution), and EPIC (Electric Power and Industrial Control) at SUTD. These platforms enable hands-on security research in realistic industrial environments.

Christopher Kruegelمشاهده پروفایل

استاد

• Systems Security
• Malware Analysis
• Web Security
• +۷ مورد دیگر

Christopher Kruegel is a Professor in the Department of Computer Science at the University of California, Santa Barbara (UCSB), where he conducts research in systems security. He is affiliated with the International Secure Systems Lab (iSecLab) and was a co-founder of Lastline, Inc., which was acquired by VMware in 2020. His work focuses on creating practical security solutions that address real-world problems through system building and experimental validation. Professor Kruegel's research spans multiple areas of computer security including malware analysis, web security, network security, and vulnerability analysis. His work often involves developing systems that analyze programs for malicious behavior, scanning web applications for vulnerabilities, and improving privacy on social networks. He has made significant contributions to firmware security, smart contract analysis, and mobile security through his extensive publication record. His 15 most recent publications (2022-2023) demonstrate a strong focus on practical security solutions across diverse domains including firmware security (Shimware, Fuzzware), blockchain and smart contract security (Confusum Contractum, NFT security), mobile security (TEEzz, Columbus), and vulnerability detection techniques (Actor, Toss a Fault to Your Witcher). His research shows consistent innovation in security tools and methodologies with several papers receiving distinguished awards. Fellow of the Institute of Electrical and Electronics Engineers Outstanding Graduate Mentor Award, UCSB Academic Senate Distinguished Artifact Award for Fuzzware paper Distinguished Paper Award for Ramblr paper Best Student Paper Award for Detecting Spammers On Social Networks Professor Kruegel has advised numerous graduate students and collaborated extensively with researchers at UCSB and beyond. His work has been funded by various research grants supporting his security research initiatives. He is actively involved in the International Secure Systems Lab, which focuses on practical security solutions for real-world problems.

Christian Rossowمشاهده پروفایل

استاد

• Software Security
• System Security
• Network Security
• +۱۵ مورد دیگر

Christian Rossow is Faculty at CISPA – Helmholtz Center for Information Security in Dortmund, Germany, where he leads the System Security research group. He holds dual academic appointments as a professor in the Computer Science department at Saarland University and as an honorary professor at TU Dortmund University. His research spans systems, software, and network security, with a focus on cyber attacks, defenses, and privacy. Research Interests: His primary research areas include software and system security (e.g., exploitation techniques, compiler-assisted defenses, AI-assisted (in)security), network security (e.g., DDoS mitigation, attack attribution, traffic analysis), and cybercrime (e.g., malware analysis, data-driven studies). He emphasizes foundational research with practical applications. Publication Trends: His recent work (2023–2025) shows a strong focus on microarchitectural attacks (e.g., cache side-channels, prefetcher analysis), browser and web security (e.g., sandbox escapes, CSS fingerprinting), network protocol vulnerabilities (e.g., TCP spoofing, infinite loops), and applied cryptography (e.g., ISA extensions for key management). His research consistently targets top-tier venues like IEEE S&P, USENIX Security, ACM CCS, and NDSS. Distinguished Paper Award at IEEE EuroS&P 2021 Best Student Paper Award at MIT Spam Conference 2010 Advising and Grants: He actively supervises PhD students and postdoctoral researchers, with alumni placed in industry (NVIDIA, Crowdstrike, Continental) and academia. His research is supported by major grants including EU H2020 SISSDEN, BMBF-funded BOB, DFG-funded anonymous communication, and RAMSES. He regularly serves in leadership roles in the community, including PC Chair for RAID 2022/2023 and USENIX WOOT 2018, and Track Chair for ACM CCS 2026. Labs and Teams: He leads the System Security research group at CISPA, a world-leading institution for security and privacy. The group comprises talented full-time researchers and focuses on cutting-edge research with strong individual supervision and worldwide collaborations.

• Structural and Applied Enzymology
• Biocatalysis
• Enzyme Engineering
• +۹ مورد دیگر

Professor Gideon James Grogan is a distinguished academic at the University of York, holding a position in the Department of Chemistry within the Faculty of Sciences. With expertise spanning structural and applied enzymology, he leads research at the intersection of chemistry and biology, developing novel biocatalysts for sustainable chemical synthesis and pharmaceutical applications. Professor Grogan's research focuses on the identification, characterization, and application of enzymes with biotechnological potential. His work encompasses: Oxygenases including P450s, flavoprotein monooxygenases, and peroxygenases Reductases such as ketoreductases (KREDs), imine reductases (IREDs), and reductive aminases (RedAms) Lyases catalyzing asymmetric hydration of alkenes Ligases for amide bond formation His multidisciplinary approach integrates synthetic chemistry, microbiology, molecular biology, and X-ray crystallography to engineer enzymes using in vitro evolution techniques. Recent research has yielded significant advances in biocatalytic pathways for chiral pharmaceutical precursors and renewable material processing. Professor Grogan's publication record demonstrates consistent innovation in biocatalysis, with recent work focusing on peroxygenase applications, reductive amination technologies, and enzyme engineering for improved catalytic properties. His research shows strong trends in developing sustainable enzymatic routes for pharmaceutical synthesis, with particular emphasis on stereoselective transformations and cascade reactions. Professor Grogan has received significant research funding through major grants from: BBSRC (Biotechnology and Biological Sciences Research Council) EPSRC (Engineering and Physical Sciences Research Council) He actively supervises PhD students and collaborates extensively both within the University of York and internationally. His work bridges the Departments of Chemistry and the York Structural Biology Laboratory (YSBL), leveraging state-of-the-art facilities for organic synthesis, protein expression, and structural analysis. Professor Grogan maintains strong industry connections, translating fundamental research into practical applications for pharmaceutical and chemical manufacturing. His current projects include sustainable production of menthol enantiomers, development of native amine dehydrogenases for chiral amine synthesis, and discovery of securinine alkaloid biosynthesis pathways.

Vyas Sekarمشاهده پروفایل

استاد

• Networking
• Cybersecurity
• Network Security
• +۹ مورد دیگر

Vyas Sekar is the Tan Family Professor of Electrical and Computer Engineering at Carnegie Mellon University (CMU), with a courtesy appointment in the Computer Science Department. He is affiliated with CyLab and co-directs the Future of Enterprise Security initiative. His research focuses on networking, cybersecurity, distributed systems, and IoT security, with an emphasis on data-driven approaches and network verification. Education: Ph.D. in Computer Science (2010) from CMU; B.Tech. from IIT Madras (President of India Gold Medal recipient). Professional roles include Chief Scientist at Conviva and co-founder of Rockfish Data. Research Interests: Cybersecurity, network security, software-defined networking (SDN), IoT security, DDoS defense, privacy-preserving data sharing, and network performance optimization. Recent work includes developing tools like Pigasus (FPGA-accelerated intrusion detection), Nomad (cloud side-channel mitigation), and frameworks for anomaly detection in IoT networks. Articles Trends: Recent publications address advanced threats like LLM-driven network attacks, stealthy automotive network exploits (CANDid), and optical-layer DDoS defenses. Emphasis on practical solutions (e.g., SketchPlan for telemetry, Pryde for firewall evasion detection). Awards: ACM SIGCOMM Test of Time Award (2022), IIT Madras Young Alumni Achiever Award (2022), Intel Outstanding Researcher Award (2021), and NSF CAREER Award (2016). Recognized for contributions to intrusion prevention, network security, and IoT resilience. Grants & Projects: Led NSF-funded ONSET project (optical-layer DDoS defense), CyLab's Secure IoT Initiative, and collaborations with industry partners like Intel, Facebook, and Nokia Bell Labs. Advises graduate students in cybersecurity and networking. Labs & Teams: Active contributor to CyLab, co-developer of frameworks like Lumos (hidden IoT device detection) and KalKi (IoT security platform). Engages in interdisciplinary research across CMU’s Robotics Institute and Software Engineering Institute.

Gang (Gary) Tanمشاهده پروفایل

استاد

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

Gang (Gary) Tan is a Professor at the Pennsylvania State University's College of Engineering, specializing in computer security, formal methods, and programming languages. He co-directs the Institute for Networking and Security Research (INSR) and leads the Security of Software (SOS) Group, focusing on compiler, programming language, and formal method techniques to enhance computer security. Education: B.E. in Computer Science from Tsinghua University Ph.D. in Computer Science from Princeton University His research integrates formal verification with practical security applications, particularly emphasizing: Compiler-based security enforcement Side-channel mitigation in speculative execution Fairness analysis in machine learning systems Formal grammar approaches for software reliability Key article trends show: Security-focused formal methods (15% of publications) ML fairness verification (20% of recent work) Compiler-based security solutions (30% of output) Side-channel defense mechanisms (25% of research) Parser design and formal grammar synthesis (10% of contributions) Scientific achievements include: NSF CAREER Award Google Research Awards (2x) PLDI 2024 Best Paper James F. Will Career Development Professorship Outstanding Research Award at Penn State Ruth and Joel Spira Excellence in Teaching Award Dr. Tan actively contributes to academic communities through: DARPA ISAT study group membership Program committee roles (CGO 2024, ECOOP 2018, etc) Leadership in security research initiatives

Ivan Pudduمشاهده پروفایل

پژوهشگر

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

Dr. Ivan Puddu is a Researcher affiliated with the Institute for Information Security at ETH Zürich. His work focuses on advancing cybersecurity, particularly in the realms of Trusted Execution Environments (TEEs), hardware security, and privacy-preserving technologies. He explores vulnerabilities in modern computing systems, including attacks on enclave-based security mechanisms and side-channel exploits. His research also addresses distributed systems, blockchain, and FPGA-accelerated architectures, aiming to enhance system sovereignty and data integrity. Notable contributions include studies on code confidentiality in TEEs, disaggregated memory systems, and mitigating security threats in low-power networks.

Zhendong Suمشاهده پروفایل

استاد

• Programming Languages
• Compilers
• Software Engineering
• +۳ مورد دیگر

Zhendong Su is a full professor in the Department of Computer Science at ETH Zurich since August 2018. Previously, he held a full professorship at UC Davis from 2003 until June 2019. He earned his Ph.D. in Computer Science from UC Berkeley and dual Bachelor’s degrees in Computer Science and Mathematics from UT Austin in 1995. Affiliations: ETH Zurich: Full Professor (since 2018) UC Davis: Full Professor and Chancellor’s Fellow (2003–2019) IEEE Fellow, ACM Fellow, and Member of Academia Europaea His research focuses on programming languages, compilers, software engineering, computer security, and education technologies . Key contributions include compiler validation (e.g., Project Yin-Yang for SMT solvers and DBMS testing), testing tools like SQLancer, and educational innovations such as the Algot visual programming language. Recent work emphasizes secure AI (e.g., CipherSteal for TEE-shielded models) and compiler reliability (e.g., Artemis/Apollo for JIT validation). He has pioneered techniques like metamorphic testing and equivalence modulo inputs (EMI) for compiler validation, uncovering thousands of bugs in GCC/LLVM and SMT solvers. Awards: ICSE MIP Award (2022), ACM SIGSOFT Impact Paper (2018), NSF CAREER Award, and multiple industrial awards. His students have won IEEE TCSE Rising Star and SIGSOFT Impact Paper awards, securing roles at top universities and companies like Google and NVIDIA. Service: Steering committee member of ISSTA and ESEC/FSE, ACM Distinguished Speaker, and Associate Editor for ACM TOSEM. Program chaired ISSTA 2012 and co-chaired FSE 2016. Labs/Teams: Leads research groups on compiler validation, secure AI, and education technologies. Projects include Yin-Yang (SMT testing), SQLancer (DBMS fuzzing), and Algot (visual programming for education).

Scott L. Diamondمشاهده پروفایل

استاد

• Mechanobiology
• Thrombolysis
• Coagulation
• +۱۰ مورد دیگر

Scott L. Diamond is the Arthur E. Humphrey Professor of Chemical and Biomolecular Engineering and Bioengineering at the University of Pennsylvania's School of Engineering and Applied Sciences. He serves as Director of the Penn Center for Molecular Discovery, Director of the Penn Biotechnology Masters Program (one of the largest in the country with over 130 students), and Associate Director of the Institute for Medicine and Engineering (IME). His laboratory is located in the Roy and Diana Vagelos Laboratories at 3340 Smith Walk, 1020 Vagelos Research Laboratories, Philadelphia, PA. Diamond's research spans multiple interconnected fields in blood biology and biotechnology. His work focuses on mechanobiology, thrombolysis, coagulation, bioadhesion, gene therapy, drug/device development, proteomics, drug discovery, systems biology, and microfluidics. His laboratory has developed numerous specialized microfluidic devices for studying blood clotting under various flow conditions, including 8-channel devices for high-throughput clotting assays, side-view devices for clot structure analysis, stenosis devices for high shear clotting assays, and impingement-post devices for studying von Willebrand factor fibers. Diamond's research group has pioneered approaches to model and predict blood function using systems biology principles. His team has developed computational models that integrate reaction-transport phenomena with platelet signaling networks to predict thrombus formation under flow. These models have enabled the development of 'virtual blood' computer simulations that can predict the effectiveness of anticoagulation drugs for individual patients, contributing significantly to personalized medicine approaches in hemostasis and thrombosis. His extensive publication record demonstrates a consistent focus on understanding the fundamental mechanisms of blood clot formation and dissolution. Recent work has emphasized microfluidic approaches for point-of-care diagnostics, patient-specific modeling of platelet function, and the development of novel therapeutic strategies for thrombotic disorders. His research bridges engineering principles with clinical hematology to address significant challenges in cardiovascular medicine. NSF National Young Investigator Award NIH FIRST Award American Heart Association Established Investigator Award AIChE Allan P. Colburn Award George Heilmeier Excellence in Research Award Elected Fellow of the Biomedical Engineering Society (BMES) Diamond has secured significant research funding, including a $2.8 million NIH grant for 'Blood Systems Biology' and a $9.5 million NIH grant for the Penn Center for Molecular Discovery. His laboratory has developed numerous microfluidic devices for blood analysis and has collaborated extensively with clinicians and industry partners. Diamond has served on advisory committees for NSF, NIH, AHA, and NASA, and has consulted extensively for industry and government. With over 180 publications and patents, his work has significantly advanced the understanding of blood clotting mechanisms and the development of diagnostic and therapeutic approaches for thrombotic disorders.

Ebrahim Bedeer Mohamedمشاهده پروفایل

استادیار

• Signal Processing
• Wireless Communications
• Artificial Intelligence
• +۳ مورد دیگر

Ebrahim Bedeer Mohamed is an Assistant Professor in the Department of Electrical and Computer Engineering at the University of Saskatchewan. He joined in July 2019, following roles as an Assistant Professor (Lecturer) at Ulster University, UK, and postdoctoral fellowships at Carleton University and the University of British Columbia. He holds a Ph.D. (Distinction) from Memorial University of Newfoundland (2014), with expertise in signal processing and wireless communications. His research focuses on optimizing communication systems through advanced signal processing techniques, including faster-than-Nyquist signaling, IoT network design, AI integration, and energy-efficient protocols. Key areas include next-generation communication networks, non-orthogonal modulation, and MIMO systems. Notable contributions include work on channel estimation for FTN signaling, RIS-aided wireless systems, and LR-FHSS protocols in IoT. His publications span spectral efficiency, interference minimization, and energy management in 5G/6G contexts. He actively seeks Ph.D. students with strong backgrounds in signal processing fundamentals. Awards and grants are not explicitly listed in the provided texts. His work emphasizes practical applications, such as UAV trajectory optimization for IoT data collection and energy-efficient caching strategies in dynamic networks.

Caroline Trippelمشاهده پروفایل

استادیار

• Computer Architecture
• Hardware Security
• Formal Methods
• +۵ مورد دیگر

Caroline Trippel is an Assistant Professor in the Departments of Computer Science and Electrical Engineering at Stanford University. Her research focuses on ensuring correctness and security in computer systems through formal methods, with particular emphasis on hardware verification, memory consistency models, and mitigating vulnerabilities like Spectre/Meltdown. She previously worked at Facebook’s FAIR SysML group before joining Stanford. Education: PhD in Computer Science, Princeton University BS in Computer Engineering, Purdue University Her work has influenced the RISC-V ISA memory consistency model and produced tools like CheckMate, which automatically synthesizes hardware exploits for security verification. She explores privacy-preserving ML, ML-driven hardware optimizations (e.g., neural recommendation), and datacenter reliability. Her research has earned awards including the 2020 ACM SIGARCH Dissertation Award and NVIDIA Fellowship. Key contributions include: Formal analysis of RISC-V memory models Exploitation synthesis frameworks (CheckMate) Hardware-software contracts for security Defenses against microarchitectural side-channel attacks Current projects include: VeriCoder: LLM-enhanced RTL code verification Multi-μPATH synthesis for security validation Near-data processing (RecSSD) for recommendation systems

Mehrdad Nojoumianمشاهده پروفایل

دانشیار

• Security
• Privacy
• Trust
• +۱۰ مورد دیگر

Mehrdad Nojoumian is an Associate Professor at Florida Atlantic University's College of Engineering and Computer Science, specializing in Security, Privacy, Trust, and Human-Autonomy Interaction. His research bridges computer science with FinTech and autonomous systems, focusing on cryptographic protocols, blockchain, and IoT security. PhD, University of Waterloo (Computer Science, 2012) MSc, University of Ottawa (Computer Science, 2007) BSc, Islamic Azad University (Computer Engineering, 2002) His research explores privacy-preserving mechanisms in autonomous systems, trust modeling in blockchain, and cross-disciplinary applications of cryptography. Recent work includes patents on adaptive driving modes and ongoing studies on IoT vulnerabilities and autonomous coordination. Notable awards include the Excellence and Innovation in Undergraduate Teaching Award (2023), NAI Induction (2022), and multiple Best Paper Awards . His publications span journals like Information and Computation and conferences such as GameSec and IEEE Blockchain . He mentors graduate students in cybersecurity bootcamps, high school outreach programs, and collaborative research projects funded by NSF , ARO-AFOSR , and AFRL . His lab emphasizes diversity and inclusion, particularly supporting underrepresented groups in STEM.

• Information Security
• Privacy
• Autonomous Driving
• +۵ مورد دیگر

Dr. Tatsuya Mori is a Professor at the Department of Computer Science and Communication Engineering , Faculty of Science and Engineering, Waseda University . He also holds visiting researcher positions at RIKEN Center for Advanced Intelligence Project (since 2018) and National Institute of Information and Communications Technology (since 2019). Education: Ph.D. in Information Science (2005), Waseda University Research Interests: Spanning information security and privacy across emerging technologies like autonomous driving , AI , 3D sensing , VR , biometric measurement , and Web3 . His work focuses on offensive security and interdisciplinary research , including physical-layer attacks on sensors and behavioral studies on phishing detection. Scientific Awards: Recipient of multiple prestigious awards, including the Distinguished Paper Award Runners-Up at IEEE EuroS&P 2024 , IPSJ Outstanding Paper Award 2024 , and CSS2024 Concept Research Prize . His research has been recognized in top conferences like USENIX Security , NDSS , and ACM CCS . Professional Leadership: Active in academic governance as Chief Investigator for NISC Working Groups and Committee Member for JST Research Areas . He serves on program committees for NDSS , IMC , and ACM CCS .

Danfeng Zhangمشاهده پروفایل

استاد

• Programming Languages
• Security
• Differential Privacy
• +۵ مورد دیگر

Danfeng Zhang is a faculty member at Duke University whose research sits at the intersection of programming languages and security. Active across the premier PL conferences since 2015, Zhang has served on more than two-dozen program committees and currently co-chairs the POPL Student Research Competition. Education & Affiliation: Home page: users.cs.duke.edu/~dz132 Affiliation: Duke University, United States Research Interests: Zhang’s work spans programming-language design, static and dynamic analysis, formal verification, and security. A recurring theme is developing language-based techniques that guarantee strong security and privacy properties—ranging from side-channel resistance and constant-time execution to differential-privacy proofs—while preserving performance and usability. His recent projects combine type systems, program logics, and automated reasoning to build practical verification tools for concurrent, speculative, and approximate software. Publication Trends: Across nine representative papers (2015-2024) Zhang has advanced static detection of cache side channels, automated proofs of differential privacy, and relaxed concurrency models. The trajectory shows deepening integration of security concerns into language infrastructure, with tool-building (CtChecker, SpecSafe, LightDP) that bridge formal guarantees and real-world systems. Service & Leadership: 2024 POPL Student Research Competition Co-Chair 2025 POPL Program Committee member Repeated reviewer/PC member: PLDI, SPLASH/OOPSLA, ISSTA, ECOOP, APLAS, PriSC, PASS Zhang regularly mentors student researchers through SRC sessions and workshop panels, fostering diversity and early-career participation in the programming-languages community.