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

Joobeom Yunمشاهده پروفایل

دانشیار

• Software Security
• Network Security
• Digital Forensics
• +۱ مورد دیگر

Joobeom Yun serves as Associate Professor in the Department of Computer and Information Security at Sejong University since 2015, concurrently holding a Board Member position at the Korea Institute of Information Security and Cryptology (KIISC) since 2016. Previously, he was Senior Researcher at the National Security Research Institute from 2001 to 2015, establishing a career bridge between government security research and academic instruction. His academic credentials include: Ph.D. from KAIST (2012) M.S. from Seoul National University (2001) B.S. from Korea University (1999) Professor Yun's research program centers on Software Security, Network Security, Digital Forensics, and Cloud Security, with particular emphasis on automatic exploit generation through fuzzing/concolic execution, secure cloud data deduplication, and ransomware-resistant backup systems. His fingerprint analysis reveals deep expertise in fuzzing (100%), deduplication (73%), software vulnerability (51%), and IoT security (45%), demonstrating both breadth and specialization in critical cybersecurity domains. Recent publications (2023-2024) exhibit a pronounced shift toward AI-integrated security solutions, with 80% of his latest works addressing deepfake detection, adversarial attacks on speech recognition, and AI-enhanced digital forensics. Simultaneously, his IoT security research maintains strong continuity through firmware fuzzing frameworks and multi-architecture emulation techniques, reflecting dual-track innovation in both emerging AI threats and persistent embedded system vulnerabilities. No scientific awards were documented in the provided materials. While specific grant details remain undisclosed, his research trajectory suggests sustained funding for cloud security infrastructure projects and IoT vulnerability assessment tools, particularly through his KIISC board affiliation which facilitates national cybersecurity research coordination. No student advisement information was publicly listed. As KIISC Board Member, Yun actively shapes South Korea's national cybersecurity research agenda while leading a specialized lab at Sejong University focused on practical security implementations for cloud environments, IoT ecosystems, and digital forensic workflows. His team's recent output indicates growing collaboration with international researchers in deepfake countermeasures and ASR security.

• Formal Verification
• Software Engineering
• Computer-Aided Verification
• +۵ مورد دیگر

Zvonimir Rakamaric is a Professor in the Department of Computer Science at the University of Utah. His primary research focuses on formal methods, software verification, and numerical analysis, with an emphasis on ensuring correctness and reliability in software systems. He leads efforts in developing tools and techniques for verifying complex systems, including formal verification of floating-point arithmetic, compiler optimizations, and concurrent/distributed systems. Key Roles: Formal Methods Researcher, Software Verification Specialist, Floating-Point Arithmetic Expert Affiliations: University of Utah School of Computing Research interests span formal verification tools (e.g., SMACK, Dafny), static analysis, and numerical error analysis. His work addresses challenges in safety-critical systems, including embedded software, high-performance computing, and compiler optimizations. Collaborations include institutions like Sandia National Labs and Microsoft Research. Publications emphasize rigorous methods for analyzing floating-point precision, equivalence checking, and tool development for formal verification. His work bridges theoretical foundations with practical tool implementations, contributing to open-source verification frameworks widely adopted in academia and industry.

• Trusted Execution Environments
• Hardware-Software Boundary Security
• Microarchitectural Side-Channel Attacks
• +۵ مورد دیگر

