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

Wolfgang Kunzمشاهده پروفایل

استاد

• Hardware Safety and Security
• Formal Hardware Verification
• Embedded Computing Systems
• +۵ مورد دیگر

Wolfgang Kunz is a Full Professor (C4, W3) and Chair of Electronic Design Automation at the Technische Universität Kaiserslautern since 2001. His academic career spans multiple prestigious institutions, including Goethe-University Frankfurt/Main and the University of Massachusetts, Amherst. He has held leadership roles such as Dean (2005-2007) and Vice-Dean (2007-2009) at TU Kaiserslautern. Habilitation (Dr. rer. nat. habil.), Computer Science, University of Potsdam (1996) Doctoral degree (Dr.-Ing.), Electrical Engineering, University of Hannover (1992) Dipl.-Ing. degree, Karlsruhe Institute of Technology (1989) His research focuses on hardware verification, security, and optimization, particularly in embedded systems and processors. His work on formal verification methods has been commercialized by companies like Synopsys, Mentor Graphics, and Siemens EDA. His 2016-2021 publications address critical security issues such as Spectre/Meltdown and introduce innovative verification frameworks adopted by industry leaders like Infineon and OneSpin Solutions. Scientific awards include the IEEE Fellow (2006), German IT Society Award (2005), and TU Kaiserslautern Distinguished Teaching Award (2016). He has served on editorial boards of major journals and coordinated the Erasmus Mundus European Master Program in Embedded Computing Systems since 2010. Key students: Jörg Bormann, Raik Brinkmann, Tobias Ludwig Collaborations: Siemens EDA, Infineon, AbsInt, Intel SCAP Spin-offs: LUBIS EDA, OneSpin Solutions

Justine Sherryمشاهده پروفایل

استادیار

• Computer Networking
• Networked Systems
• Middleboxes
• +۵ مورد دیگر

Justine Sherry is the A. Nico Habermann Associate Professor of Computer Science at Carnegie Mellon University, affiliated with the College of Engineering. She holds a PhD (2016) and MS (2012) from UC Berkeley and a BS/BA (2010) from the University of Washington. Her research focuses on networked systems, including middleboxes, cloud computing, congestion control, and hardware acceleration (e.g., SmartNICs/FPGAs). Notable projects include Pigasus (open-source 100Gbps IDS), APLOMB (cloud-based middlebox scaling), and BlindBox (encrypted traffic scanning). Her academic roles include serving on the SIGCOMM CARES Committee, DARPA ISAT Study Group, and ACM CoNEXT Steering Committee. Awards include the Alfred P. Sloan Fellowship, VMware Systems Award, and IETF Applied Networking Prize. She advises over 15 students and collaborates with industry partners like Intel and VMware. Research highlights include radical shifts in datacenter architectures (SmartNIC compute control), fairness in congestion algorithms (BBR analysis), and database-proxy innovations (Tigger with eBPF). Her teaching emphasizes systems as science labs, integrating experimental design and hypothesis testing into projects. Education: PhD UC Berkeley (2016), MS UC Berkeley (2012), BS/BA University of Washington (2010) Labs/Teams: CyLab, SNAP Research Group, CMU Portugal Collaboration Grants: NSF, Intel, Google Faculty Awards

Yan Sunمشاهده پروفایل

استاد

• Cybersecurity
• Cyber-Physical Systems Security
• Power Grid Security
• +۵ مورد دیگر

Professor Yan (Lindsay) Sun is a faculty member at the University of Rhode Island in the College of Engineering under the Department of Electrical, Computer and Biomedical Engineering . She is the founding director of the Center for Cyber-Physical Intelligence and Security (CYPHER) and an IEEE Fellow . Her research focuses on cyber-physical systems security , power grid security , network security , and trustworthy social computing , with a particular emphasis on trust modeling and management in complex systems. Her publications span smart grid security , microgrid control , machine learning applications in power systems, and blockchain-based security mechanisms . The work often explores adversarial threats , resilient control strategies , and data augmentation techniques for improved grid monitoring. NSF CAREER Award (2007) IET Wireless Sensor Systems Premium Award (2018) EURASIP Best Paper Award (2015) IEEE Fellow (2019) URI College of Engineering Outstanding Research Award (2022) She actively leads interdisciplinary CYPHER Lab initiatives involving cyber-physical system resilience , network security , and smart grid analysis , collaborating with government and industry partners.

