Bruce M. McMillin

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

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Discriminative Pattern Mining for Runtime Security Enforcement of Cyber-Physical Point-of-Care Medical Technology.

Fred Love, Jennifer L. Leopold, Bruce M. McMillin, Fei Su

Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

2020

Introduction of a Hybrid Monitor for Cyber-Physical Systems.

Julius Ceasar Aguma, Bruce M. McMillin, Amelia Regan

Proceedings of the Intelligent Computing, 2020

An Efficient Blockchain Authentication Scheme for Vehicular Ad-Hoc Networks.

Matthew Wagner, Bruce M. McMillin

Proceedings of the Critical Infrastructure Protection XIV, 2020

Cyber-Physical Security of Air Traffic Surveillance Systems.

Anusha Thudimilla, Bruce M. McMillin

Proceedings of the Critical Infrastructure Protection XIV, 2020

Distributed Bias Detection in Cyber-Physical Systems.

Simon Thougaard, Bruce M. McMillin

Proceedings of the Critical Infrastructure Protection XIV, 2020

Comparison of Design-Centric and Data-Centric Methods for Distributed Attack Detection in Cyber-Physical Systems.

Jennifer L. Leopold, Bruce M. McMillin, Rachel Stiffler, Nathan Lutes

Proceedings of the Critical Infrastructure Protection XIV, 2020

2018

Physical Attestation in the Smart Grid for Distributed State Verification.

Thomas Roth, Bruce M. McMillin

IEEE Trans. Dependable Secur. Comput., 2018

Introduction of a Hybrid Monitor to Cyber-Physical Systems.

Julius C. Aguma, Bruce M. McMillin

CoRR, 2018

Software Engineering.

Bruce M. McMillin

Computer, 2018

Cyber-Physical Transactions: A Method for Securing VANETs with Blockchains.

Matthew Wagner, Bruce M. McMillin

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.

Sai Sidharth Patlolla, Bruce M. McMillin, Sridhar Adepu, Aditya Mathur

Proceedings of the 23rd IEEE Pacific Rim International Symposium on Dependable Computing, 2018

Cyber-Physical Security of an Electric Microgrid.

Prashanth Palaniswamy, Bruce M. McMillin

Proceedings of the 23rd IEEE Pacific Rim International Symposium on Dependable Computing, 2018

2017

Cyber-Physical Security and Privacy in the Electric Smart Grid

Bruce M. McMillin, Thomas P. Roth

Synthesis Lectures on Information Security, Privacy, and Trust, Morgan & Claypool Publishers, ISBN: 978-3-031-02353-8, 2017

Fog Computing for Smart Living.

Bruce M. McMillin, Tao Zhang

Computer, 2017

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

Gerry Howser, Bruce M. McMillin

Computer, 2017

Application of Congestion Notifications in a Cyber-Physical System.

Stephen Jackson, Bruce M. McMillin

Proceedings of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing, 2017

Multiple Security Domain Model of a Vehicle in an Automated Platoon.

Uday Kanteti, Bruce M. McMillin

Proceedings of the Critical Infrastructure Protection XI, 2017

Multiple Security Domain Nondeducibility Air Traffic Surveillance Systems.

Anusha Thudimilla, Bruce M. McMillin

Proceedings of the 18th IEEE International Symposium on High Assurance Systems Engineering, 2017

Cyber-Physical Security of a Chemical Plant.

Prakash Rao Dunaka, Bruce M. McMillin

Proceedings of the 18th IEEE International Symposium on High Assurance Systems Engineering, 2017

Physical Attestation in the Smart Grid for Distributed State Verification.

Thomas P. Roth, Bruce M. McMillin

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Secure Fog Computing for Smart Living.

Bruce M. McMillin

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.

Fredrick Love, Bruce M. McMillin

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.

Fred Love, Bruce M. McMillin, Sivanesan Tulasidas, W. Balachandran

Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Messge from the ECPE Organizing Committee.

Tiberiu Seceleanu, Tiziana Margaria, Rajesh Subramanyan, Michele Bugliesi, Cristina Seceleanu, Bruce M. McMillin

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015

A Novel Flow Invariants-Based Approach to Microgrid Management.