Jo Van Bulck is an Assistant Professor in the Department of Computer Science at KU Leuven's Faculty of Engineering Science, where he leads research in the Distributed and Secure Software (DistriNet) lab. His work focuses on security at the hardware-software boundary, particularly examining trusted execution environments and microarchitectural side-channel vulnerabilities. Dr. Van Bulck completed his Master's thesis on 'Secure Resource Sharing for Embedded Protected Module Architectures' at KU Leuven in 2015, receiving both the VASCO and BELCLIV thesis awards. He earned his PhD in 2020 with the dissertation 'Microarchitectural Side-Channel Attacks for Privileged Software Adversaries,' which received multiple prestigious awards including the ACM SIGSAC Doctoral Dissertation Award, ERCIM STM PhD Award, and FWO/IBM Innovation Award. His research primarily investigates vulnerabilities in trusted execution environments like Intel SGX, with seminal work on attacks such as Foreshadow, LVI, and ZombieLoad. His publications consistently appear in top security venues including IEEE S&P, USENIX Security, and ACM CCS. His research group has made significant contributions to understanding memory isolation failures, interrupt handling vulnerabilities, and developing principled approaches to validate enclave security properties. Dr. Van Bulck's work has profoundly impacted both academia and industry, with multiple CVE assignments for discovered vulnerabilities and direct influence on hardware and software security practices. His recent research focuses on extending security principles to low-end microcontrollers and developing automated validation frameworks for trusted execution environments. ACM SIGSAC Doctoral Dissertation Award (2021) FWO/IBM Innovation Award (2021) ERCIM WG STM Best Ph.D. Thesis Award (2021) Best Paper with Artifacts Award (SysTEX 2025) Distinguished Paper Award (EuroS&P 2025) Cybersecurity Artifacts Competition and Impact Award (ACSAC 2023) Dr. Van Bulck advises multiple PhD students including Márton Bognár (completed 2025) and Fritz Alder (completed 2023), and regularly supervises numerous master's theses. He leads several major research projects including 'Cross-Layer Systems Security for Trusted Execution Environments' (2025-2029) and 'Trustworthy Execution Environments for Secure Computing' (2024-2029). His research has been supported by competitive funding from KU Leuven and collaborative industry partnerships. As a member of the Council of the Faculty of Engineering Science, Dr. Van Bulck actively contributes to academic governance. He maintains the DistriNet research group's focus on practical security research with real-world impact, evidenced by numerous open-source contributions including the influential SGX-Step framework. His work bridges theoretical security principles with practical implementation challenges in modern computing systems.

Antonio Bianchiمشاهده پروفایل

استادیار

• Computer Security
• Systems Security
• Software Security
• +۹ مورد دیگر

Antonio Bianchi is an Assistant Professor in the Department of Computer Science at Purdue University, co-founder of the PurSec Lab. His research focuses on enhancing security of edge devices such as smartphones, IoT devices, drones, and embedded systems. He has developed novel techniques in program analysis, binary analysis, fuzzing, reverse engineering, program repair, and binary patching. He is a core member of the Shellphish, OOO, and Nautilus CTF teams and won third place in the DARPA Cyber Grand Challenge. Education: PhD in Computer Science, UC Santa Barbara (2018) MSc in Computer Science, University of Illinois at Chicago (2012) MSc and BSc in Computer Engineering, Politecnico di Milano (2012 and 2008) Research Interests: His work spans software and systems security, with a focus on automated vulnerability detection, secure patching, and defense mechanisms for edge devices. He has published extensively at top venues like USENIX Security, IEEE S&P, and NDSS, and received awards including the NSF CRII Award and Purdue's Undergraduate Advising Award. Articles Overview: His recent work includes groundbreaking studies on Bluetooth protocol vulnerabilities, robotic vehicle patch validation, and secure IoT firmware updates. Articles often combine formal methods with practical tools like angr and fuzzing techniques. Awards: Seed for Success Acorn Award (Purdue, 2023 & 2024) Undergraduate Advising Award (Purdue CS, 2024) Best Paper Award at WOOT 2020 NSF CRII Award (2019) Advising & Grants: He has advised PhD students now in academia and industry, and secured grants totaling over $10M from agencies like DARPA, NSF, and industry partners (Lockheed Martin, Google). His lab focuses on projects like FIREFLY (cyber-physical systems modeling) and DICER (assured patching). Labs & Teams: Co-founder of the PurSec Lab at Purdue, focusing on edge device security. Collaborates with Shellphish team on CTF competitions and automated hacking research.

Jim Alves-Fossمشاهده پروفایل

استاد

• Cybersecurity
• Formal Verification
• Operating Systems
• +۲ مورد دیگر

Jim Alves-Foss is a University Distinguished Professor of Computer Science at University of Idaho's College of Engineering, specializing in high-assurance computing systems and cybersecurity. Core research domains: Formal methods for security verification Operating system security architectures Critical infrastructure protection Automated security policy enforcement Publications demonstrate consistent focus on: Rigorous verification of security properties (e.g., seL4 kernel) Development of automated analysis tools (fuzzing, SDN policy) Industrial control system protection frameworks Adversary-aware risk assessment methodologies

• Embedded Systems
• Multimedia Computing
• VLSI Design
• +۶ مورد دیگر