Pontus Johnsonمشاهده پروفایل

استاد

• Cybersecurity
• Enterprise Architecture
• Attack Simulation
• +۳ مورد دیگر

Pontus Johnson is a Professor at the KTH Royal Institute of Technology in Stockholm, Sweden. He leads the Center for Cyber Defense and Information Security (collaborating with Swedish Armed Forces, FRA, MSB, FOI, FHS) and serves as vice director of Cybercampus Sweden since 2024. His research focuses on cybersecurity , enterprise architecture analysis , and probabilistic threat modeling , particularly through his development of the Meta Attack Language (MAL) for simulating cyber attacks on networked systems. Education: MSc in Computer Science, Lund Institute of Technology (1997) PhD in Computer Science, KTH (2002) Docent title, KTH (2007) Leadership Roles: Director, Center for Cyber Defense and Information Security (2013–present) Vice Director, Cybercampus Sweden (2024–present) Board Member, Swedish Research Council (2025–present) Deputy Chair, Swedish Royal Academy of Engineering Sciences (IVA) Board (2024–present) His work spans cybersecurity research , attack simulation methodologies , and enterprise architecture frameworks . He has developed tools like securiCAD (acquired by Google) and pwnPr3d for probabilistic threat modeling. His 15 most recent publications highlight advancements in graph-based attack simulations , automated security assessments , and AI applications in cyber defense . Scientific recognition includes: Listed among Tech Awards Sweden's 50 Most Influential People in Swedish Tech (2022, 2023) Discovery of vulnerability in the Universal Turing Machine (2021) He supervises 16 PhD students and alumni (2005–2024), including Simon Gökstorp , Jakob Nyberg , and Sotirios Katsikeas . His academic service includes over 50 program committee roles and leadership positions in international conferences. He contributes to both academic and public domains through media appearances (SVT, Aftonbladet), courses in ethical hacking , and industry collaboration via his role at Google (20% of his time). His research group Software Systems Architecture and Security (SSAS) focuses on predictive security frameworks and system-of-systems analysis.

Steven H. H. Dingمشاهده پروفایل

استادیار

• Cybersecurity
• Machine Learning
• Data Mining
• +۷ مورد دیگر

Dr. Steven H. H. Ding is an Assistant Professor at McGill University's School of Information Studies, specializing in cybersecurity, machine learning, and data mining. His research focuses on AI-driven solutions for malware detection, software vulnerability analysis, and reverse engineering. He holds a PhD from McGill University and has been supported by BlackBerry Cylance and DRDC. His work bridges theoretical advancements with practical applications in military systems and avionics cybersecurity. Dr. Ding earned his PhD in 2019 with notable awards including the FRQNT Doctoral Research Scholarship and McGill's Dean’s Graduate Award. His educational background includes degrees from McGill, Concordia University, and the University of Shanghai for Science and Technology. His research interests span cybersecurity domains such as zero-day malware identification, code obfuscation countermeasures, authorship verification for digital forensics, and AI applications in avionics anomaly detection. He actively contributes to open-source tools like the Kam1n0 MapReduce-based assembly clone search system. Recent work emphasizes adversarial machine learning for evasive malware generation, transformer-based anomaly detection in avionics, and automated SBOM generation for firmware analysis. His publications reflect a focus on real-world cybersecurity challenges in both civilian and defense sectors. Dr. Ding leads the L1NNA Lab and collaborates with industry partners on cutting-edge projects. His contributions include novel techniques for phishing detection leveraging large language models and innovative approaches to reverse engineering software composition in JavaScript applications.

Xugui Zhouمشاهده پروفایل

استادیار

• Cyber-Physical Systems
• Security
• Dependability
• +۷ مورد دیگر