Thoshitha T. Gamage, Yaxi Liu, Tu A. Nguyen, Xin Qiu, Bruce M. McMillin, Mariesa L. Crow

IEEE Trans. Smart Grid, 2015

Incremental Cost Consensus(ICC) and leaderless ICC implementations in FREEDM.

Li Feng, Bruce M. McMillin, Anthony Pérez-Santiago, Ziang Zhang

Proceedings of the 2015 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2015

Towards formal verification of smart grid distributed intelligence: FREEDM case.

Sandeep Patil, Gulnara Zhabelova, Valeriy Vyatkin, Bruce M. McMillin

Proceedings of the IECON 2015, 2015

Message from ECpE Symposium Organizing Committee.

Tiberiu Seceleanu, Rajesh Subramanyan, Cristina Seceleanu, Bruce M. McMillin

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

Distributed Intelligence in the Electric Smart Grid.

Bruce M. McMillin

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

Information Flow Quantification Framework for Cyber Physical System with Constrained Resources.

Li Feng, Bruce M. McMillin

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014

Unified Invariants for Cyber-Physical Switched System Stability.

Tamal Paul, Jonathan W. Kimball, Maciej J. Zawodniok, Thomas P. Roth, Bruce M. McMillin, Sriram Chellappan

IEEE Trans. Smart Grid, 2014

Secure and threshold-based power usage control in smart grid environments.

Bharath K. Samanthula, Chun Hu, Wei Jiang, Bruce M. McMillin

Int. J. Parallel Emergent Distributed Syst., 2014

A Survey on Zero-Knowledge Proofs.

Feng Li, Bruce M. McMillin

Adv. Comput., 2014

A Modal Model of Stuxnet Attacks on Cyber-physical Systems: A Matter of Trust.

Gerry Howser, Bruce M. McMillin

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.

Ashish Choudhari, Harini Ramaprasad, Sriram Chellappan, Bruce M. McMillin, Jonathan W. Kimball, Maciej J. Zawodniok

Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014

Quantification of Information Flow in a Smart Grid.

Li Feng, Bruce M. McMillin

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.

Thoshitha T. Gamage, Thomas P. Roth, Bruce M. McMillin, Mariesa L. Crow

IEEE Trans. Smart Grid, 2013

Development of a smart-grid cyber-physical systems testbed.

Mark J. Stanovich, Isaac Leonard, Sanjeev K. Srivastava, Mischa Steurer, Thomas P. Roth, Stephen Jackson, Bruce M. McMillin

Proceedings of the IEEE PES Innovative Smart Grid Technologies Conference, 2013

Implementation of FREEDM Smart Grid distributed load balancing using IEC 61499 function blocks.

Sandeep Patil, Valeriy Vyatkin, Bruce M. McMillin

Proceedings of the IECON 2013, 2013

Stability of a cyber-physical smart grid system using cooperating invariants.

Ashish Choudhari, Harini Ramaprasad, Tamal Paul, Jonathan W. Kimball, Maciej J. Zawodniok, Bruce M. McMillin, Sriram Chellappan

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.

Ravi Akella, Bruce M. McMillin

Proceedings of the Cyber Security and Information Intelligence, 2013

Physical Attestation of Cyber Processes in the Smart Grid.

Thomas P. Roth, Bruce M. McMillin

Proceedings of the Critical Information Infrastructures Security, 2013

A Multiple Security Domain Model of a Drive-by-Wire System.

Gerry Howser, Bruce M. McMillin

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.

Gerry Howser, Bruce M. McMillin

Int. J. Crit. Infrastructure Prot., 2012

Privacy-Preserving Power Usage Control in the Smart Grid.

Chun Hu, Wei Jiang, Bruce M. McMillin

Proceedings of the Critical Infrastructure Protection VI, 2012

A One-Dimensional Sparse Space-Time Specification of the Generalized Railroad Crossing.

Michael R. Gosnell, Bruce M. McMillin

Proceedings of the Critical Infrastructure Protection VI, 2012

Verification and Protection of Confidentiality in an Advanced Smart Grid.

Bruce M. McMillin, Ravi Akella

Proceedings of the 45th Hawaii International International Conference on Systems Science (HICSS-45 2012), 2012

Breaking Nondeducible Attacks on the Smart Grid.

Thomas P. Roth, Bruce M. McMillin