Professor Hua Harry Li serves in the Department of Computer Engineering at San José State University, teaching specialized courses including Embedded Hardware Systems (CMPE 242), Embedded Software (CMPE 244), and Embedded Wireless Systems (CMPE 245). His academic profile spans semiconductor physics, real-time control systems, and multimedia hardware implementation. Education Background: Doctor of Philosophy, University of Iowa, 1989 Master of Science in Electrical and Computer Engineering, University of Iowa, 1984 Bachelor of Science in Electronics Engineering, Tianjin University, 1981 Graduate Studies in Electronic/Electrical Engineering, Tsinghua University, 1982 Li's research integrates embedded systems with intelligent control methodologies , particularly focusing on fuzzy logic applications in semiconductor manufacturing and neural network implementations for real-time processing. His work bridges theoretical algorithms and hardware constraints, evidenced by publications on vision chips, wafer defect detection, and pH neutralization control systems. The Encyclopedia of Electrical and Electronics Engineering features his contributions to neural fuzzy control techniques for semiconductor equipment. Analysis of his 1993-2005 publications reveals three distinct phases: early neural network applications (1993-1994) in wafer manufacturing and radar systems, mid-career expansion into video compression and vision chips (1995-1997), and mature work on embedded video processing systems (2001-2005). This trajectory demonstrates consistent focus on hardware-constrained intelligent systems while adapting to emerging technologies in wireless communications and multimedia computing. Key Honors: Industrial Neural Network Award (1994 World Congress Neural Network Conference) Who’s Who in Science and Engineering (4th Edition, 1999) Who is Who in America (53rd Edition) Professor Li contributes significantly to academic discourse as Guest Editor for IEEE Transactions on CPMT Special Emerging Technology Section (1994, 1996) and encyclopedia contributor. While specific grant details aren't documented, his sustained publication record and industry-recognized awards indicate substantial research funding, particularly in semiconductor process control and embedded vision systems. His teaching portfolio reflects direct alignment with research expertise through advanced embedded systems courses. Current work appears focused on embedded multimedia hardware systems with practical applications in semiconductor manufacturing and real-time control, though explicit details about active research teams or laboratory facilities aren't provided in available materials.

Luca Arditoمشاهده پروفایل

دانشیار

• Software Engineering
• Mobile Computing
• Gamification in Education
• +۳ مورد دیگر

Luca Ardito is an Associate Professor at the Department of Control and Computer Engineering (DAUIN) of Politecnico di Torino. His research focuses on software engineering methodologies, mobile computing, and gamification strategies in education and testing. His work integrates technical domains such as Android development, GUI testing automation, energy efficiency in software systems, and IoT security. Ardito is a core member of the SoftEng research group, contributing to projects like SIFIS-home for privacy-preserving smart home systems. Research Interests: Advanced GUI testing techniques for Android and web applications Application of gamification in software education and quality assurance Energy-aware software development and green computing practices Certification frameworks for IoT device firmware and cybersecurity His recent work emphasizes empirical studies on gamification in UML modeling education, Kotlin adoption in Android ecosystems, and innovative approaches to firmware certification. Ardito has pioneered tools like Umlegend for gamified UML learning and Bipmin for BPMN education. Grants & Collaborations: Leading multidisciplinary projects combining computer science with agriculture (e.g., UAV-based hazelnut tree characterization) Active in industry partnerships for mobile testing frameworks (e.g., TOGGLE library) Labs & Teams: Core contributor to Politecnico's SoftEng Research Group , collaborating on projects like SIFIS-home (FP7/ERC-funded).

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

مدرس

• Mobile Computing
• Wireless Sensor Networks
• Embedded Systems
• +۵ مورد دیگر

Yu Zhang is a Lecturer in Computing (IoT/Networking) at the School of Computing, Macquarie University, Australia. He holds a PhD in Computer Science from RMIT University, an M.Eng in Distributed Computing from the University of Melbourne, and a B.Eng in Software Engineering from Southwest University for Nationalities. His research focuses on mobile computing, wireless sensor networks, embedded systems, on-device machine learning, and IoT, with emphasis on security, edge computing, and privacy preservation. He is affiliated with the Future Communications Research Centre and Smart Green Cities Research Centre. Dr. Zhang’s work integrates theoretical advancements with practical applications in IoT and edge computing. His research outputs span secure device communication, energy-efficient networking protocols, and anomaly detection frameworks. Collaborations include projects like the CSIRO Data61 PhD Scholarship. He actively contributes to IEEE and ACM, addressing challenges in privacy-aware systems and federated learning.

Rahamatullah Khondokerمشاهده پروفایل

استاد

• Cybersecurity
• Digitalization
• Automotive Security
• +۱۱ مورد دیگر

