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

Pat Pannutoمشاهده پروفایل

استادیار

• Resource-Constrained Computing
• Embedded Systems
• Internet of Things
• +۴ مورد دیگر

Pat Pannuto is an Assistant Professor in Computer Science Engineering at the University of California, San Diego. His research bridges digital systems and the physical world, focusing on resource-constrained computing, embedded systems, and IoT infrastructure. He leads projects on sustainable computing, energy harvesting, social interaction tracking, and city-scale sensing. Research Interests: Dr. Pannuto designs systems for extreme resource constraints (microwatts power, kilobytes memory) that enable reliable sensing/actuation. Key areas include: Embedded OS development (Tock OS) Energy harvesting from unconventional sources (soil MFCs, corrosion systems) Human interaction tracking for epidemiology/psychology Large-scale infrastructure monitoring (GridWatch) Localization and ultra-low-power communication Awards & Fellowships: National Defense Science & Engineering Graduate (NDSEG) Fellow (2013) NSF Graduate Research Fellowship (2013) Qualcomm Innovation Fellow (2013) Teaching & Service: He teaches courses in computer architecture, embedded systems, and IoT. As faculty advisor, he mentors 25+ graduate students and oversees undergraduate research programs (ERSP/TRELS). He chairs conferences including TockWorld 7 and serves on TPCs for MobiCom, SenSys, and IPSN. Labs & Teams: Leads the UCSD Embedded Systems Lab, co-founded the UCSD Embedded Systems Seminar, and collaborates with the TerraSwarm and CONIX research centers. Current projects include security for embedded OS, hyperdimensional computing libraries, and renewable energy systems.

Solon Falasمشاهده پروفایل

پژوهشگر

• Computer Engineering
• Networks-On-Chip
• Power Efficiency
• +۳ مورد دیگر

Solon Falas is a Ph.D. Candidate and Researcher at the University of Cyprus, affiliated with the Department of Electrical and Computer Engineering and the KIOS Research and Innovation Center of Excellence. His work focuses on adaptive routing algorithms for Networks-On-Chip, power efficiency in mobile SoCs, and quality-of-service in embedded systems. B.Sc.: Computer Engineering, University of Cyprus (2017) Research Interests: Solon's research integrates adaptive routing algorithms for load balancing and fault tolerance, power-efficient SoC design for mobile platforms, and intelligent methods for guaranteed quality-of-service in embedded systems. Recent projects highlight his expertise in Physics-Informed Neural Networks applied to power systems and embedded security. Publications: His work spans secure firmware updates in embedded systems (2019–2021) and advancements in power systems security using neural networks (2023–2025). Key trends include cybersecurity for critical infrastructure, robust algorithms for state estimation, and hardware-enabled security protocols. Labs & Teams: Solon contributes to the KIOS Research and Innovation Center of Excellence, a hub for interdisciplinary research in electrical and computer engineering.

• Formal Verification
• Parallel Programming
• Programming Languages
• +۳ مورد دیگر

Frédéric LOULERGUE is a Full Professor at the University of Orléans, affiliated with the LIFO (Laboratoire d'Informatique Fondamentale d'Orléans) laboratory and part of the LMV research team (Languages, Models, and Verification). His work focuses on formal methods for programming languages, parallel computing, and cybersecurity. He leads research in verified parallel frameworks, distributed systems reconfiguration, and TPM software stack validation. Contact him at frederic.loulergue@univ-orleans.fr or visit his homepage at https://www.univ-orleans.fr/lifo/Members/loulergu/ . Research interests include formal verification of parallel algorithms, deductive program analysis with tools like Frama-C and Coq, and the development of formally verified distributed systems. Recent work emphasizes combining deductive verification with shape analysis, runtime monitoring for security properties, and formalizing decentralized reconfiguration languages in Maude. His publications span topics from verified parallel functional programming (SyDPaCC framework) to cybersecurity in Trusted Platform Modules (TPM). He collaborates on frameworks like WhyBSML for scalable parallel computing and Concerto-D for distributed reconfiguration. No scientific awards are listed, but his contributions are highlighted through extensive peer-reviewed publications and conference activities. Labs/Teams: Member of LIFO's LMV team, contributing to the formal methods research group. Involved in cross-disciplinary projects on cloud computing security and high-performance parallel programming.

