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

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

Russell Tessierمشاهده پروفایل

استاد

• Reconfigurable Computing
• FPGA Architecture
• CAD Algorithms for FPGAs
• +۴ مورد دیگر

Russell Tessier is a Professor and Department Head of Electrical and Computer Engineering at the University of Massachusetts Amherst, affiliated with the Manning College of Information and Computer Sciences. His research focuses on reconfigurable computing, FPGA architectures, and hardware security, with notable contributions in CAD algorithms for FPGAs, embedded systems, and multi-tenant FPGA vulnerability analysis. Education: B.S.C.S.E., Rensselaer Polytechnic Institute (1989) M.S. and Ph.D., Massachusetts Institute of Technology (1992 and 1999) Research Interests: Dr. Tessier's work spans FPGA security (e.g., side-channel attacks, power distribution vulnerabilities), reconfigurable cloud computing, and hardware acceleration for applications like SAR imaging and machine learning. His lab, the Reconfigurable Computing Group, develops open-source FPGA cores (e.g., FlexGrip GPGPU, DE4 NetFPGA) and explores cutting-edge security countermeasures. Awards and Honors: Chancellor's Leadership Fellow (2015-2016) NSF Information Technology Research Grant Lilly Teaching Fellow (2002-2003) Multiple College of Engineering Excellence Awards Grants and Projects: Active funding includes NSF SaTC grants on reconfigurable cloud security and NASA support for snowpack measurement systems. His research also addresses FPGA-based solutions for cybersecurity, such as intrusion detection and power-side channel mitigation. Labs and Teams: Leads the UMass Reconfigurable Computing Group, which collaborates on open-source FPGA tools, security frameworks, and embedded system designs. The group maintains platforms like the DE4 NetFPGA and FlexGrip architecture.

Shahid Razaمشاهده پروفایل

استاد

• Cybersecurity
• Internet of Things (IoT) Security
• AI/Machine Learning & IoT Security
• +۳ مورد دیگر

Shahid Raza is a Professor of Cybersecurity at the University of Glasgow's School of Computing Science. He previously led the RISE Cybersecurity Unit in Sweden, establishing it as a leading research group. His expertise spans IoT Security, PKI, AI-driven cybersecurity solutions, and hardware/data security. Raza holds a PhD and Docentship from Uppsala University, alongside a Bachelor's with a Gold Medal for academic excellence. Education: B.Sc. (Computer Science, 3.99/4.0 CGPA, Gold Medal), Licentiate, PhD, and Docentship in Cybersecurity from Sweden. He leads EU-funded projects like H2020 CONCORDIA and Horizon Europe CUSTODES, coordinating initiatives such as the Cyber Node and Cyber Range. Active in cybersecurity policy, he serves on the EU SCCG, ECSO, and EARTO Security & Defence Research working groups. Research Interests Public Key Infrastructure (PKI) for IoT AIAgent-Driven Cybersecurity Solutions IoT Certification Standards Hardware Security for Low-Power Devices Grants & Projects Coordinator: Horizon Europe CUSTODES Technical Leader: H2020 Arcadian-IoT Founder: RISE Cyber Range (Sweden's largest cybersecurity test facility) Awards & Memberships IEEE Senior Member Gold Medal for Academic Excellence (Bachelor's)

Reza Montasariمشاهده پروفایل

مدرس ارشد

• Digital Forensics
• Cyber Security
• Cyber Threats
• +۷ مورد دیگر