Prof. Dr.-Ing. Rahamatullah Khondoker is a Professor of Business Information Systems with a focus on IT Security and Digitalization at THM University of Applied Sciences . He leads the CYSECDIGITAL research group, specializing in cybersecurity solutions for digitalization, autonomous mobility, and smart systems. PhD candidates under his supervision include Adnan Kujovic, Kumar Saurabh, Md. Zahirul Islam, and Khandaker Mohammad Mohiuddin. Projects funded by Erasmus+, DAAD, and THM Strategic Fund include ZDayIIoTSec and CyModeB . He has collaborated with institutions like IIT Delhi, BUET, and IIIT Allahabad, and signed MOUs with universities in Bangladesh, India, and Thailand. Research Focus : His work bridges Cybersecurity and Digitalization , with key contributions in SDN/NFV security, automotive cybersecurity (ISO/SAE 21434), IIoT, and AI-driven threat modeling frameworks like STRIDE and TMAP. Recent Publications highlight trends in automotive cybersecurity , IoT security audits , zero-day exploit detection , and AI applications for intrusion detection . His research spans threat intelligence integration, blockchain for supply chains, and machine learning in precision agriculture. Scientific Contributions : Nominated for best paper awards at AINTEC 2014 and IEEE NetSoft 2016. Co-authored foundational works on SDN/NFV security (Springer, 2018) and Industrie 4.0 security (Springer, 2017). Industry Collaboration : Partnerships with Continental, ANSYS, DRASS, and others in automotive, IIoT, and cybersecurity domains. He also leads the Automotive Cybersecurity Academy and advises on digitalization policy.

Tolga Ayavمشاهده پروفایل

استاد

• Formal Methods for Software Testing
• Hardware Component and On-Chip System Tests
• Real-Time and Fault-Tolerant Embedded Systems
• +۵ مورد دیگر

Professor Tolga Ayav is affiliated with the Department of Computer Engineering at Izmir Institute of Technology , where he has served as faculty since 2006. He received his BSc in Electrical and Electronics Engineering (1995) from Dokuz Eylül University, MSc in Computer Engineering (1999) from Izmir Institute of Technology, and PhD in Computer Engineering (2004) from Ege University. He was a researcher at INRIA Rhone-Alpes in 2005. Education BSc: Electrical and Electronics Engineering, Dokuz Eylül University (1995) MSc: Computer Engineering, Izmir Institute of Technology (1999) PhD: Computer Engineering, Ege University (2004) Research Interests include formal methods for software testing, hardware component and on-chip system tests, real-time and fault-tolerant embedded systems, blockchain applications, and machine learning. His work focuses on: Formal verification techniques Real-time system optimization Hardware-software co-design Blockchain-based security solutions Mathematical modeling in testing Recent Publications span topics like: Deep learning for livestock monitoring Blockchain in IoT security Fourier expansion in fault analysis Optimized data replication strategies Finite state machine testing Scientific Awards include: Best Paper Award at IEEE CBDCom 2016 for cloud data replication research Teaching includes courses such as: CENG 312: Computer Networks CENG 523: Advanced Topics in Real-Time Systems CENG 215: Circuits and Electronics Projects he has led include: TÜBİTAK TEYDEB: Spectrally Efficient Small Cell Base Station Design BAP: Dedicated Server for Physical Network Applications Lab Leadership : He leads the DCS Research Group at Izmir Institute of Technology, focusing on distributed computing and real-time systems.

Marcel Kyasمشاهده پروفایل

استادیار

• Computer Engineering
• Smart Home Systems
• Embedded Systems
• +۴ مورد دیگر

Marcel Kyas is an Assistant Professor in the Department of Computer Systems and Telematics under the School of Computer Science. His research focuses on the intersection of smart home technologies, firmware automation, and network reliability. Research Interests: Designing robust firmware update mechanisms for heterogeneous smart home devices Evaluating trade-offs between energy efficiency and user convenience in smart home systems Testing cyber-physical resilience under network disruptions (e.g., DoS attacks on smoke detectors) User-centric metrics for smart home device usability Affiliations: Active member of research projects including RIOT, VIVE media, and X-CHECK. Previously involved in the Einstein Center Digital Future (ECDF) and SAFEST initiatives.

Gianluca Stringhiniمشاهده پروفایل

دانشیار

• Cybersecurity
• Machine Learning
• Data-Driven Methods
• +۴ مورد دیگر