Garrison Gaoمشاهده پروفایل

مدرس

• AI Security and Privacy
• System Security
• Hardware Security
• +۴ مورد دیگر

Garrison Gao is a Lecturer (equivalent to Assistant Professor in the US) at the School of Physics, Maths and Computing, specializing in Computer Science and Software Engineering at The University of Western Australia. Previously, he held tenured roles as a Research Scientist and Senior Research Scientist at Data61, CSIRO. He is an IEEE Senior Member and serves as an Associate Editor for IEEE Transactions on Information Forensics and Security, and IEEE Transactions on Neural Networks and Learning Systems. His research focuses on AI security, system security, and hardware security, with notable contributions to federated learning, adversarial machine learning, and threat detection frameworks. Education: M.Sc from the University of Electronic Science and Technology of China (UESTC) and Ph.D. from the University of Adelaide, Australia. Research interests include AI security and privacy, system security, hardware security, and advanced persistent threat detection. He has received prestigious awards such as the Distinguished Paper Award at Usenix Security 2024 and AsiaCCS 2023, and has been recognized as a 'World's top 2 scientists' (Highly Cited Researcher) in 2022–2024. Recent research outputs include studies on deceptive pattern detection, federated learning vulnerabilities, firmware security tools, and protocol reverse engineering. His work emphasizes practical security solutions for emerging technologies like federated learning and IoT systems.

• Cybersecurity
• Network Security
• Vulnerability Analysis
• +۴ مورد دیگر

Mengyuan Zhang is an Assistant Professor in Computer Systems at the Faculty of Science, Vrije Universiteit Amsterdam, and a member of the Network Institute. Her research focuses on cybersecurity, network security, vulnerability analysis, and network function virtualization. Specific interests include zero-day attacks, attack surface reduction, and security mechanisms for embedded systems and IoT devices. Her work explores cross-regional security practices, router configuration habits, and firmware vulnerabilities. Notable contributions include analyzing default router settings, developing vulnerability assessment tools (e.g., VIET), and studying cross-platform authentication mechanisms. She has published widely in top venues like IEEE Internet of Things Journal, CHI, and NordSec. Current courses taught include Network Security, Security and Safety Engineering, and Software Threat Analysis. Collaborations span international teams, with a focus on improving network resilience against emerging threats.

Paul Underhillمشاهده پروفایل

مدرس

• Cyber Security
• Data Science
• Embedded Systems
• +۵ مورد دیگر

Paul Underhill is a Lecturer in Data Science at the University of Chester, leading the Data Science MSc programme since 2017. He is affiliated with the Faculty of Science, Business and Enterprise and the Computer Science department. His career spans academia, research, IT, and leadership, with a focus on integrating practical experience into teaching and student engagement. Paul holds a BSc in Information Security and Forensic Computing from Anglia Ruskin University, an MSc in Cybersecurity from the University of Chester, and a PG Cert in Teaching and Learning in Higher Education from the same institution. BSc: Information Security and Forensic Computing (Anglia Ruskin University) MSc: Cybersecurity (University of Chester) PG Cert: Teaching and Learning in Higher Education (University of Chester) His research interests include Cyber Security, Embedded Devices, Ethical Hacking, Firmware Analysis, Digital Forensics, and Data Recovery. He actively explores topics such as IoT security, firmware vulnerabilities, and forensic methodologies. Recent publications emphasize embedded systems manipulation and hard drive firmware's role in preserving forensic evidence. Paul’s work spans two key areas: advancing technical cybersecurity practices and applying data science principles in education. His 2023 poster on IoT embedded software manipulation addresses emerging threats in connected devices, while his 2022 conference paper focuses on forensic trails and firmware analysis, reflecting a deep dive into digital evidence preservation. Scientific Award: Fellow of Advance HE (FHEA) In advising, he leads the MSc Data Science programme, ensuring curricula align with industry needs. He contributes to the STEM Outreach Programme, bridging academic expertise with hands-on learning for school students. His grants and funded projects are not detailed in the provided texts. Paul is part of the Research and Knowledge Exchange Institute , focusing on interdisciplinary work at the intersection of technology and societal impact.

Pat Engebretsonمشاهده پروفایل

دانشیار