Dr. Reza Montasari is a Senior Lecturer in Cyber Threats at Swansea University's Hillary Rodham Clinton School of Law. He holds a BSc in Multimedia Computing and MSc in Computer Forensics from the University of South Wales, and a PhD in Digital Forensics from the University of Derby. His professional memberships include Fellow of the Higher Education Academy (FHEA) and Chartered Engineer (CEng). Montasari’s research focuses on Digital Forensics, Cyber Security, and Cyber Terrorism, with over 50 publications. He has authored/co-authored books like Cyberspace, Cyberterrorism and International Security (2024) and Countering Cyberterrorism (2023). His work bridges technical and legal aspects of cyber threats, addressing AI’s role in counterterrorism and national security. He has held roles such as External Examiner at the University of South Wales and leadership positions in cybersecurity initiatives. His expertise includes IoT forensics, dark web challenges, and digital policing strategies. Montasari also collaborates with law enforcement agencies like Cheshire Police and advises media on cybersecurity issues. Key contributions include editorial board memberships, conference presentations (e.g., ICGS3), and contributions to cybersecurity policy development. His research emphasizes ethical AI applications, privacy rights, and mitigating cyber threats in modern societies.

Anomadarshi Baruaمشاهده پروفایل

استادیار

• System Design and Security
• Healthcare Assistive Systems
• Industrial Control Systems (ICS)
• +۵ مورد دیگر

Anomadarshi Barua is an Assistant Professor in the Department of Cyber Security Engineering at George Mason University, leading the System Design and Security research group. His work spans hardware-software co-design for securing cyber-physical systems (CPS), robotics, and sensors. Prior Affiliation: PhD from University of California, Irvine (2023) Industry Experience: Intel Corporation, Solidigm, Nordic Semiconductor, IDEAS Research Themes: Focuses on multimodal system security (audio, visual, electromagnetic data), analog-digital signal integrity, and quantum-inspired defenses in CPS. Key applications include healthcare systems, smart grids, and industrial control systems (ICS). Recent ACSAC 2024 paper acceptance Best Paper Award at ACSAC 2022 NSF panel reviewer (2024) Labs & Collaborations: Collaborates with University of Louisville on robotics and works on Commonwealth-funded UG research (2024). Publications in ACM CCS, USENIX, CHES, and IEEE Transactions (TDSC, TIFS).

Kimia Zamiri Azarمشاهده پروفایل

استادیار

• Hardware Security
• Verification Formal Methods
• Advanced VLSI Testing
• +۳ مورد دیگر

Kimia Zamiri Azar serves as an Assistant Professor in the Department of Electrical and Computer Engineering at the University of Central Florida, focusing on hardware security and verification methodologies. Her research bridges theoretical formal methods with practical security implementations in semiconductor design and testing. Her educational background includes: Ph.D. in Electrical and Computer Engineering, George Mason University (2021) Postdoctoral Research, University of Florida Dr. Azar's research spans hardware security with emphasis on system-level verification, VLSI design-for-trust, and advanced IC testing. She pioneers techniques in logic locking, secure heterogeneous integration, and IC supply chain security, developing frameworks for authenticated encryption in Systems-in-Package and runtime security monitoring. Her work integrates formal verification with innovative testing methodologies to address hardware trust challenges across the semiconductor lifecycle. Analysis of her recent publications reveals two dominant trends: (1) Application of large language models (LLMs) to hardware design tasks including high-level synthesis code generation and RTL optimization, and (2) Advancement of secure heterogeneous integration techniques for System-in-Package architectures with focus on counterfeit prevention and split-test security protocols. These directions address critical gaps in hardware trustworthiness amid increasingly complex semiconductor supply chains. Her scientific contributions have earned significant recognition: Best Paper Award at ICCAD 2019 Best Paper Award at ISVLSI 2020 Best Paper Award at ICCAD 2020 Best Paper Award at IEEE DCAS 2020 Best Paper Award at HOST 2022 Best Paper Award at DATE 2023 Dr. Azar secures substantial research funding from premier agencies including NSF, SRC, DARPA, AFRL, DoD (NG), and Microsemi. Her grants support projects spanning hardware security validation frameworks, secure heterogeneous integration, and AI-augmented verification methodologies. She actively mentors students in her research group, guiding publications in top venues like IEEE D&T, IEEE TC, and DAC while fostering industry-academic collaborations. Her work directly impacts semiconductor security standards through patented innovations and open-source verification tools. As an active IEEE and ACM member, she contributes to community advancement through conference organization (HOST, DATE), journal editorial roles, and workshop leadership on hardware security standards. Her research group collaborates with semiconductor industry leaders to translate theoretical security frameworks into practical design-for-trust methodologies for next-generation integrated circuits.