Xugui Zhou is an Assistant Professor jointly appointed in the Department of Electrical and Computer Engineering and the Department of Computer Science at Louisiana State University (LSU). He holds a Ph.D. in Electrical and Computer Engineering from the University of Virginia (2024), where he worked under Prof. Homa Alemzadeh. Prior to his Ph.D., he earned an M.Eng in Control Science and Engineering and a B.Eng in Automation from Shandong University. Before joining UVA, he was a Senior Engineer at NR Research Institute, State Grid of China. His research focuses on the intersection of system dependability, security, and control theory, with applications in autonomous systems and healthcare. Key interests include engineering resilient autonomous vehicles, mitigating adversarial attacks on cyber-physical systems (CPS), and enhancing safety through formal methods and machine learning. He leads a research lab with openings for Ph.D. students and interns. Zhou is actively involved in academic service, serving on program committees for DSN'26, AsiaCCS'26, and ICCPS'25, among others. He also chairs workshops like DSML'25 and organizes conferences such as ICCPS'24. His recent awards include the UVA Engineering Endowed Graduate Fellowship (2023) and selection as a Rising Star in Cyber-Physical Systems (2023). His teaching includes courses like AI-Driven Autonomous Driving Systems and ML for CPS Security at LSU. He has extensive experience in teaching and research supervision, emphasizing hands-on projects and interdisciplinary collaboration.

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

Matteo Maffei is a Full Professor at TU Wien, leading the Security and Privacy group. He joined in 2017 after 11 years at Saarland University's CISPA. He holds a Ph.D. in Computer Science from Ca’ Foscari University of Venice (2006). He coordinates the TU Wien Cybersecurity Center, the SecInt Doctoral School, and the FWF Special Research Program SPyCoDe. His research focuses on formal methods for security and privacy, blockchain technologies, and web security. Roles: Full Professor, Coordinator of TU Wien Cybersecurity Center, Module Head of Christian Doppler Lab for Blockchain Technologies (CDL-BOT), Board Member of Vienna Cybersecurity and Privacy Research Cluster (ViSP). His work emphasizes formal verification of cryptographic protocols, smart contracts, and decentralized systems. Key achievements include ERC Advanced (2024) and Consolidator (2018) Grants, and leadership roles in conferences like IEEE Computer Security Foundations Symposium (CSF). Research Interests: Formal methods, smart contracts, blockchain scalability, web security, privacy-preserving protocols, and decentralized systems. His recent projects include optimizing Lightning Network channels, secure multi-hop payments, and AI-driven robustness verification. Publications: Over 200 publications in top venues like CCS, IEEE S&P, and CRYPTO. Recent work includes advancements in blockchain interoperability (e.g., Alba bridges), light client protocols (Blink), and neural network verification techniques. Grants & Awards: ERC Advanced Grant (2024), ERC Consolidator Grant (2018), DFG Emmy Noether Fellowship (2009). Led projects funded by EU Horizon, FWF, and industry partners like ABC Research GmbH. Advising & Labs: Supervised over 20 PhD/Master theses. Active in the Christian Doppler Lab for Blockchain Technologies and the SPyCoDe SFB. Collaborates with institutions like SBA Research and Stanford University.

Saumya Debrayمشاهده پروفایل

استاد

• Compilers
• Program Analysis
• Code Optimization
• +۵ مورد دیگر

Saumya Debray is a Professor at the Department of Computer Science , University of Arizona , with research interests in Compilers , Program Analysis and Optimization , and Programming Language Implementation . Their work bridges theoretical and applied computer science, focusing on security implications of program transformations and compiler-assisted system optimization. Education: Ph.D., The State University of New York at Stony Brook (1986). Contact: Office: GS 735 | Phone: 520-621-4527 | Email: debray@cs.arizona.edu. Research Themes: Debray’s research spans three decades, with core contributions in: JIT Compiler Analysis: Bug localization, dynamic code generation, and exploitation frameworks. Code Obfuscation & Stylometry: Evading detection through optimization-based obfuscation. Malware Analysis: Deobfuscation techniques, taint analysis, and dynamic defense modeling. Binary Rewriting: Energy optimization, code compaction, and kernel specialization. Their work intersects compiler design , cybersecurity , and system optimization , with applications in executable analysis , malware detection , and undergraduate CS education .

• Computational Logic
• Symbolic Machine Learning
• Neuro-symbolic AI
• +۳ مورد دیگر

