Simulators
13 interactive tools for my courses. They run in the browser, nothing to install.
| ECE 3600 Operating Systems | |
|---|---|
| Base & Bounds Address Translation Simulator | address translation |
| Segmentation Address Translation Simulator | address translation |
| Free Space Management Simulator | memory allocation |
| Paging Address Translation Simulator | paging, TLB |
| Git Conflict & Resolution Simulator | git |
| Git Setup & Push Simulator | git |
| Race Condition Simulator | concurrency |
| Threads & Address Space Simulator | threads |
| ECE 3170 Computer Architecture | |
| Multi-Cycle MIPS Simulator | datapath, control |
| The Floating-Point Vault | IEEE 754 practice game |
| Iron Law Practice | CPU performance, critical path |
| ECE 8473 UNIX and C Programming | |
| Regex for Linux: Interactive Practice | grep -P lessons and practice |
| Regex Practice App (iOS/iPadOS TestFlight) | TestFlight beta build |
Teaching
Villanova University
- ECE 3600Operating Systems
- ECE 3170Computer Architecture
- ECE 1260Engineering Problem Solving and Applications
- ECE 5900-002Mobile App Development
- ECE 8473UNIX and C Programming
Earlier
Digital Logic Design, Electric Circuits.
Research
I work on access control and security in computing systems, mostly on Android: how permissions are modeled, administered and enforced, and how to keep a system secure and still usable. This includes formalizing role-based access control (RBAC) in Android, URI permissions, and updating and enforcing attribute-based (ABAC) policies at the same time.
Selected publications
- Contemporaneous update and enforcement of ABAC policies [ACM]
- A formal specification of access control in Android with URI permissions [Springer]
- Administrative models for role based access control in Android [NSF PAR]
- A formal specification of access control in Android [NSF PAR]
- Role-Based Access Control Models for Android [IEEE]
Full list on Google Scholar.
About
I am an Assistant Teaching Professor in Electrical and Computer Engineering at Villanova University. I hold a PhD in Electrical Engineering from the University of Texas at San Antonio.
When I'm not teaching or doing research, I enjoy walking, indoor games, and reading about new technology and computer security.
Photos