Yiorgos Makrisمشاهده پروفایل

استاد

• Hardware Security
• Trusted Systems
• Machine Learning in Semiconductor Manufacturing
• +۹ مورد دیگر

Yiorgos Makris is a Professor in the Department of Electrical and Computer Engineering at the Erik Jonsson School of Engineering & Computer Science, The University of Texas at Dallas, since July 2011. Previously, he was a faculty member at Yale University for over a decade. He holds a Ph.D. in Computer Engineering from the University of California, San Diego, and a Diploma in Computer Engineering from the University of Patras, Greece. Education: Ph.D. in Computer Engineering, University of California, San Diego (2001) M.S. in Computer Engineering, University of California, San Diego (1997) Diploma in Computer Engineering and Informatics, University of Patras, Greece (1995) Research Interests: Hardware Security and Trustworthiness Statistical Side-Channel Fingerprinting Machine Learning in Semiconductor Manufacturing Trusted and Reliable Integrated Circuits Hardware Trojans in Wireless Cryptographic ICs On-Die Learning and Emergent Technologies His work focuses on enhancing hardware security through statistical methods, machine learning, and formal verification, with applications in analog/RF ICs, post-production calibration, and secure IC design. Key Contributions: Co-Founder and Site-PI of NSF CHEST I/UCRC (Hardware and Embedded System Security and Trust) Leader of the Safety, Security, and Healthcare Thrust at TxACE (Texas Analog Center of Excellence) Director of the Trusted and RELiable Architectures (TRELA) Lab Grants and Funding: NSF, NIH, SRC, ARO, AFRL, AFWERX, DARPA, DOE, and industry partnerships with Boeing, Northrop Grumman, IBM, Intel, Qualcomm, etc. Recent grants include projects on DNA storage security, analog neural networks, and malicious hardware detection. Awards and Recognition: IEEE Fellow (2025) Best Paper Awards at DATE'13, VTS'15, DCAS'22 Best Hardware Demonstration Awards at HOST'16 and HOST'18 Erik Jonsson School Faculty Research Award (2020) Labs and Teams: TRELA Lab (Focus: Secure Hardware Design, Trusted Architectures) CHEST I/UCRC (Industry-University Collaboration)

Rajendran Jeyavijayanمشاهده پروفایل

دانشیار

• Hardware Security
• Computer Security
• Hardware Fuzzing
• +۴ مورد دیگر

Jeyavijayan 'JV' Rajendran is an Associate Professor in the Department of Electrical and Computer Engineering at Texas A&M University, part of the College of Engineering. He is an ASCEND Fellow and leads the Secure and Trustworthy Hardware (SETH) Lab. His research focuses on hardware security, computer security, and novel applications of AI in secure hardware design. Education: PhD in Electrical Engineering (NYU 2015), MS in Computer Engineering (NYU Tandon 2010), BE in Electronics and Communication Engineering (Anna University 2008). Research Interests: Hardware Security, Computer Security, Logic Locking, Hardware IP Protection, and Reinforcement Learning for Security. He explores AI-driven approaches to detect vulnerabilities, protect intellectual property, and enhance secure hardware design through fuzzing, obfuscation, and formal verification. Notable Awards: 2022 Office of Naval Research Young Investigator Award, 2021 IEEE CEDA Ernest Kuh Early Career Award, 2017 NSF CAREER Award. Lab and Teams: The SETH Lab focuses on trustworthy hardware design, developing techniques to secure integrated circuits against reverse engineering and IP theft. Current projects include LLM-based hardware code generation, formal approaches for hardware fuzzing, and AI-driven vulnerability detection.

Angshuman Karmakarمشاهده پروفایل

