Cybersecurity Experts
Embedded vision, embedded systems, reconfigurable computing, computer architecture, cybersecurity, system-level design
Design automation for embedded systems, system-level design, validation of programmable architectures, VLSI CAD algorithms, design space exploration of SOC architectures.
I am an Associate Professor in the Department of Computer and Information Science and Engineering (CISE) at the University of Florida. My research focuses on the security of mobile systems, with a concentration on telecommunications infrastructure and mobile devices. My research has uncovered critical vulnerabilities in cellular networks, made the first characterization of mobile malware in provider networks and offers a robust approach to detecting and combatting Caller-ID scams.…
Projects
ASiLA: Automated Side-Channel Leakage Analysis: Metrics and Tools
Mark TehranipoorSHF: Small: Design-for-Debug Architecture for Post-Silicon Security Validation
Prabhat MishraQuantum Blockchain Encrypted AI Video Encoder for Recon (Quantum BEAVER)
Mark TehranipoorSaTC: CORE: Small: Trustworthy System-on-Chip Design using Secure On-Chip Communication Architecture
Prabhat MishraSaTC: CORE: Medium: Securing the Voice Processing Pipeline Against Adversarial Audio
Patrick TraynorHARDEN: Hardware-Assisted ML-based Anomaly Detection for Cyber Defense
Mark TehranipoorAutoBoM: Intelligent Framework for Automated Bill of Material Generation and Physical Inspection of PCBs
Mark TehranipoorCYAN: Enabling Cyber Defense in Analog and Mixed Signal Domain
Mark Tehranipoor, Waleed KhalilSolutions for Threat Assessment, Mitigation, and Prevention (STAMP)
Mark TehranipoorFIRMA: Personalized Cross-Layer Continuous Authentication
Daniela OliveiraCyber Identity and Behavioral Analytics Consortium (CIBAR)
Damon WoodardSaTC: STARSS: Small: Domain Informed Techniques for Detecting and Defending Against Malicious Firmware
Kevin R. B. ButlerREVELARE: A Hardware-Supported Dynamic Information Flow Tracking Framework for IoT Security and Forensics
Daniela OliveiraCyber-Physical Systems Security through Robust Adaptive Possibilitistic Algorithms: a Cross Layered Framework
Arturo BretasSoC Trust Verification using Security Assertions and Checkers
Prabhat MishraMedium: Security Certification of Autonomous Cyber-Physical Systems
Yier JinRESULTS: Reverse Engineering Solutions on Ubiquitous Logic for Trustworthiness and Security
Yier JinCAREER: Transformative Approaches for Hardware Obfuscation Protection, Attacks, and Assessment
Domenic ForteWiFIUS: Collaborative Research: SELIOT: Securing Lifecycle of Internet-of-Things
Patrick TraynorDigital Healthcare-Associated Infection: Measurement, Defense and Prevention in a Modern Digital Healthcare Ecosystem
Patrick TraynorDeveloper Crowdsourcing: Capturing, Understanding, and Addressing Security-related Blind Spots in APIs
Daniela OliveiraDevelopment of Universal Security Theory for Evaluation and Design of Nanoscale Devices
Mark Tehranipoor