Sotabase

Career

· Graduate Student (MPH), University of California, Berkeley2017–2019
· Assistant Professor Of Internal Medicine, University of Central Florida2017–

Publications (21)

Analysis of information flow security in cyber-physical systems
Int. J. Crit. Infrastructure Prot. · 2010
149
cited
Model-Checking BNDC Properties in Cyber-Physical Systems
2009 33rd Annual IEEE International Computer Software and Applications Conference · 2009
39
cited
Distributed Grid Intelligence for future microgrid with renewable sources and storage
North American Power Symposium · 2010
22
cited
Architecture of a smart microgrid distributed operating system
IEEE PES Power Systems Conference and Exposition · 2011
19
cited
Consistency vs. Availability in Distributed Cyber-Physical Systems
ACM Transactions on Embedded Computing Systems · 2023
15
cited
Information Flow Analysis of Energy Management in a Smart Grid
International Conference on Computer Safety, Reliability, and Security · 2010
13
cited
A cost-effective early warning system for improving the reliability of power systems
2013 Proceedings Annual Reliability and Maintainability Symposium (RAMS) · 2013
5
cited
Service Discovery for the Connected Car with Semantic Accessors
2019 IEEE Intelligent Vehicles Symposium (IV) · 2019
5
cited
Consistency vs. Availability in Distributed Real-Time Systems
arXiv.org · 2023
4
cited
Security Middleground for Resource Protection in Measurement Infrastructure-as-a-Service
IEEE Transactions on Services Computing · 2019
4
cited
Information flow security in cyber-physical systems
Cyber Security and Information Intelligence Research Workshop · 2011
3
cited
Distributed Load Balancing for FREEDM system
2010
2
cited
Modeling and verification of security properties for critical infrastructure protection
Cyber Security and Information Intelligence Research Workshop · 2013
2
cited
Verification and Protection of Confidentiality in an Advanced Smart Grid
Hawaii International Conference on System Sciences · 2012
1
cited
CPS-CSH Cyber-Physical Analysis and Design
Critical Information Infrastructures Security · 2012
Data integrity protection through security monitoring for just-in-time news feeds
2015 IEEE 4th International Conference on Cloud Networking (CloudNet) · 2015
DEVELOPMENT OF A COST-EFFECTIVE, SMART EARLY WARNING SYSTEM FOR IMPROVING THE RELIABILITY OF ELECTRICAL SUBSTATIONS
2014
Development of a New Ground Motion Model for a Peninsular Indian Rock Site
2022
Process Algebra and Bisimulation Techniques for Information Security
2011
Security in the Cyber-Physical Electric Power Infrastructure
2020
Sotabase