Bruce M. McMillin

Orcid: 0000-0002-2158-0337

Affiliations:
  • Missouri University of Science and Technology, Rolla, MO, USA


According to our database1, Bruce M. McMillin authored at least 103 papers between 1988 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Discriminative Pattern Mining for Runtime Security Enforcement of Cyber-Physical Point-of-Care Medical Technology.
Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

2020
Introduction of a Hybrid Monitor for Cyber-Physical Systems.
Proceedings of the Intelligent Computing, 2020

An Efficient Blockchain Authentication Scheme for Vehicular Ad-Hoc Networks.
Proceedings of the Critical Infrastructure Protection XIV, 2020

Cyber-Physical Security of Air Traffic Surveillance Systems.
Proceedings of the Critical Infrastructure Protection XIV, 2020

Distributed Bias Detection in Cyber-Physical Systems.
Proceedings of the Critical Infrastructure Protection XIV, 2020

Comparison of Design-Centric and Data-Centric Methods for Distributed Attack Detection in Cyber-Physical Systems.
Proceedings of the Critical Infrastructure Protection XIV, 2020

2018
Physical Attestation in the Smart Grid for Distributed State Verification.
IEEE Trans. Dependable Secur. Comput., 2018

Introduction of a Hybrid Monitor to Cyber-Physical Systems.
CoRR, 2018

Software Engineering.
Computer, 2018

Cyber-Physical Transactions: A Method for Securing VANETs with Blockchains.
Proceedings of the 23rd IEEE Pacific Rim International Symposium on Dependable Computing, 2018

An Approach for Formal Analysis of the Security of a Water Treatment Testbed.
Proceedings of the 23rd IEEE Pacific Rim International Symposium on Dependable Computing, 2018

Cyber-Physical Security of an Electric Microgrid.
Proceedings of the 23rd IEEE Pacific Rim International Symposium on Dependable Computing, 2018

2017
Cyber-Physical Security and Privacy in the Electric Smart Grid
Synthesis Lectures on Information Security, Privacy, and Trust, Morgan & Claypool Publishers, ISBN: 978-3-031-02353-8, 2017

Fog Computing for Smart Living.
Computer, 2017

Using Information-Flow Methods to Analyze the Security of Cyber-Physical Systems.
Computer, 2017

Application of Congestion Notifications in a Cyber-Physical System.
Proceedings of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing, 2017

Multiple Security Domain Model of a Vehicle in an Automated Platoon.
Proceedings of the Critical Infrastructure Protection XI, 2017

Multiple Security Domain Nondeducibility Air Traffic Surveillance Systems.
Proceedings of the 18th IEEE International Symposium on High Assurance Systems Engineering, 2017

Cyber-Physical Security of a Chemical Plant.
Proceedings of the 18th IEEE International Symposium on High Assurance Systems Engineering, 2017

Physical Attestation in the Smart Grid for Distributed State Verification.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Secure Fog Computing for Smart Living.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Breaking Implicit Trust in Point-of-Care Medical Technology: A Cyber-Physical Attestation Approach.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016
WiP Abstract: Multiple Security Domain Nondeducibility for Point-of-Care Diagnostic Technology.
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Messge from the ECPE Organizing Committee.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015
A Novel Flow Invariants-Based Approach to Microgrid Management.
IEEE Trans. Smart Grid, 2015

Incremental Cost Consensus(ICC) and leaderless ICC implementations in FREEDM.
Proceedings of the 2015 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2015

Towards formal verification of smart grid distributed intelligence: FREEDM case.
Proceedings of the IECON 2015, 2015

Message from ECpE Symposium Organizing Committee.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

Distributed Intelligence in the Electric Smart Grid.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

Information Flow Quantification Framework for Cyber Physical System with Constrained Resources.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014
Unified Invariants for Cyber-Physical Switched System Stability.
IEEE Trans. Smart Grid, 2014

Secure and threshold-based power usage control in smart grid environments.
Int. J. Parallel Emergent Distributed Syst., 2014