استادیار

• Post-Quantum Cryptography
• Computation On Encrypted Data
• Side-Channel Analysis
• +۴ مورد دیگر

Angshuman Karmakar is an Assistant Professor in the Department of Computer Science and Engineering at the Indian Institute of Technology Kanpur, India. His research focuses primarily on Post-Quantum Cryptography (PQC) and Computation On Encrypted Data (COED), which are critical areas in modern cryptography and computer security. Dr. Karmakar received his Ph.D. from Katholieke Universiteit Leuven (KU Leuven), Belgium, where he worked under Prof. Ingrid Verbauwhede in the COSIC research group. He was awarded the prestigious Erasmus Mundus fellowship for his doctoral studies and the FWO (Fonds voor Wetenschappelijk Onderzoek – Vlaanderen) fellowship for his post-doctoral research at KU Leuven. His research spans theoretical development of cryptographic schemes, implementation algorithms, side-channel and fault attack analysis, and countermeasure development. Dr. Karmakar has established extensive international collaborations with researchers and engineers worldwide to address complex challenges in cryptography and security. Recent publications demonstrate a strong focus on practical post-quantum cryptographic implementations with particular attention to hardware and software efficiency, side-channel resistance, and novel attack methodologies. His work bridges theoretical cryptography with real-world implementation challenges across diverse platforms from IoT devices to high-performance computing systems. Erasmus Mundus fellowship for doctoral studies at KU Leuven FWO fellowship for post-doctoral study at KU Leuven Google India Research Award for work on practical transition to post-quantum cryptography Dr. Karmakar is actively seeking graduate students and postdoctoral researchers to collaborate on cutting-edge research in cryptography and computer security. His work has significant implications for securing future communication systems against quantum computing threats, with applications spanning blockchain technologies, IoT security, and general-purpose computing systems.

• Computer Security
• Cryptography
• Distributed Systems
• +۳ مورد دیگر

Nickolai Zeldovich is the Joan and Irwin M. Jacobs Professor of Electrical Engineering and Computer Science at MIT, and a member of the Computer Science and Artificial Intelligence Laboratory (CSAIL). He received his PhD from Stanford University in 2008 and focuses on building practical secure systems, including encrypted databases, undefined behavior detection tools, formally verified file systems, and cryptocurrency protocols. His work spans both theoretical and applied aspects of computer security and distributed systems. Research interests include: Secure system design Distributed consensus mechanisms Formal verification of software/hardware Cryptographic protocols Privacy-preserving web technologies Publications & Verification Tools Recent work focuses on modular verification of complex systems, including: Shipwright (2025): Byzantine-fault-tolerant distributed system verification PoWER (2025): Crash consistency verification framework K2 Architecture (2023): Trustworthy hardware security modules Grove (2023): Separation-logic-based verification library Tiptoe (2023): Private web search protocols Major Awards Best paper award, ACM SOSP (2011, 2015, 2017) Sloan Research Fellowship (2010) NSF CAREER award (2011) MIT Jamieson Award for Teaching (2024) Active in multiple startup ventures including Algorand (cryptocurrency), MokaFive (virtualization), and PreVeil (end-to-end encryption).

Timothy M. Jonesمشاهده پروفایل

استاد

• Computer Architecture
• Compilers
• Microarchitecture
• +۵ مورد دیگر

