Bruce M. McMillin

ORCID

Publication Activity (10 Years)

Years Active: 1988-2021
Publications (10 Years): 23

Top Venues

COMPSAC

Critical Infrastructure Protection

CRITIS

PRDC

Publications

Fred Love, Jennifer Leopold, Bruce M. McMillin, Fei Su
Discriminative Pattern Mining for Runtime Security Enforcement of Cyber-Physical Point-of-Care Medical Technology. COMPSAC (2021)
Jennifer L. Leopold, Bruce M. McMillin, Rachel Stiffler, Nathan Lutes
Comparison of Design-Centric and Data-Centric Methods for Distributed Attack Detection in Cyber-Physical Systems. Critical Infrastructure Protection (2020)
Anusha Thudimilla, Bruce M. McMillin
Cyber-Physical Security of Air Traffic Surveillance Systems. Critical Infrastructure Protection (2020)
J. Ceasar Aguma, Bruce M. McMillin, Amelia Regan
Introduction of a Hybrid Monitor for Cyber-Physical Systems. SAI (3) (2020)
Matthew Wagner, Bruce M. McMillin
An Efficient Blockchain Authentication Scheme for Vehicular Ad-Hoc Networks. Critical Infrastructure Protection (2020)
Simon Thougaard, Bruce M. McMillin
Distributed Bias Detection in Cyber-Physical Systems. Critical Infrastructure Protection (2020)
Julius C. Aguma, Bruce M. McMillin
Introduction of a Hybrid Monitor to Cyber-Physical Systems. CoRR (2018)
Prashanth Palaniswamy, Bruce M. McMillin
Cyber-Physical Security of an Electric Microgrid. PRDC (2018)
Bruce M. McMillin
Software Engineering. Computer 51 (2) (2018)
Thomas Roth, Bruce M. McMillin
Physical Attestation in the Smart Grid for Distributed State Verification. IEEE Trans. Dependable Secur. Comput. 15 (2) (2018)
Matthew Wagner, Bruce M. McMillin
Cyber-Physical Transactions: A Method for Securing VANETs with Blockchains. PRDC (2018)
Sai Sidharth Patlolla, Bruce M. McMillin, Sridhar Adepu, Aditya Mathur
An Approach for Formal Analysis of the Security of a Water Treatment Testbed. PRDC (2018)
Bruce M. McMillin
Secure Fog Computing for Smart Living. COMPSAC (1) (2017)
Thomas P. Roth, Bruce M. McMillin
Physical Attestation in the Smart Grid for Distributed State Verification. COMPSAC (1) (2017)
Bruce M. McMillin, Tao Zhang
Fog Computing for Smart Living. Computer 50 (2) (2017)
Anusha Thudimilla, Bruce M. McMillin
Multiple Security Domain Nondeducibility Air Traffic Surveillance Systems. HASE (2017)
Fredrick Love, Bruce M. McMillin
Breaking Implicit Trust in Point-of-Care Medical Technology: A Cyber-Physical Attestation Approach. COMPSAC (2) (2017)
Gerry Howser, Bruce M. McMillin
Using Information-Flow Methods to Analyze the Security of Cyber-Physical Systems. Computer 50 (4) (2017)
Uday Kanteti, Bruce M. McMillin
Multiple Security Domain Model of a Vehicle in an Automated Platoon. Critical Infrastructure Protection (2017)
Stephen Jackson, Bruce M. McMillin
Application of Congestion Notifications in a Cyber-Physical System. PRDC (2017)
Prakash Rao Dunaka, Bruce M. McMillin
Cyber-Physical Security of a Chemical Plant. HASE (2017)
Fred Love, Bruce M. McMillin, Sivanesan Tulasidas, W. Balachandran
WiP Abstract: Multiple Security Domain Nondeducibility for Point-of-Care Diagnostic Technology. ICCPS (2016)
Tiberiu Seceleanu, Tiziana Margaria, Rajesh Subramanyan, Michele Bugliesi, Cristina Seceleanu, Bruce M. McMillin
Messge from the ECPE Organizing Committee. COMPSAC (2016)
Li Feng, Bruce M. McMillin, Anthony Pérez-Santiago, Ziang Zhang
Incremental Cost Consensus(ICC) and leaderless ICC implementations in FREEDM. ISGT (2015)
Thoshitha T. Gamage, Yaxi Liu, Tu A. Nguyen, Xin Qiu, Bruce M. McMillin, Mariesa L. Crow
A Novel Flow Invariants-Based Approach to Microgrid Management. IEEE Trans. Smart Grid 6 (2) (2015)
Bruce M. McMillin
Distributed Intelligence in the Electric Smart Grid. COMPSAC (2015)
Tiberiu Seceleanu, Rajesh Subramanyan, Cristina Seceleanu, Bruce M. McMillin
Message from ECpE Symposium Organizing Committee. COMPSAC (2015)
Sandeep Patil, Gulnara Zhabelova, Valeriy Vyatkin, Bruce M. McMillin
Towards formal verification of smart grid distributed intelligence: FREEDM case. IECON (2015)
Li Feng, Bruce M. McMillin
Information Flow Quantification Framework for Cyber Physical System with Constrained Resources. COMPSAC (2015)
Li Feng, Bruce M. McMillin
Quantification of Information Flow in a Smart Grid. COMPSAC Workshops (2014)
Tamal Paul, Jonathan W. Kimball, Maciej J. Zawodniok, Thomas P. Roth, Bruce M. McMillin, Sriram Chellappan
Unified Invariants for Cyber-Physical Switched System Stability. IEEE Trans. Smart Grid 5 (1) (2014)
Gerry Howser, Bruce M. McMillin
A Modal Model of Stuxnet Attacks on Cyber-physical Systems: A Matter of Trust. SERE (2014)
Bharath K. Samanthula, Chun Hu, Wei Jiang, Bruce M. McMillin
Secure and threshold-based power usage control in smart grid environments. Int. J. Parallel Emergent Distributed Syst. 29 (3) (2014)
Ashish Choudhari, Harini Ramaprasad, Sriram Chellappan, Bruce M. McMillin, Jonathan W. Kimball, Maciej J. Zawodniok
Adaptive Scheduling with Explicit Congestion Notification in a Cyber-Physical Smart Grid System. EUROMICRO-SEAA (2014)
Feng Li, Bruce M. McMillin
A Survey on Zero-Knowledge Proofs. Adv. Comput. 94 (2014)
Thomas P. Roth, Bruce M. McMillin
Physical Attestation of Cyber Processes in the Smart Grid. CRITIS (2013)
Ashish Choudhari, Harini Ramaprasad, Tamal Paul, Jonathan W. Kimball, Maciej J. Zawodniok, Bruce M. McMillin, Sriram Chellappan
Stability of a cyber-physical smart grid system using cooperating invariants. ICCPS (2013)
Thoshitha T. Gamage, Thomas P. Roth, Bruce M. McMillin, Mariesa L. Crow
Mitigating Event Confidentiality Violations in Smart Grids: An Information Flow Security-Based Approach. IEEE Trans. Smart Grid 4 (3) (2013)
Ashish Choudhari, Harini Ramaprasad, Tamal Paul, Jonathan W. Kimball, Maciej J. Zawodniok, Bruce M. McMillin, Sriram Chellappan
Stability of a Cyber-physical Smart Grid System Using Cooperating Invariants. COMPSAC (2013)
Sandeep Patil, Valeriy Vyatkin, Bruce M. McMillin
Implementation of FREEDM Smart Grid distributed load balancing using IEC 61499 function blocks. IECON (2013)
Ravi Akella, Bruce M. McMillin
Modeling and verification of security properties for critical infrastructure protection. CSIIRW (2013)
Gerry Howser, Bruce M. McMillin
A Multiple Security Domain Model of a Drive-by-Wire System. COMPSAC (2013)
Dale Fitch, Sahra Sedigh, Bruce M. McMillin, Ravi Akella
CPS-CSH Cyber-Physical Analysis and Design. CRITIS (2012)
Chun Hu, Wei Jiang, Bruce M. McMillin
Privacy-Preserving Power Usage Control in the Smart Grid. Critical Infrastructure Protection (2012)
Thomas P. Roth, Bruce M. McMillin
Breaking Nondeducible Attacks on the Smart Grid. CRITIS (2012)
Stephen Jackson, Bruce M. McMillin
The Effects of Network Link Unreliability for Leader Election Algorithm in a Smart Grid System. CRITIS (2012)
Gerry Howser, Bruce M. McMillin
Modeling and reasoning about the security of drive-by-wire automobile systems. Int. J. Crit. Infrastructure Prot. 5 (3-4) (2012)
Bruce M. McMillin, Ravi Akella
Verification and Protection of Confidentiality in an Advanced Smart Grid. HICSS (2012)
Michael R. Gosnell, Bruce M. McMillin
A One-Dimensional Sparse Space-Time Specification of the Generalized Railroad Crossing. Critical Infrastructure Protection (2012)
Tamal Paul, Jonathan W. Kimball, Maciej J. Zawodniok, Thomas P. Roth, Bruce M. McMillin
Invariants as a unified knowledge model for Cyber-Physical Systems. SOCA (2011)
Thoshitha T. Gamage, Thomas P. Roth, Bruce M. McMillin
Confidentiality Preserving Security Properties for Cyber-Physical Systems. COMPSAC (2011)
Thoshitha T. Gamage, Ravi Akella, Thomas P. Roth, Bruce M. McMillin
Information flow security in cyber-physical systems. CSIIRW (2011)
Jason Madden, Bruce M. McMillin, Anik Sinha
Environmental Obfuscation of a Cyber Physical System - Vehicle Example. COMPSAC Workshops (2010)
Thoshitha T. Gamage, Bruce M. McMillin, Thomas P. Roth
Enforcing Information Flow Security Properties in Cyber-Physical Systems: A Generalized Framework Based on Compensation. COMPSAC Workshops (2010)
Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin
Integrated Cyber-Physical Fault Injection for Reliability Analysis of the Smart Grid. SAFECOMP (2010)
Ravi Akella, Bruce M. McMillin
Information Flow Analysis of Energy Management in a Smart Grid. SAFECOMP (2010)
Ravi Akella, Han Tang, Bruce M. McMillin
Analysis of information flow security in cyber-physical systems. Int. J. Crit. Infrastructure Prot. 3 (3-4) (2010)
Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin
Reliability Analysis for the Advanced Electric Power Grid: From Cyber Control and Communication to Physical Manifestations of Failure. SAFECOMP (2009)
Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin
Reliability Modeling for the Advanced Electric Power Grid: A Proposal for Doctoral Research. COMPSAC (1) (2009)
Ravi Akella, Bruce M. McMillin
Model-Checking BNDC Properties in Cyber-Physical Systems. COMPSAC (1) (2009)
David A. Cape, Bruce M. McMillin, Benjamin W. Passer, Mayur Thakur
Recursive Decomposition of Progress Graphs. SSIRI (2009)
Derek P. Ditch, Bruce M. McMillin
The Security Implication of Multiple Observers in a Distributed System. COMPSAC (2) (2009)
David A. Cape, Bruce M. McMillin
Dihomotopic Reduction Used in Deadlock Detection. COMPSAC (1) (2009)
Thoshitha T. Gamage, Bruce M. McMillin
EM Enforcing Information Flow Properties using Compensating Events. HICSS (2009)
Thoshitha T. Gamage, Bruce M. McMillin
Nondeducibility-Based Analysis of Cyber-Physical Systems. Critical Infrastructure Protection (2009)
Ryan C. Underwood, Bruce M. McMillin, Mariesa L. Crow
An Open Framework for Highly Concurrent Real-Time Hardware-in-the-Loop Simulation. COMPSAC (2008)
Sojan Markose, Xiaoqing Frank Liu, Bruce M. McMillin
A Systematic Framework for Structured Object-Oriented Security Requirements Analysis in Embedded Systems. EUC (1) (2008)
Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin
The Advanced Electric Power Grid: Complexity Reduction Techniques for Reliability Modeling. SAFECOMP (2008)
William M. Siever, Daniel R. Tauritz, Ann Miller, Mariesa L. Crow, Bruce M. McMillin, Stanley Atcitty
Symbolic Reduction for High-Speed Power System Simulation. Simul. 84 (6) (2008)
Han Tang, Bruce M. McMillin
Security Property Violation in CPS through Timing. ICDCS Workshops (2008)
Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin
Reliability Modeling for the Advanced Electric Power Grid. SAFECOMP (2007)
Yan Sun, Bruce M. McMillin, Xiaoqing Frank Liu, David A. Cape
Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid. QSIC (2007)
Han Tang, Bruce M. McMillin
Security of Information Flow in the Electric Power Grid. Critical Infrastructure Protection (2007)
Bruce M. McMillin
Future Trends: Computing as a Core Discipline. COMPSAC (1) (2007)
David A. Cape, Bruce M. McMillin, James K. Townsend
Model Checking Control Communication of a FACTS Device. ICPP Workshops (2006)
Matt Ryan, Sule Simsek, Xiaoqing Frank Liu, Bruce M. McMillin, Ying Cheng
An Instance-Based Structured Object Oriented Method for Co-analysis/Co-design of Concurrent Embedded Systems. COMPSAC (1) (2006)
Yan Sun, Xiaoqing Frank Liu, Bruce M. McMillin
A Methodology for Structured Object-Oriented Elicitation and Analysis of Temporal Constraints in Hardware/Software Co-analysis and Co-design of Real-Time Systems. COMPSAC (1) (2006)
Austin Armbruster, Michael R. Gosnell, Bruce M. McMillin, Mariesa L. Crow
Power Transmission Control Using Distributed Max Flow. COMPSAC (1) (2005)
Michael R. Gosnell, Ryan Albarelli, Maggie Xiaoyan Cheng, Bruce M. McMillin
Energy Balanced Broadcasting Through Delayed Intelligence. ITCC (2) (2005)
Austin Armbruster, Matt Ryan, Xiaoqing Frank Liu, Ying Cheng, Bruce M. McMillin
Hardware/software co-design for power system test development. WISER (2004)
Martina Schollmeyer, Bruce M. McMillin
Efficient run-time assurance in distributed systems through selection of executable assertions. J. Syst. Softw. 52 (1) (2000)
Martina Schollmeyer, Bruce M. McMillin
A General Method for Maximizing the Error-Detecting Ability of Distributed Algorithms. IEEE Trans. Parallel Distributed Syst. 8 (2) (1997)
Aggie Y. Sun, Bruce M. McMillin
Wheels: An Automated Program Analysis Tool. SEKE (1996)
Cristina Serban, Bruce M. McMillin
Run-Time Security Evaluation (RTSE) for Distributed Applications. IEEE Symposium on Security and Privacy (1996)
Cristina Serban, Bruce M. McMillin
Run-time security evaluation: can we afford it? NSPW (1996)
Martina Schollmeyer, Bruce M. McMillin
Checking Program Proofs Made Eas. COMPSAC (1995)
Chul-Eui Hong, Bruce M. McMillin
Relaxing Synchronization in Distributed Simulated Annealing. IEEE Trans. Parallel Distributed Syst. 6 (2) (1995)
Grace Tsai, M. Insall, Bruce M. McMillin
Ensuring the satisfaction of a temporal specification at run-time. ICECCS (1995)
J.-L. Liu, T. J. Sager, Bruce M. McMillin
An Improved Characterization of 1-Step Recoverable Embeddings: Rings in Hypercubes. ICPADS (1994)
Martina Schollmeyer, Bruce M. McMillin
A General Method for Maximizing the Error-Detecting Ability of Distributed Algorithms. PARLE (1994)
Hanan Lutfiyya, Bruce M. McMillin, Alan Su
Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling. Formal Methods in Programming and Their Applications (1993)
James Edward Steck, Bruce M. McMillin, K. Krishnamurthy, Gary G. Leininger
Parallel Implementation of a Recursive Least-Squares Neural Network Training Method on the Intel iPSC/2. J. Parallel Distributed Comput. 18 (1) (1993)
Pei-yu Li, Bruce M. McMillin
Fault-tolerant distributed deadlock detection/resolution. COMPSAC (1993)
Junlin Liu, Bruce M. McMillin
A Divide and Conquer Ring Embedding Scheme in Hypercubes with Efficient Recovery Ability. ICPP (3) (1992)
Rashi Khanna, Bruce M. McMillin
SMILI: Visualization of asynchronous massively parallel programs. J. Syst. Softw. 19 (3) (1992)
Hanan Lutfiyya, Aggie Y. Sun, Bruce M. McMillin
Fault-tolerant concurrent branch and bound algorithms derived from program verification. COMPSAC (1992)
Bruce M. McMillin, Lionel M. Ni
Reliable Distributed Sorting Through the Application-Oriented Fault Tolerance Paradigm. IEEE Trans. Parallel Distributed Syst. 3 (4) (1992)
Henry Clark, Bruce M. McMillin
DAWGS - A Distributed Compute Server Utilizing Idle Workstations. J. Parallel Distributed Comput. 14 (2) (1992)
Chul-Eui Hong, Bruce M. McMillin
Fault-tolerant parallel matrix multiplication with one iteration fault detection latency. COMPSAC (1991)
James Edward Steck, Bruce M. McMillin, K. Krishnamurthy, M. R. Ashouri, Gary G. Leininger
Parallel implementation of a recursive least squares neural network training method on the Intel iPSC/2. IJCNN (1990)

Bruce M. McMillin.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bruce M. McMillin