Herbert Wertheim College of Engineering
System Reliability Lab (SysRel)
Led by Tuba Yavuz · Electrical and Computer Engineering
What we study
The System Reliability Lab studies how to analyze and secure software in IoT devices using formal methods and automated tools. They focus on extracting models from code to detect bugs and improve security.
What working here is like
- Computational
- No organisms (data only)
- Coding required
- Project
- 1
- Papers
- 2
Current projects
Towards a Secure and Reliable Internet of Things through Automated Model Extraction and Analysis
This project aims to improve IoT security by analyzing system software using formal methods and automated tools.
Summaries are written by AI in plain language from public symposium abstracts and may be imperfect.
Recent papers, explained
- ENCIDER: Detecting Timing and Cache Side Channels in SGX Enclaves and Cryptographic APIs
2022 · IEEE Transactions on Dependable and Secure Computing
Tests whether a tool can detect timing and cache side-channel vulnerabilities in Intel SGX enclaves and cryptographic APIs.
- A Symbolic Approach to Detecting Hardware Trojans Triggered by Don’t Care Transitions
2022 · ACM Transactions on Design Automation of Electronic Systems
Develops a symbolic method to detect hardware Trojans triggered by don’t care transitions in finite-state machines.
Plain-language summaries are AI-written and reviewed by us; check the paper for details.
How to reach out
Tuba Yavuz hasn't set up this page yet. You can also look them up in the UF directory (search “Tuba Yavuz”).