Timothy M. Jones is a Professor of Computer Architecture and Compilation at the University of Cambridge's Computer Laboratory, serving as Director of the Computer Architecture and Semiconductor Design Centre (CASCADE) and Fellow/Director of Studies at Gonville and Caius College. His research focuses on parallelism extraction in applications to enhance performance and address energy efficiency/reliability challenges in compilers, binary translators, and microarchitectures. Current work includes novel cache prefetching techniques, thread-level parallelism schemes, and advanced core prediction methods. He has an Erdős number of 4 and a Dijkstra number of 4 via collaborative networks. Research interests span computer architecture fundamentals, compiler optimizations, hardware security mechanisms, and fault tolerance strategies. Notable contributions include speculative vectorization, heterogeneous parallel error detection (MEEK/FireGuard), and security tools like MarkUs and MineSweeper. CASCADE oversees interdisciplinary projects addressing future microprocessor/system challenges. Jones supervises PhD students through CASCADE's 2025 intake program. Publications emphasize architectural innovations in memory systems, security, and energy efficiency. Key works include MASCOT (memory dependence prediction), Scalar Vector Runahead (2024), and Decoupled Vector Runahead (2023). His work integrates hardware-software co-design principles to tackle real-world processor bottlenecks.

• computer security
• formal methods
• program logics
• +۳ مورد دیگر

Mads Dam is a Professor in Teleinformatics at the School of Computer Science and Communication at Kungliga Tekniska Högskolan (KTH), where he heads the Department of Theoretical Computer Science. His research focuses on computer security, formal methods, and program logics, with particular emphasis on the formal modeling and verification of low-level hardware and software execution platforms for security and application isolation. His educational background includes: PhD in Computer Science from the University of Edinburgh (1990) MSc in Computer Engineering from Aalborg University, Denmark BSc in Information Technology from Aalborg University, Denmark Mads Dam's research interests center on computer security, formal methods, and program logics. His current work focuses on the formal modeling and verification of low-level hardware and software execution platforms such as hypervisors and OS kernels and their underlying hardware. He has made significant contributions to information flow security, verification of microarchitectural systems, and network programming language security. His research bridges theoretical foundations with practical security applications. His recent publications show a strong trend toward verifying low-level systems, with a focus on information flow security for processors, network programming languages (particularly P4), and microarchitectural vulnerabilities. His work combines formal methods with practical security concerns, developing verification techniques that address real-world security challenges in hardware and software systems. The research spans theoretical foundations in temporal and epistemic logics to practical applications in network security and processor verification. His scientific awards and recognition include: Two framework grants from the Swedish Foundation for Strategic Research A junior individual grant from the Swedish Foundation for Strategic Research Project grants and a five-year research fellowship from the Swedish Research Council (VR) Project grants from Ericsson, Microsoft Research, US Air Force, and Vinnova (the Swedish Innovation Agency) Mads Dam has been a principal investigator on numerous research projects and has supervised many graduate students. He has been a partner in several European projects including HATS, S3MS, VerifiCard, LOMAPS, and UaESMC. His research has been supported by substantial grants from major funding bodies, reflecting the significance and impact of his work in computer security and formal methods. He is a founding member of several research centers at KTH, including Access, the CASTOR software research center, and the CDIS center for cyber defense and information security. These centers bring together researchers from multiple disciplines to address complex challenges in cybersecurity and software engineering.

• Secure Computing
• Hardware/Software Co-Design
• Machine Learning
• +۶ مورد دیگر

Farinaz Koushanfar is a Professor in the Department of Electrical and Computer Engineering at the Jacobs School of Engineering, University of California San Diego (UCSD) . She holds the Siavouche Nemat-Nasser Endowed Chair and serves as Founding Co-Director of the Center for Machine-Intelligence, Computing and Security . Her affiliations include NSF Trust-Hub (Co-PI) and NSF TILOS AI Institute . She also serves on the Editorial Board of The Proceedings of the IEEE . Research Focus: Prof. Koushanfar leads research in secure and efficient computing , including robust/safe AI , hardware/system security , AI-based optimization , and cryptographically secure privacy-preserving computing . Her work pioneered logic obfuscation/locking for chip security, automated co-design of AI systems , watermarking/tracing of deep learning models , and physical proofs of provenance . She explores co-design with cryptographic constructs for privacy preservation and manages nonlinearities in ciphertext domains. Article Trends: Recent publications show expertise in neural watermarking (deepfakes, media authentication), zero-knowledge proof frameworks , Trojan attack defenses in ML models, secure federated learning , and hardware acceleration of cryptographic protocols . Her work combines machine learning , cryptography , and physical design security across 2022-2025 publications. Scientific Awards: Fellow of ACM Fellow of IEEE Fellow of National Academy of Inventors (NAI) Fellow of Kavli Foundation of NAS Inducted to NAI 2024 Fellows Advising & Leadership: She has advised multiple PhD students who became faculty at top universities (e.g., Stanford, Purdue). She chairs conferences like ACM WiSec 2024 and co-led the NSF SaTC decadal review. Her lab ( ACES Lab ) produces award-winning graduates like Bita Rouhani (DAC Under-40 Innovators) and Shehzeen Hussain (UCSD Best Dissertation Award).