A Survey on Zero-Knowledge Proofs.
Adv. Comput., 2014

A Modal Model of Stuxnet Attacks on Cyber-physical Systems: A Matter of Trust.
Proceedings of the Eighth International Conference on Software Security and Reliability, 2014

Adaptive Scheduling with Explicit Congestion Notification in a Cyber-Physical Smart Grid System.
Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014

Quantification of Information Flow in a Smart Grid.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2013
Mitigating Event Confidentiality Violations in Smart Grids: An Information Flow Security-Based Approach.
IEEE Trans. Smart Grid, 2013

Development of a smart-grid cyber-physical systems testbed.
Proceedings of the IEEE PES Innovative Smart Grid Technologies Conference, 2013

Implementation of FREEDM Smart Grid distributed load balancing using IEC 61499 function blocks.
Proceedings of the IECON 2013, 2013

Stability of a cyber-physical smart grid system using cooperating invariants.
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

Modeling and verification of security properties for critical infrastructure protection.
Proceedings of the Cyber Security and Information Intelligence, 2013

Physical Attestation of Cyber Processes in the Smart Grid.
Proceedings of the Critical Information Infrastructures Security, 2013

A Multiple Security Domain Model of a Drive-by-Wire System.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

2012
Modeling and reasoning about the security of drive-by-wire automobile systems.
Int. J. Crit. Infrastructure Prot., 2012

Privacy-Preserving Power Usage Control in the Smart Grid.
Proceedings of the Critical Infrastructure Protection VI, 2012

A One-Dimensional Sparse Space-Time Specification of the Generalized Railroad Crossing.
Proceedings of the Critical Infrastructure Protection VI, 2012

Verification and Protection of Confidentiality in an Advanced Smart Grid.
Proceedings of the 45th Hawaii International International Conference on Systems Science (HICSS-45 2012), 2012

Breaking Nondeducible Attacks on the Smart Grid.
Proceedings of the Critical Information Infrastructures Security, 2012

The Effects of Network Link Unreliability for Leader Election Algorithm in a Smart Grid System.
Proceedings of the Critical Information Infrastructures Security, 2012

CPS-CSH Cyber-Physical Analysis and Design.
Proceedings of the Critical Information Infrastructures Security, 2012

2011
Invariants as a unified knowledge model for Cyber-Physical Systems.
Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 2011

Information flow security in cyber-physical systems.
Proceedings of the 7th Cyber Security and Information Intelligence Research Workshop, 2011

Confidentiality Preserving Security Properties for Cyber-Physical Systems.
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010
Analysis of information flow security in cyber-physical systems.
Int. J. Crit. Infrastructure Prot., 2010

Integrated Cyber-Physical Fault Injection for Reliability Analysis of the Smart Grid.
Proceedings of the Computer Safety, 2010

Information Flow Analysis of Energy Management in a Smart Grid.
Proceedings of the Computer Safety, 2010

Environmental Obfuscation of a Cyber Physical System - Vehicle Example.
Proceedings of the Workshop Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

Enforcing Information Flow Security Properties in Cyber-Physical Systems: A Generalized Framework Based on Compensation.
Proceedings of the Workshop Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

2009
Recursive Decomposition of Progress Graphs.
Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

Reliability Analysis for the Advanced Electric Power Grid: From Cyber Control and Communication to Physical Manifestations of Failure.
Proceedings of the Computer Safety, 2009

Nondeducibility-Based Analysis of Cyber-Physical Systems.
Proceedings of the Critical Infrastructure Protection III, 2009

EM Enforcing Information Flow Properties using Compensating Events.
Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009

Reliability Modeling for the Advanced Electric Power Grid: A Proposal for Doctoral Research.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

The Security Implication of Multiple Observers in a Distributed System.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

Dihomotopic Reduction Used in Deadlock Detection.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

Model-Checking BNDC Properties in Cyber-Physical Systems.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008
Symbolic Reduction for High-Speed Power System Simulation.
Simul., 2008

The Advanced Electric Power Grid: Complexity Reduction Techniques for Reliability Modeling.
Proceedings of the Computer Safety, 2008