Proceedings of the Critical Information Infrastructures Security, 2012

The Effects of Network Link Unreliability for Leader Election Algorithm in a Smart Grid System.

Stephen Jackson, Bruce M. McMillin

Proceedings of the Critical Information Infrastructures Security, 2012

CPS-CSH Cyber-Physical Analysis and Design.

Dale Fitch, Sahra Sedigh, Bruce M. McMillin, Ravi Akella

Proceedings of the Critical Information Infrastructures Security, 2012

2011

Invariants as a unified knowledge model for Cyber-Physical Systems.

Tamal Paul, Jonathan W. Kimball, Maciej J. Zawodniok, Thomas P. Roth, Bruce M. McMillin

Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 2011

Information flow security in cyber-physical systems.

Thoshitha T. Gamage, Ravi Akella, Thomas P. Roth, Bruce M. McMillin

Proceedings of the 7th Cyber Security and Information Intelligence Research Workshop, 2011

Confidentiality Preserving Security Properties for Cyber-Physical Systems.

Thoshitha T. Gamage, Thomas P. Roth, Bruce M. McMillin

Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010

Analysis of information flow security in cyber-physical systems.

Ravi Akella, Han Tang, Bruce M. McMillin

Int. J. Crit. Infrastructure Prot., 2010

Integrated Cyber-Physical Fault Injection for Reliability Analysis of the Smart Grid.

Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin

Proceedings of the Computer Safety, 2010

Information Flow Analysis of Energy Management in a Smart Grid.

Ravi Akella, Bruce M. McMillin

Proceedings of the Computer Safety, 2010

Environmental Obfuscation of a Cyber Physical System - Vehicle Example.

Jason Madden, Bruce M. McMillin, Anik Sinha

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.

Thoshitha T. Gamage, Bruce M. McMillin, Thomas P. Roth

Proceedings of the Workshop Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

2009

Recursive Decomposition of Progress Graphs.

David A. Cape, Bruce M. McMillin, Benjamin W. Passer, Mayur Thakur

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.

Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin

Proceedings of the Computer Safety, 2009

Nondeducibility-Based Analysis of Cyber-Physical Systems.

Thoshitha T. Gamage, Bruce M. McMillin

Proceedings of the Critical Infrastructure Protection III, 2009

EM Enforcing Information Flow Properties using Compensating Events.

Thoshitha T. Gamage, Bruce M. McMillin

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.

Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

The Security Implication of Multiple Observers in a Distributed System.

Derek P. Ditch, Bruce M. McMillin

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

Dihomotopic Reduction Used in Deadlock Detection.

David A. Cape, Bruce M. McMillin

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

Model-Checking BNDC Properties in Cyber-Physical Systems.

Ravi Akella, Bruce M. McMillin

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008

Symbolic Reduction for High-Speed Power System Simulation.

William M. Siever, Daniel R. Tauritz, Ann Miller, Mariesa L. Crow, Bruce M. McMillin, Stanley Atcitty

Simul., 2008

The Advanced Electric Power Grid: Complexity Reduction Techniques for Reliability Modeling.

Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin

Proceedings of the Computer Safety, 2008

Security Property Violation in CPS through Timing.

Han Tang, Bruce M. McMillin

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.

Sojan Markose, Xiaoqing Frank Liu, Bruce M. McMillin

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.

Ryan C. Underwood, Bruce M. McMillin, Mariesa L. Crow

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

Reliability Modeling for the Advanced Electric Power Grid.

Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin

Proceedings of the Computer Safety, 2007

Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid.

Yan Sun, Bruce M. McMillin, Xiaoqing Frank Liu, David A. Cape

Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

Security of Information Flow in the Electric Power Grid.

Han Tang, Bruce M. McMillin

Proceedings of the Critical Infrastructure Protection, 2007

Future Trends: Computing as a Core Discipline.

Bruce M. McMillin

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006

Model Checking Control Communication of a FACTS Device.

David A. Cape, Bruce M. McMillin, James K. Townsend

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.

Yan Sun, Xiaoqing Frank Liu, Bruce M. McMillin

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.

Matt Ryan, Sule Simsek, Xiaoqing Frank Liu, Bruce M. McMillin, Ying Cheng

Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

2005