David Cockمشاهده پروفایل

مدرس ارشد

• Formal Verification
• Operating Systems
• Hardware-Software Co-Design
• +۳ مورد دیگر

Dr. David Cock is a Senior Lecturer and Senior Researcher at ETH Zürich's Department of Computer Science, affiliated with the Systems Group. He holds a PhD from UNSW (2014) and a B.Sc. (hons) from UNSW (2004). His research focuses on formal verification, trustworthy systems, and hardware-software co-design, with notable contributions to projects like Enzian (a CPU/FPGA platform) and seL4 (formally verified kernel). He teaches Advanced Operating Systems and Informal Methods courses. Key achievements include the ACM Software System Award (2022) for seL4 and leadership in projects addressing hardware complexity and security. Research interests include formal methods for hardware modeling (Sockeye project), runtime verification, and mitigating timing channels. His work bridges theoretical foundations with practical systems, emphasizing secure and reliable computing platforms. Projects like Trustworthy BMC aim to enhance baseboard management systems' assurance. Collaborations span academia and industry, with open-source contributions to hardware designs and formal tools. Publications span formal verification, hardware modeling, and secure systems, with recent focus on heterogeneous computing and declarative hardware specifications. Teaching emphasizes practical formal techniques and OS design, leveraging real-world hardware (e.g., Barrelfish). His lab, the Systems Group, explores cutting-edge challenges in systems software and architecture.

• Cybersecurity
• Digital Forensics
• AI Security
• +۶ مورد دیگر

Assoc. Prof. Nhien An Le Khac is an Associate Professor at the School of Computer Science, University College Dublin. He serves as Programme Director for the MSc in Forensic Computing & Cybercrime Investigation, which has trained over 1,500 law enforcement officers globally. His research focuses on cybersecurity, digital forensics, AI security, and secure healthcare IT systems. He holds a PhD from Institut National Polytechnique de Grenoble (France) and has supervised 9 PhD students. His work includes pioneering contributions to electromagnetic side-channel analysis (EM-SCA) for IoT forensics, blockchain forensics, and AI-based fraud detection. Education: BSc/MSc: Vietnam National University, Ho Chi Minh City PhD: Institut National Polytechnique de Grenoble, France Professional Certificate in University Teaching & Learning: UCD Research Interests: Cybersecurity, Digital Forensics, AI Security, Machine Learning, Cloud Computing, Big Data Analytics, Healthcare IT Security. Recent Article Trends: Focus on EM-SCA for IoT device forensics, illicit Bitcoin transaction tracking, and cross-device ML portability. His work bridges theoretical AI advancements with practical forensic applications, emphasizing privacy preservation and explainable AI. Awards & Recognition: World’s Top 2% Scientists (2024) UCD Teaching Excellence Awards (2022, 2018) Best Paper Awards at Elsevier, AI-2022, and DFRWS conferences Grants & Advising: Principal Investigator on grants like Cloud Atlas, CERBERUS, and Urban ARK. Advised 9 PhD students who now work in academia/research globally. Active in funding initiatives like ML-Labs (SFI-funded). Labs & Teams: Leads ASEADOS Lab and maintains datasets like EM-SCA and InSDN. Collaborates globally on forensic frameworks and cybersecurity tools.