Gianluca Stringhini is an Associate Professor in the Department of Electrical and Computer Engineering at Boston University. He co-directs the Security Lab (SeclaBU) and is affiliated with the Faculty of Computing & Data Sciences and the Computer Science Department. Specializes in data-driven cybersecurity research Focused on combating online fraud, malware, and disinformation Recipient of NSF CAREER Award and Early Career Excellence in Research Award His work integrates machine learning, systems security, and computational social science to address societal digital harms. Recent publications emphasize social media content moderation, malware analysis, and YouTube hate attack attribution. Over 150 peer-reviewed papers with media coverage in BBC, New York Times, and Wired. Google Academic Research Awards (GARA) Red Hat Collaboratory Research Incubation Awards NSF and OpenAI funding Stringhini leads interdisciplinary projects and mentors graduate students in cybersecurity and AI. He serves as a Distinguished Faculty Fellow at BU's College of Engineering.

• Cybersecurity
• Data Leak Prevention
• Steganography
• +۵ مورد دیگر

Dr. Abdulaleem Al-Othmani is a Senior Lecturer in Computer Science at De Montfort University (DMU), serving as Programme Manager for APU/DMU dual award computing programmes. He holds a PhD in Computer Science from Universiti Teknologi Malaysia (UTM) and has held academic roles at University Kuala Lumpur (UniKL) and Asia Pacific University (APU) in Malaysia. His research focuses on cybersecurity, including steganography, digital watermarking, data leak prevention, and machine learning applications in security. Education: BSc in Computer Engineering, University of Baghdad (2002) Master of Computer Science (Information Security), UTM (2010) PhD in Computer Science, UTM (2016) Research Interests: Data Leak Prevention frameworks for educational institutions Cybersecurity in IoT and telemedicine systems Machine learning-driven threat detection E-learning security during pandemics Biometric authentication systems for healthcare Awards & Grants: Principal Investigator: RM99,380 FRGS grant for data leak prevention (2020–2022) UTM International Doctoral Fellowship (2011–2012) Certificate of Excellence for PhD thesis (2016) Advising & Professional Roles: Supervised over 20 PhD/Master students and 50+ bachelor dissertations Current PhD supervision: Safari Ismail Mussa (web app vulnerability scanners) External Examiner for MSc programmes at Birmingham City University (2021) Member of IEEE, BCS, ACM, and AIS professional bodies He is affiliated with the Cyber Technology Institute (CTI) at DMU and contributes to editorial boards of journals/conferences.

Stephen Checkowayمشاهده پروفایل

دانشیار

• Embedded Systems Security
• Cyberphysical Security
• Cryptography
• +۱ مورد دیگر

Stephen Checkoway is Associate Professor of Computer Science at Oberlin College, specializing in embedded systems security and vulnerability analysis. He holds a Ph.D. in Computer Science from UC San Diego. His research examines: Vulnerabilities in embedded and cyberphysical systems Hardware/firmware security analysis techniques Formal methods for security verification Web authentication vulnerabilities Recent publications focus on media codec vulnerabilities, firmware analysis, and authentication systems. He received the 2021 Golden Goose Award for automotive security research with real-world impact. Checkoway teaches computer architecture, systems programming, and security courses using hands-on vulnerability analysis approaches.

Saman Zonouzمشاهده پروفایل

دانشیار

• Cyber-Physical Systems Security
• Critical Infrastructure Protection
• Embedded Systems Security
• +۷ مورد دیگر

Saman Zonouz is an Associate Professor at Georgia Institute of Technology with joint appointments in the School of Electrical and Computer Engineering and the School of Cybersecurity and Privacy. He joined Georgia Tech in 2022 after prior roles at Rutgers University and the University of Miami. His research focuses on cybersecurity and privacy in cyber-physical systems, particularly critical infrastructures such as power grids and industrial control systems. Zonouz holds a Ph.D. in Computer Science from the University of Illinois at Urbana-Champaign (2011) and a B.Sc. from Sharif Institute of Technology (2006). His work bridges theoretical computer science with practical engineering challenges, emphasizing resilience, attack detection, and physical-layer security. His research interests include attack detection in cyber-physical systems, embedded systems security, side-channel attacks, and resilient distributed control strategies. Recent trends in his publications highlight advancements in hardware implant detection, stealthy supply chain attacks, and cross-domain resilience frameworks for modern power systems. Zonouz has received prestigious awards including the Presidential Early Career Award for Scientists and Engineers (PECASE), NSF CAREER Award, and NSA Significant Research Recognition. His work often involves collaborations with industry and government agencies to address real-world cybersecurity challenges. He has led projects funded by NSF, AFOSR, and Google, focusing on topics like trustworthy additive manufacturing, privacy-preserving IoT systems, and cyber-informed engineering education. His lab develops tools such as OpenConduit for power system simulation and Guide-Guard for bioengineering applications.