• Cybersecurity
• Penetration Testing
• Malware Analysis
• +۵ مورد دیگر

Dr. Pat Engebretson is an Associate Professor and Coordinator for the PhD in Cyber Operations Program at Dakota State University's The Beacom College of Computer & Cyber Sciences. He previously served as Dean of The Beacom College (2020-2023), Chief Information Officer at East River Electric, and held roles in the U.S. Department of Defense focusing on cybersecurity. His expertise spans cybersecurity fundamentals, penetration testing, malware analysis, and ethical hacking. Education: DSc. in Information Systems, Dakota State University MS in Information Systems, Dakota State University BS in Psychology & Sociology, North Dakota State University Dr. Engebretson's research focuses on cybersecurity fundamentals, including penetration testing methodologies and malware analysis. He has conducted groundbreaking work on gaming console vulnerabilities (Xbox 360) and wireless security. His publications emphasize practical cybersecurity education and training tools, with two bestselling books translated into nine languages. Awards & Recognition: Ernest M. Teagarden Award for Excellence in Teaching (2014) Grants & Funding: National Science Foundation Scholarship for Service (2014) Department of Defense Information Assurance Scholarship Program (2012-2014) He has presented at major conferences including DefCon, Black Hat, and Department of Homeland Security forums. His teaching interests include networking and cybersecurity curriculum development.

• Embedded Systems
• IoT Security
• Digital System Design
• +۳ مورد دیگر

Paulino Ruiz de Clavijo Vázquez is a Professor in the Department of Electronic Technology at the University of Seville. His primary research focuses on embedded systems, IoT security, digital system design, FPGA implementation, and hardware security. He leads and collaborates on numerous research projects, including advanced IoT boot systems, secure embedded communication, and high-precision timing synchronization for IoT devices. Key projects include the IRIS secure boot framework for IoT and the E-LUKS hardware encryption solution. His work spans both theoretical contributions (e.g., novel trigonometric computation algorithms) and applied hardware-software co-design (e.g., NanoFS file system). He has advised doctoral theses such as 'LILA: Low-level IoT Lightweight Applications.' His research also involves FPGA-based systems for real-time applications, including time servers and FFT modules. Projects like HAVOC (hardware audio codec) and HardTIME (high-precision timing) highlight his focus on practical hardware implementations. He has contributed to over 50 peer-reviewed publications, conference presentations, and patents related to embedded systems, digital circuit design, and IoT security solutions.

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

استاد

• Trustworthy Computing
• Network Security
• Artificial Intelligence Security
• +۳ مورد دیگر

Dr. Kun Sun is a tenured Professor in the Department of Information Sciences and Technology at George Mason University. He serves as Director of the Sun Security Laboratory and Associate Director of the Center for Secure Information Systems. His research spans network security, AI/ML security, software security, and IoT systems, with over 130 publications in these domains. Research Focus : Trustworthy computing environments, moving target defense, AI security, smartphone security, software-defined networking, and software security. Notable Contributions : Innovations in network attack detection (TCP/IP, Wi-Fi, SDN), secure AI frameworks (DNN watermarking, adversarial defense), and container/IoT security mechanisms. Awards & Recognition : George Mason University Presidential Award for Faculty Excellence in Research (2022). His recent work emphasizes graph-based anomaly detection (SentinelAgent), cryptographic chain integration for model security (ChainMarks), and novel frameworks for Android malware classification (FAMCF) and firmware updates (RapidPatch). He also investigates security challenges in Rust programming (TYPEPULSE) and Bluetooth networks (Blueswat).

Niusen Chenمشاهده پروفایل

عضو هیئت علمی

• Embedded System Security
• Storage Security
• Connected and Autonomous Vehicle Security
• +۴ مورد دیگر

Niusen Chen is a Research Assistant Professor at the Institute of Computing and Cybersystems (ICC) at Michigan Technological University. His research focuses on embedded system security, storage security, and connected/autonomous vehicle security. He specializes in developing robust systems to counteract ransomware, malware, and forensic attacks through techniques like plausibly deniable encryption and secure deletion. Key research interests include: Plausibly deniable encryption for mobile/wearable devices Flash translation layer and file system forensics Real-time malware detection and firmware restoration in vehicles His recent work emphasizes cross-layer security solutions and hardware-independent storage systems. Over 15 articles since 2021 reflect a strong focus on cybersecurity innovations in embedded and mobile systems. No scientific awards are listed here. Advising and grant details are currently unavailable. His lab work centers around creating specialized testbeds for flash memory research using hardware platforms like LPC-H3131.