Professor Alessandra Russo leads the Structured and Probabilistic Knowledge Engineering (SPIKE) research group at Imperial College London's Department of Computing. With expertise spanning computational logic, symbolic machine learning, and neuro-symbolic AI, she develops foundational AI techniques applied to security, network management, healthcare, and adaptive systems. Professor Russo holds a PhD in Computing from Imperial College London and an MSc in Computer Science from Ionian University. Her research pioneers logic-based learning systems for intelligent adaptive technologies, with projects including declarative networking for security management, privacy-preserving federated learning, and hybrid neuro-symbolic approaches for robust reasoning. Her current work focuses on developing interpretable AI systems through neuro-symbolic integration, creating frameworks that combine neural networks with symbolic reasoning for explainable decision-making. Recent publications explore rule learning from knowledge graphs, transformer-based world models, and formal methods for representation learning. Professor Russo teaches courses on Logic-Based Learning and AI Applications, and has received the Google PhD Fellowship for her research contributions. She mentors numerous PhD students in areas spanning theoretical foundations and practical applications of computational logic and machine learning.

Vasileios Mavroeidisمشاهده پروفایل

دانشیار

• Cybersecurity
• Security Automation and Orchestration (SOAR)
• Cyber Threat Intelligence (CTI)
• +۶ مورد دیگر

Vasileios Mavroeidis is an Associate Professor in Digital Security at the Department of Informatics, University of Oslo (UiO). He specializes in security automation and orchestration (SOAR) and cyber threat intelligence (CTI) representation, reasoning, and sharing. He actively contributes to European cybersecurity initiatives, including Horizon Europe, Connecting Europe Facility, and the European Defense Fund, and serves as the primary representative of UiO at the OASIS standards development organization since 2017. Role : Associate Professor Department : Digital Security (SEC), University of Oslo Standardization Involvement : Chairman of OASIS Threat Actor Context (TAC), Leading Contributor to CACAO and OpenC2 Projects : Concordia, CyberHunt, JCOP (Joint Cyber Security Operations Platform), Oslo Analytics, P4C (Partnership for Cybersecurity) His research focuses on cyber threat intelligence (CTI), exploring its taxonomies, sharing standards (STIX, CACAO), and ontologies, with contributions to the European Union Agency for Cybersecurity (ENISA) Cybersecurity Playbooks task force. He analyzes quantum computing's impact on cryptography, develops automated threat detection systems using machine learning (e.g., recurrent neural networks for malware-generated domains), and investigates privacy issues under GDPR. Recent publications highlight his work on LLMs for code stylometry , neurosymbolic AI for cyber defense , and knowledge management systems for CACAO playbooks . His articles span 2017–2025, emphasizing formal verification, biometric data protection, and incident response automation. He collaborates with organizations like OASIS (Threat Actor Context, CACAO, OpenC2) and FIRST (Traffic Light Protocol), and participates in European research projects. His work includes standardization efforts in cybersecurity playbooks , MITRE ATT&CK representation, and quantum-resistant cryptography .

Bimlesh Wadhwaمشاهده پروفایل

دانشیار

• Software Engineering
• Human-Computer Interaction (HCI)
• Computing Education
• +۴ مورد دیگر

Dr. Bimlesh Wadhwa is an Associate Professor in the Department of Computer Science at the National University of Singapore (NUS) and serves as Assistant Dean for Student Life at Tembusu College. She holds dual affiliations as a Residential Fellow at Tembusu College and an active member of the School of Computing's academic community. Her work bridges software engineering, human-computer interaction (HCI), and computing education. Dr. Wadhwa's research focuses on gender issues in HCI, software design quality, and digital well-being. She has pioneered initiatives like the Code for Community program to bring computing education to underserved groups. Her pedagogical contributions include developing courses on object-oriented design, software engineering principles, and interaction design. She actively engages with professional communities through roles such as Faculty Representative at the Singapore Computer Society Student Chapter and advisor to the Computing Club at NUS. Her recent work addresses pressing societal challenges like technology-facilitated sexual violence and integrates AI into educational contexts. She has organized major competitions including CodeXtreme and the Singapore Science and Engineering Fair, fostering innovation among students. Her interdisciplinary collaborations span healthcare applications, smart city technologies, and educational equity initiatives. Dr. Wadhwa’s scholarly contributions include over 80 publications in top venues such as FSE, CHI, and IEEE conferences. She has co-edited book chapters for Springer and Wiley on HCI and informatics, reflecting her commitment to advancing both technical and societal dimensions of computing. In addition to her academic roles, she leads MakerLab initiatives and contributes to national educational policies on computational thinking. Her work emphasizes bridging academia-industry gaps through projects like the GEAR mobile game-assisted rehabilitation system and cloud service brokerage frameworks.