Security Property Violation in CPS through Timing.
Proceedings of the 28th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2008 Workshops), 2008

A Systematic Framework for Structured Object-Oriented Security Requirements Analysis in Embedded Systems.
Proceedings of the 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), 2008

An Open Framework for Highly Concurrent Real-Time Hardware-in-the-Loop Simulation.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007
Reliability Modeling for the Advanced Electric Power Grid.
Proceedings of the Computer Safety, 2007

Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid.
Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

Security of Information Flow in the Electric Power Grid.
Proceedings of the Critical Infrastructure Protection, 2007

Future Trends: Computing as a Core Discipline.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006
Model Checking Control Communication of a FACTS Device.
Proceedings of the 2006 International Conference on Parallel Processing Workshops (ICPP Workshops 2006), 2006

A Methodology for Structured Object-Oriented Elicitation and Analysis of Temporal Constraints in Hardware/Software Co-analysis and Co-design of Real-Time Systems.
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

An Instance-Based Structured Object Oriented Method for Co-analysis/Co-design of Concurrent Embedded Systems.
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

2005
Energy Balanced Broadcasting Through Delayed Intelligence.
Proceedings of the International Symposium on Information Technology: Coding and Computing (ITCC 2005), 2005

Power Transmission Control Using Distributed Max Flow.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2004
Hardware/software co-design for power system test development.
Proceedings of the ACM Workshop on Interdisciplinary Software Engineering Research, 2004

2000
Efficient run-time assurance in distributed systems through selection of executable assertions.
J. Syst. Softw., 2000

1997
A General Method for Maximizing the Error-Detecting Ability of Distributed Algorithms.
IEEE Trans. Parallel Distributed Syst., 1997

1996
Run-Time Security Evaluation (RTSE) for Distributed Applications.
Proceedings of the 1996 IEEE Symposium on Security and Privacy, 1996

Wheels: An Automated Program Analysis Tool.
Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

Run-time security evaluation: can we afford it?
Proceedings of the 1996 Workshop on New Security Paradigms, 1996

1995
Relaxing Synchronization in Distributed Simulated Annealing.
IEEE Trans. Parallel Distributed Syst., 1995

Ensuring the satisfaction of a temporal specification at run-time.
Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

Checking Program Proofs Made Eas.
Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995

1994
An Improved Characterization of 1-Step Recoverable Embeddings: Rings in Hypercubes.
Proceedings of the Proceedings 1994 International Conference on Parallel and Distributed Systems, 1994

1993
Parallel Implementation of a Recursive Least-Squares Neural Network Training Method on the Intel iPSC/2.
J. Parallel Distributed Comput., 1993

Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling.
Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993

Fault-tolerant distributed deadlock detection/resolution.
Proceedings of the Seventeenth Annual International Computer Software and Applications Conference, 1993

1992
Reliable Distributed Sorting Through the Application-Oriented Fault Tolerance Paradigm.
IEEE Trans. Parallel Distributed Syst., 1992

SMILI: Visualization of asynchronous massively parallel programs.
J. Syst. Softw., 1992

DAWGS - A Distributed Compute Server Utilizing Idle Workstations.
J. Parallel Distributed Comput., 1992

A Divide and Conquer Ring Embedding Scheme in Hypercubes with Efficient Recovery Ability.
Proceedings of the 1992 International Conference on Parallel Processing, 1992

Fault-tolerant concurrent branch and bound algorithms derived from program verification.
Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992

1991
Fault-tolerant parallel matrix multiplication with one iteration fault detection latency.
Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991

1990
Parallel implementation of a recursive least squares neural network training method on the Intel iPSC/2.
Proceedings of the IJCNN 1990, 1990

PAFMV-Pairwise Asynchronous Multigrid.
Proceedings of the 1990 International Conference on Parallel Processing, 1990

1989
Expectations for associative-commutative unification speedups in a multicomputer environment.
Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

1988
Executable assertion development for the distributed parallel environment.
Proceedings of the Twelfth International Computer Software and Applications Conference, 1988


  Loading...