• Vehicle Cybersecurity
• Software Exploitation
• Cryptography
• +۳ مورد دیگر

Roberto Gesteira Miñarro is a Research Assistant at the Institute for Research in Technology (IIT) at Comillas Pontifical University, where he focuses on Intelligent Systems. He holds academic roles as Assistant Professor in Cybersecurity and Data Protection at the Telematics and Computing Department (ICAI), and previously taught Differential Equations at the Applied Mathematics Department. His research emphasizes vehicle cybersecurity, software exploitation, and cryptography, with notable contributions to breaking RKE protocols and analyzing wireless vehicle attacks. He earned a BSc/MSc in Telecommunications Engineering and a MSc in Cybersecurity from ICAI, alongside Mathematics studies at UNED. He has received awards including the Extraordinary Award from ICAI (2020) and the Best Final Degree Project Award (2021). His work includes developing security tools for OBD-II devices and presenting at conferences like Black Hat Europe 2024. Active in CTF competitions, he leads the ICAI Cyber Team and participates in international teams like thehackerscrew. Education: BSc Telecommunications Engineering, Comillas (2020) MSc Telecommunications Engineering, Comillas (2022) MSc Cybersecurity, Comillas (2022) BSc Mathematics, UNED (ongoing) Research Interests: Vehicle cybersecurity, embedded system exploitation, cryptographic protocols, and IoT security. He explores vulnerabilities in automotive systems, RF protocols, and smart grids through interdisciplinary approaches combining hardware reverse engineering, software analysis, and threat modeling. Publications: Recent work focuses on vehicular cybersecurity (e.g., RKE protocol analysis), IoT infrastructure risks, and industrial OT security. His 2025 papers on clonable key fobs and wireless vehicle attacks highlight his expertise in automotive security. Awards: Extraordinary Award, Comillas (2020) Best Final Degree Project, COITT/AEGITT (2021) International Mathematics Competition Medals (Silver, 2 Bronze, 2 Honorable Mentions) Advising & Grants: While no formal advisees are listed, his teaching roles include courses on cybersecurity and mathematics. His collaborations involve IIT, industry partners, and international exchanges at Katholieke Universiteit Leuven (2025). Labs & Teams: Member of IIT's vehicle cybersecurity lab, leading ICAI Cyber Team and contributing to thehackerscrew CTF team. His work bridges academic research with real-world applications in automotive and IoT sectors.

• Graphics and visualization
• Measuring technique
• Computer graphics
• +۵ مورد دیگر

Samir Lemeš serves as Dean of the Polytechnic Faculty at the University of Zenica (2022-2026), where he was elected as full professor in both Graphics and Visualization (November 2023) and Measuring Techniques (May 2022). Previously, he held significant leadership roles including Head of the Department of Software Engineering (2020-2023), Vice-Dean for Scientific Research (2015-2022), and Head of the Department of Civil Engineering and Building Structures (2015-2019). His research spans graphics and visualization, measuring techniques, computer graphics, CAD applications, digital image processing, and environmental monitoring systems. His work bridges theoretical computer science with practical engineering applications, particularly in Industry 4.0 contexts where he explores AI image generators, blockchain technologies, and IoT-enabled embedded systems. His research demonstrates a consistent focus on applying computational methods to solve engineering and environmental challenges. Analysis of his recent publications (2023-2025) reveals a strong emphasis on Industry 4.0 technologies, with significant contributions in computer vision applications, AI prompt engineering, digital image processing using OpenCV, and blockchain implementations. His work shows increasing interdisciplinary collaboration, particularly between computer science, environmental science, and industrial engineering. Professor Lemeš has been instrumental in several international environmental projects including the Network of Aarhus Centers for the Green Agenda and Environmental Protection (2024-2026), Reindustrialisation Following the Brownfield is Better than Greenfield Principle (2024-2026), and the Healthy Urban Environment Erasmus+ project (2018-2021). His grant portfolio demonstrates consistent funding from EU programs, UNESCO, OSCE, and international environmental organizations. He teaches across multiple engineering disciplines including Introduction to Information Technology, Computer Graphics, CAD in Construction, and Standardization, serving both undergraduate and doctoral students at the Polytechnic Faculty. His courses bridge theoretical computer science with practical engineering applications, particularly in the context of Industry 4.0 technologies.