Energy Balanced Broadcasting Through Delayed Intelligence.

Michael R. Gosnell, Ryan Albarelli, Maggie Xiaoyan Cheng, Bruce M. McMillin

Proceedings of the International Symposium on Information Technology: Coding and Computing (ITCC 2005), 2005

Power Transmission Control Using Distributed Max Flow.

Austin Armbruster, Michael R. Gosnell, Bruce M. McMillin, Mariesa L. Crow

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2004

Hardware/software co-design for power system test development.

Austin Armbruster, Matt Ryan, Xiaoqing Frank Liu, Ying Cheng, Bruce M. McMillin

Proceedings of the ACM Workshop on Interdisciplinary Software Engineering Research, 2004

2000

Efficient run-time assurance in distributed systems through selection of executable assertions.

Martina Schollmeyer, Bruce M. McMillin

J. Syst. Softw., 2000

1997

A General Method for Maximizing the Error-Detecting Ability of Distributed Algorithms.

Martina Schollmeyer, Bruce M. McMillin

IEEE Trans. Parallel Distributed Syst., 1997

1996

Run-Time Security Evaluation (RTSE) for Distributed Applications.

Cristina Serban, Bruce M. McMillin

Proceedings of the 1996 IEEE Symposium on Security and Privacy, 1996

Wheels: An Automated Program Analysis Tool.

Aggie Y. Sun, Bruce M. McMillin

Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

Run-time security evaluation: can we afford it?

Cristina Serban, Bruce M. McMillin

Proceedings of the 1996 Workshop on New Security Paradigms, 1996

1995

Relaxing Synchronization in Distributed Simulated Annealing.

Chul-Eui Hong, Bruce M. McMillin

IEEE Trans. Parallel Distributed Syst., 1995

Ensuring the satisfaction of a temporal specification at run-time.

Grace Tsai, M. Insall, Bruce M. McMillin

Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

Checking Program Proofs Made Eas.

Martina Schollmeyer, Bruce M. McMillin

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.

Jun-Lin Liu, Thomas J. Sager, Bruce M. McMillin

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.

James Edward Steck, Bruce M. McMillin, K. Krishnamurthy, Gary G. Leininger

J. Parallel Distributed Comput., 1993

Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling.

Hanan Lutfiyya, Bruce M. McMillin, Alan Su

Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993

Fault-tolerant distributed deadlock detection/resolution.

Pei-yu Li, Bruce M. McMillin

Proceedings of the Seventeenth Annual International Computer Software and Applications Conference, 1993

1992

Reliable Distributed Sorting Through the Application-Oriented Fault Tolerance Paradigm.

Bruce M. McMillin, Lionel M. Ni

IEEE Trans. Parallel Distributed Syst., 1992

SMILI: Visualization of asynchronous massively parallel programs.

Rashi Khanna, Bruce M. McMillin

J. Syst. Softw., 1992

DAWGS - A Distributed Compute Server Utilizing Idle Workstations.

Henry Clark, Bruce M. McMillin

J. Parallel Distributed Comput., 1992

A Divide and Conquer Ring Embedding Scheme in Hypercubes with Efficient Recovery Ability.

Junlin Liu, Bruce M. McMillin

Proceedings of the 1992 International Conference on Parallel Processing, 1992

Fault-tolerant concurrent branch and bound algorithms derived from program verification.

Hanan Lutfiyya, Aggie Y. Sun, Bruce M. McMillin

Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992

1991

Fault-tolerant parallel matrix multiplication with one iteration fault detection latency.

Chul-Eui Hong, Bruce M. McMillin

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.

James Edward Steck, Bruce M. McMillin, K. Krishnamurthy, M. R. Ashouri, Gary G. Leininger

Proceedings of the IJCNN 1990, 1990

PAFMV-Pairwise Asynchronous Multigrid.

Steve Franks, Bruce M. McMillin, Rashi Khanna

Proceedings of the 1990 International Conference on Parallel Processing, 1990

1989

Expectations for associative-commutative unification speedups in a multicomputer environment.

Ralph W. Wilkerson, Bruce M. McMillin

Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

1988

Executable assertion development for the distributed parallel environment.

Bruce M. McMillin, Lionel M. Ni

Proceedings of the Twelfth International Computer Software and Applications Conference, 1988