Bruce M. McMillin

106 papers A 1B 23C 12Journal 20Unranked 49

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