Christophe Hauserمشاهده پروفایل

استادیار

• Software Security
• Binary Program Analysis
• Reverse Engineering
• +۶ مورد دیگر

Christophe Hauser is an Assistant Professor at Dartmouth College and a member of the Institute for Security, Technology and Society (ISTS). His research focuses on software security, binary program analysis, reverse engineering, and vulnerability discovery across software and hardware systems. He integrates formal methods, machine learning, and program analysis to enhance cybersecurity defenses. Education: Joint PhD from CentraleSupélec (France) and Queensland University of Technology (Australia). Prior roles include Research Lead at USC Information Sciences Institute (USC-ISI) where he founded the Binary Analysis and Systems Security (BASS) group, and postdoctoral researcher at UC Santa Barbara’s Seclab. Research Interests: Binary code and firmware analysis, intrusion detection, usable security, privacy-preserving systems. Notable projects include BinPool (vulnerability dataset), BinHunter (vulnerability localization), and Harm-DoS (DoS mitigation). His work emphasizes practical applications such as automated fuzzing, decompilation analysis, and neuro-symbolic code search systems. He has contributed to open-source tools like angr and developed frameworks for firmware integrity validation (BootKeeper).

Tevfik Bultanمشاهده پروفایل

استاد

• Security
• Cryptography
• Programming Languages
• +۷ مورد دیگر

Tevfik Bultan is a Professor in the Department of Computer Science at the University of California, Santa Barbara (UCSB), part of the College of Engineering. His research focuses on automated verification techniques, software security, and formal methods, with applications to web software, concurrency, and service-oriented systems. He leads the Verification Laboratory, which explores methods for improving software dependability through static analysis, model checking, and symbolic execution. Bultan holds a PhD from the University of Maryland, College Park, and academic degrees from Middle East Technical University and Bilkent University. His honors include the NSF Early Career Award and ACM SIGSOFT Distinguished Paper Award. Bultan has advised numerous PhD, MS, and undergraduate researchers, contributing to advancements in side-channel analysis, quantitative information flow, and vulnerability detection. His work bridges theoretical foundations with practical tools, such as the STASE framework for firmware vulnerability analysis and CanCheck for web application security. Key affiliations include the UCSB Center for CyberSecurity and collaborations with industry and academic partners. Current research trends emphasize neural network verification, scalable quantitative analysis, and automated policy repair for cloud systems. His courses cover topics like automated verification, software engineering, and quantitative information flow, reflecting his commitment to educating future researchers and practitioners in secure software development.

• Cybersecurity
• Automotive Systems
• Formal Methods
• +۴ مورد دیگر

Dr Hoang Nga Nguyen is an Associate Professor in Cyber Security at Swansea University, UK. Affiliated with the School of Mathematics and Computer Science, his work focuses on cybersecurity for automotive and autonomous systems, formal verification, and embedded systems security. He leads research projects funded by EPSRC, RSSB, InnovateUK, and Digital Catapult, including AutoCHERI (2022-2024) and QRNG for CAV . Current research agenda: Cybersecurity in automotive systems Specialization: Model-based and simulation-based verification techniques Projects: VRBMAS, ACID, Ditto, Secure CAV His research contributions span: Cybersecurity frameworks for automotive systems Formal methods in railway safety Embedded systems threat landscapes Resource-bounded agent logic Android app collusion detection Scientific Awards and honors: None explicitly mentioned in the provided text. As a supervisor , he guides PhD students in topics like: Addressing Automotive User-Centric Privacy and Security Model-Based Security Testing Approaches for Hardware Security He also teaches modules including Software Security Engineering (CS-239) and Embedded Systems Security (CSCM68, CSCM868) . Nguyen works at the Computational Foundry on Bay Campus, Swansea, contributing to the Verification & Validation of Autonomous Systems network and the European Technical Working Group on Formal Methods in Railway Control.