Michael Goldsmithمشاهده پروفایل

دانشیار

• Cybersecurity
• Formal Methods
• Concurrency Theory
• +۳ مورد دیگر

Michael Goldsmith is a Senior Research Fellow at the Department of Computer Science and Worcester College, University of Oxford. He holds multiple leadership positions including Director of the Oxford Martin Programme on AI Threat Detection, Associate Director of the Cyber Security Centre, and Co-Director of the Centre for Doctoral Training in Cybersecurity. His research bridges formal methods, concurrency theory, and practical cybersecurity applications. Goldsmith's research focuses on cybersecurity analytics including threat detection, risk management, and trust frameworks. He pioneered automated cryptoprotocol analysis and investigates multidisciplinary projects spanning mathematical models to socio-technical systems. His core interests include formal verification, AI threat landscapes, privacy architectures, and security protocol design. Analysis of his recent publications reveals strong emphasis on practical cybersecurity challenges: 63% focus on threat detection (especially insider threats), 22% on trust/risk frameworks, and 15% on formal methods applications. His work consistently integrates technical security mechanisms with human factors and organizational contexts. He currently advises Ahmed Salman and has supervised 10+ students including Mary Bispham, Rodrigo Carvalho, and Elizabeth Phillips. His research teams collaborate on projects funded by Technology Strategy Board, government agencies, and industry partners. Goldsmith leads the Oxford Martin Programme on AI Threat Detection and co-directs the Centre for Doctoral Training in Cybersecurity. His research group develops tools for security visualization (CyberVis), trust metrics, and identity management frameworks.

Miroslav Pajicمشاهده پروفایل

استاد

• Cyber-Physical Systems
• Embedded Systems
• Artificial Intelligence
• +۶ مورد دیگر

Miroslav Pajic serves as a Professor in the Department of Electrical and Computer Engineering at Duke University's Pratt School of Engineering. He also holds joint appointments as Associate Professor in the Thomas Lord Department of Mechanical Engineering and Materials Science and Associate Professor of Computer Science. As Director of Master's Studies, he oversees the graduate program in Electrical and Computer Engineering and teaches numerous courses spanning embedded systems, cyber-physical systems design, and robotics. Education: Ph.D. in Electrical and Computer Engineering from University of Pennsylvania (2012) Miroslav Pajic's research focuses on the design and analysis of cyber-physical systems (CPS) with varying levels of autonomy and human interaction. His work spans the intersection of embedded systems, artificial intelligence, machine learning, control theory, formal methods, and robotics. He specializes in developing high-assurance autonomous systems with applications in robotics, automotive systems, and medical devices, with particular emphasis on CPS security and resilient autonomy. His research addresses fundamental challenges in creating systems that can operate reliably in uncertain environments while maintaining security against potential cyber attacks. Analysis of Pajic's recent publications reveals a strong interdisciplinary research program bridging theoretical foundations with practical applications. His work spans secure sensor fusion for distributed autonomy, medical applications of CPS (particularly deep brain stimulation for neurological disorders), and innovative sensing technologies for autonomous vehicles. A significant portion of his research addresses security challenges in cyber-physical systems, including stealthy GPS attacks on UAVs and methods for attack-resilient state estimation. His publications increasingly integrate machine learning techniques with traditional control theory to create more adaptive and robust autonomous systems. Pajic actively mentors graduate students and leads research groups focused on cyber-physical systems security and high-assurance autonomy. His research is supported by multiple grants, including the NSF AI Institute for Edge Computing (Athena), which he co-leads. He has received funding from various sources to support his work on secure and resilient cyber-physical systems, medical device security, and autonomous vehicle technologies. Pajic collaborates extensively with medical researchers on applications of cyber-physical systems in healthcare, particularly in deep brain stimulation for neurological disorders. His work bridges the gap between theoretical control systems and practical implementations in safety-critical domains, with a growing emphasis on translating research into real-world applications that improve system security and reliability.

Valerie Viet Triem Tongمشاهده پروفایل

استاد پژوهش

• Information Flow Control
• Android Security
• Malware Analysis and Detection
• +۵ مورد دیگر

Valerie Viet Triem Tong is a Research Professor at the Paris Institute of Electrical and Electronic Engineering, School of Electrical and Electronic Engineering. She has established herself as a leading researcher in cybersecurity with a particular focus on information flow control systems, Android security, and malware analysis. Her work spans both theoretical foundations and practical security tools development. Her research interests center on Information Flow Control , where she has developed frameworks for monitoring and enforcing security policies at both operating system and application levels. She has made significant contributions to Android Security , creating tools for detecting malicious behavior in mobile applications and addressing privacy concerns in smartphone environments. Her work in Malware Analysis includes developing advanced techniques for tracking and visualizing malware behavior, with emphasis on evasive Windows malware and Android malware in the wild. She also investigates Peer-to-Peer Network Security , focusing on Sybil attack resistance and distributed identity management. Analysis of her publication record reveals a consistent trajectory from foundational work in information flow theory to increasingly applied security research. Her recent work shows a strong emphasis on practical security tools (DaViz, GUI-Mimic, BAGUETTE), security evaluation methodologies (Digital twin, CERBERE), and addressing contemporary challenges in malware analysis (debiasing datasets, handling obfuscated applications). A notable trend is her integration of visualization techniques with security analysis to make complex security data accessible to both experts and machine learning systems. As an advisor, she has mentored numerous researchers who have become first authors on significant publications, including Radoniaina Andriatsimandefitra, Tomás Concepcion Miranda, and Cedric Herzog. Her research has been supported by multiple grants focused on cybersecurity infrastructure, though specific grant details are not provided in the available information. Dr. Tong is actively involved with the CIDre security research group in Rennes, contributing to collaborative projects that bridge theoretical security models with practical implementation challenges. Her work on information flow monitoring has evolved from basic research to applied systems that address real-world security concerns across multiple platforms.

Endadul Hoqueمشاهده پروفایل

استادیار

• Computer Networks Security
• IoT Systems Security
• Vulnerability Detection
• +۳ مورد دیگر

Endadul Hoque is an Assistant Professor in the Department of Electrical Engineering and Computer Science at Syracuse University (SU), leading the SYNE Lab. Previously, he held a similar position at Florida International University (FIU). He earned his Ph.D. in Computer Science from Purdue University in 2015, with postdoctoral research at Northeastern University. His research focuses on cybersecurity, particularly in automated vulnerability detection, network/system security, and IoT defense mechanisms. He draws on program analysis, formal verification, and fuzz testing. Key honors include the NSF CAREER Award (2024) and a Google Research Scholar Award (2022). His work has been published in top venues like ACM CCS, NDSS, and IEEE S&P. He actively seeks students for PhD/MSc positions in security, IoT, and program analysis. His grants include NSF funding for IoT policy enforcement and context-sensitive fuzzing. Education Ph.D., Computer Science, Purdue University, 2015 M.S., Computer Science, Marquette University, 2010 B.S., Computer Science and Engineering, Bangladesh University of Engineering and Technology, 2008 Research Interests Dr. Hoque’s work spans secure network systems, IoT security, vulnerability detection, and automated reasoning methods like SMT solving and symbolic execution. Recent innovations include VetIoT (runtime IoT defense validation) and LLM-driven security tools like iConPAL. He emphasizes practical defenses and user-centric security solutions, such as the SeQR enterprise Wi-Fi configurator. Awards NSF CAREER Award (2024) Google Research Scholar Award (2022) NDSS Distinguished Paper (2018) Grants & Service He leads NSF-funded projects on IoT policy enforcement and context-sensitive fuzzing. Served on program committees for S&P, SecDev, and DSN. Teaches courses on systems security and operating systems at SU and FIU. Lab/Team SYNE Lab at Syracuse University focuses on securing networked systems through automated analysis, runtime verification, and resilient protocols.