default search action
Bruce M. McMillin
Person information
- affiliation: Missouri University of Science and Technology, Rolla, MO, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
- [c85]Fred Love, Jennifer L. Leopold, Bruce M. McMillin, Fei Su:
Discriminative Pattern Mining for Runtime Security Enforcement of Cyber-Physical Point-of-Care Medical Technology. COMPSAC 2021: 1066-1072 - 2020
- [c84]Anusha Thudimilla, Bruce M. McMillin:
Cyber-Physical Security of Air Traffic Surveillance Systems. Critical Infrastructure Protection 2020: 3-23 - [c83]Matthew Wagner, Bruce M. McMillin:
An Efficient Blockchain Authentication Scheme for Vehicular Ad-Hoc Networks. Critical Infrastructure Protection 2020: 87-109 - [c82]Simon Thougaard, Bruce M. McMillin:
Distributed Bias Detection in Cyber-Physical Systems. Critical Infrastructure Protection 2020: 245-260 - [c81]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: 261-279 - [c80]Julius Ceasar Aguma, Bruce M. McMillin, Amelia Regan
:
Introduction of a Hybrid Monitor for Cyber-Physical Systems. SAI (3) 2020: 348-360
2010 – 2019
- 2018
- [j19]Bruce M. McMillin:
Software Engineering. Computer 51(2): 10-12 (2018) - [j18]Thomas Roth
Physical Attestation in the Smart Grid for Distributed State Verification. IEEE Trans. Dependable Secur. Comput. 15(2): 275-288 (2018) - [c79]Matthew Wagner, Bruce M. McMillin:
Cyber-Physical Transactions: A Method for Securing VANETs with Blockchains. PRDC 2018: 64-73 - [c78]Prashanth Palaniswamy, Bruce M. McMillin:
Cyber-Physical Security of an Electric Microgrid. PRDC 2018: 74-83 - [c77]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: 115-124 - [i1]Julius C. Aguma, Bruce M. McMillin:
Introduction of a Hybrid Monitor to Cyber-Physical Systems. CoRR abs/1805.01975 (2018) - 2017
- [b1]Bruce M. McMillin, Thomas P. Roth:
Cyber-Physical Security and Privacy in the Electric Smart Grid. Synthesis Lectures on Information Security, Privacy, and Trust, Morgan & Claypool Publishers 2017, ISBN 978-3-031-01225-9 - [j17]Bruce M. McMillin, Tao Zhang:
Fog Computing for Smart Living. Computer 50(2): 5 (2017) - [j16]Gerry Howser, Bruce M. McMillin:
Using Information-Flow Methods to Analyze the Security of Cyber-Physical Systems. Computer 50(4): 17-26 (2017) - [c76]Fredrick Love, Bruce M. McMillin:
Breaking Implicit Trust in Point-of-Care Medical Technology: A Cyber-Physical Attestation Approach. COMPSAC (2) 2017: 242-247 - [c75]Thomas P. Roth, Bruce M. McMillin:
Physical Attestation in the Smart Grid for Distributed State Verification. COMPSAC (1) 2017: 626-627 - [c74]Bruce M. McMillin:
Secure Fog Computing for Smart Living. COMPSAC (1) 2017: 707 - [c73]Prakash Rao Dunaka, Bruce M. McMillin:
Cyber-Physical Security of a Chemical Plant. HASE 2017: 33-40 - [c72]Anusha Thudimilla, Bruce M. McMillin:
Multiple Security Domain Nondeducibility Air Traffic Surveillance Systems. HASE 2017: 136-139 - [c71]Uday Kanteti, Bruce M. McMillin:
Multiple Security Domain Model of a Vehicle in an Automated Platoon. Critical Infrastructure Protection 2017: 81-97 - [c70]Stephen Jackson, Bruce M. McMillin:
Application of Congestion Notifications in a Cyber-Physical System. PRDC 2017: 165-174 - 2016
- [c69]Tiberiu Seceleanu
Messge from the ECPE Organizing Committee. COMPSAC 2016: 281 - [c68]Fred Love, Bruce M. McMillin, Sivanesan Tulasidas, W. Balachandran:
WiP Abstract: Multiple Security Domain Nondeducibility for Point-of-Care Diagnostic Technology. ICCPS 2016: 42:1 - 2015
- [j15]Thoshitha T. Gamage, Yaxi Liu, Tu A. Nguyen
A Novel Flow Invariants-Based Approach to Microgrid Management. IEEE Trans. Smart Grid 6(2): 516-525 (2015) - [c67]Tiberiu Seceleanu
Message from ECpE Symposium Organizing Committee. COMPSAC 2015: 4 - [c66]Bruce M. McMillin:
Distributed Intelligence in the Electric Smart Grid. COMPSAC 2015: 48 - [c65]Li Feng, Bruce M. McMillin:
Information Flow Quantification Framework for Cyber Physical System with Constrained Resources. COMPSAC 2015: 50-59 - [c64]Sandeep Patil
Towards formal verification of smart grid distributed intelligence: FREEDM case. IECON 2015: 3974-3979 - [c63]Li Feng, Bruce M. McMillin
Incremental Cost Consensus(ICC) and leaderless ICC implementations in FREEDM. ISGT 2015: 1-5 - 2014
- [j14]Feng Li, Bruce M. McMillin
A Survey on Zero-Knowledge Proofs. Adv. Comput. 94: 25-69 (2014) - [j13]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): 264-289 (2014) - [j12]Tamal Paul, Jonathan W. Kimball
Unified Invariants for Cyber-Physical Switched System Stability. IEEE Trans. Smart Grid 5(1): 112-120 (2014) - [c62]Li Feng, Bruce M. McMillin
Quantification of Information Flow in a Smart Grid. COMPSAC Workshops 2014: 140-145 - [c61]Ashish Choudhari, Harini Ramaprasad, Sriram Chellappan, Bruce M. McMillin
Adaptive Scheduling with Explicit Congestion Notification in a Cyber-Physical Smart Grid System. EUROMICRO-SEAA 2014: 309-317 - [c60]Gerry Howser, Bruce M. McMillin
A Modal Model of Stuxnet Attacks on Cyber-physical Systems: A Matter of Trust. SERE 2014: 225-234 - 2013
- [j11]Thoshitha T. Gamage, Thomas P. Roth, Bruce M. McMillin
Mitigating Event Confidentiality Violations in Smart Grids: An Information Flow Security-Based Approach. IEEE Trans. Smart Grid 4(3): 1227-1234 (2013) - [c59]Gerry Howser, Bruce M. McMillin
A Multiple Security Domain Model of a Drive-by-Wire System. COMPSAC 2013: 369-374 - [c58]Ashish Choudhari, Harini Ramaprasad, Tamal Paul, Jonathan W. Kimball
Stability of a Cyber-physical Smart Grid System Using Cooperating Invariants. COMPSAC 2013: 760-769 - [c57]Thomas P. Roth, Bruce M. McMillin
Physical Attestation of Cyber Processes in the Smart Grid. CRITIS 2013: 96-107 - [c56]Ravi Akella, Bruce M. McMillin
Modeling and verification of security properties for critical infrastructure protection. CSIIRW 2013: 6 - [c55]Ashish Choudhari, Harini Ramaprasad, Tamal Paul, Jonathan W. Kimball
Stability of a cyber-physical smart grid system using cooperating invariants. ICCPS 2013: 240 - [c54]Sandeep Patil
Implementation of FREEDM Smart Grid distributed load balancing using IEC 61499 function blocks. IECON 2013: 8154-8159 - [c53]Mark J. Stanovich, Isaac Leonard, Sanjeev K. Srivastava, Mischa Steurer, Thomas P. Roth, Stephen Jackson, Bruce M. McMillin:
Development of a smart-grid cyber-physical systems testbed. ISGT 2013: 1-6 - 2012
- [j10]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): 127-134 (2012) - [c52]Stephen Jackson, Bruce M. McMillin
The Effects of Network Link Unreliability for Leader Election Algorithm in a Smart Grid System. CRITIS 2012: 59-70 - [c51]Thomas P. Roth, Bruce M. McMillin
Breaking Nondeducible Attacks on the Smart Grid. CRITIS 2012: 80-91 - [c50]Dale Fitch
CPS-CSH Cyber-Physical Analysis and Design. CRITIS 2012: 92-105 - [c49]Bruce M. McMillin
Verification and Protection of Confidentiality in an Advanced Smart Grid. HICSS 2012: 2169-2175 - [c48]Chun Hu, Wei Jiang, Bruce M. McMillin
Privacy-Preserving Power Usage Control in the Smart Grid. Critical Infrastructure Protection 2012: 127-137 - [c47]Michael R. Gosnell, Bruce M. McMillin
A One-Dimensional Sparse Space-Time Specification of the Generalized Railroad Crossing. Critical Infrastructure Protection 2012: 187-204 - 2011
- [c46]Thoshitha T. Gamage, Thomas P. Roth, Bruce M. McMillin
Confidentiality Preserving Security Properties for Cyber-Physical Systems. COMPSAC 2011: 28-37 - [c45]Thoshitha T. Gamage, Ravi Akella, Thomas P. Roth, Bruce M. McMillin
Information flow security in cyber-physical systems. CSIIRW 2011: 52 - [c44]Tamal Paul, Jonathan W. Kimball
Invariants as a unified knowledge model for Cyber-Physical Systems. SOCA 2011: 1-8 - 2010
- [j9]Ravi Akella, Han Tang, Bruce M. McMillin
Analysis of information flow security in cyber-physical systems. Int. J. Crit. Infrastructure Prot. 3(3-4): 157-173 (2010) - [c43]Thoshitha T. Gamage, Bruce M. McMillin
Enforcing Information Flow Security Properties in Cyber-Physical Systems: A Generalized Framework Based on Compensation. COMPSAC Workshops 2010: 158-163 - [c42]Jason Madden, Bruce M. McMillin
Environmental Obfuscation of a Cyber Physical System - Vehicle Example. COMPSAC Workshops 2010: 176-181 - [c41]Ravi Akella, Bruce M. McMillin
Information Flow Analysis of Energy Management in a Smart Grid. SAFECOMP 2010: 263-276 - [c40]Ayman Z. Faza
Integrated Cyber-Physical Fault Injection for Reliability Analysis of the Smart Grid. SAFECOMP 2010: 277-290
2000 – 2009
- 2009
- [c39]Derek P. Ditch, Bruce M. McMillin
The Security Implication of Multiple Observers in a Distributed System. COMPSAC (2) 2009: 341-346 - [c38]David A. Cape, Bruce M. McMillin
Dihomotopic Reduction Used in Deadlock Detection. COMPSAC (1) 2009: 648-651 - [c37]Ravi Akella, Bruce M. McMillin
Model-Checking BNDC Properties in Cyber-Physical Systems. COMPSAC (1) 2009: 660-663 - [c36]Ayman Z. Faza
Reliability Modeling for the Advanced Electric Power Grid: A Proposal for Doctoral Research. COMPSAC (1) 2009: 672-675 - [c35]Thoshitha T. Gamage, Bruce M. McMillin
EM Enforcing Information Flow Properties using Compensating Events. HICSS 2009: 1-7 - [c34]Thoshitha T. Gamage, Bruce M. McMillin
Nondeducibility-Based Analysis of Cyber-Physical Systems. Critical Infrastructure Protection 2009: 169-183 - [c33]Ayman Z. Faza
Reliability Analysis for the Advanced Electric Power Grid: From Cyber Control and Communication to Physical Manifestations of Failure. SAFECOMP 2009: 257-269 - [c32]David A. Cape, Bruce M. McMillin
Recursive Decomposition of Progress Graphs. SSIRI 2009: 23-31 - 2008
- [j8]William M. Siever, Daniel R. Tauritz
Symbolic Reduction for High-Speed Power System Simulation. Simul. 84(6): 297-309 (2008) - [c31]Ryan C. Underwood, Bruce M. McMillin
An Open Framework for Highly Concurrent Real-Time Hardware-in-the-Loop Simulation. COMPSAC 2008: 44-51 - [c30]Sojan Markose, Xiaoqing Frank Liu, Bruce M. McMillin
A Systematic Framework for Structured Object-Oriented Security Requirements Analysis in Embedded Systems. EUC (1) 2008: 75-81 - [c29]Han Tang, Bruce M. McMillin
Security Property Violation in CPS through Timing. ICDCS Workshops 2008: 519-524 - [c28]Ayman Z. Faza
The Advanced Electric Power Grid: Complexity Reduction Techniques for Reliability Modeling. SAFECOMP 2008: 429-439 - 2007
- [c27]Bruce M. McMillin:
Future Trends: Computing as a Core Discipline. COMPSAC (1) 2007: 3-7 - [c26]Han Tang, Bruce M. McMillin
Security of Information Flow in the Electric Power Grid. Critical Infrastructure Protection 2007: 43-56 - [c25]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: 363-369 - [c24]Ayman Z. Faza
Reliability Modeling for the Advanced Electric Power Grid. SAFECOMP 2007: 370-383 - 2006
- [c23]Matt Ryan, Sule Simsek, Xiaoqing Frank Liu, Bruce M. McMillin
An Instance-Based Structured Object Oriented Method for Co-analysis/Co-design of Concurrent Embedded Systems. COMPSAC (1) 2006: 273-280 - [c22]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: 281-290 - [c21]David A. Cape, Bruce M. McMillin
Model Checking Control Communication of a FACTS Device. ICPP Workshops 2006: 391-396 - 2005
- [c20]Austin Armbruster, Michael R. Gosnell, Bruce M. McMillin
Power Transmission Control Using Distributed Max Flow. COMPSAC (1) 2005: 256-263 - [c19]Michael R. Gosnell, Ryan Albarelli, Maggie Xiaoyan Cheng, Bruce M. McMillin:
Energy Balanced Broadcasting Through Delayed Intelligence. ITCC (2) 2005: 627-632 - 2004
- [c18]Austin Armbruster, Matt Ryan, Xiaoqing Frank Liu, Ying Cheng, Bruce M. McMillin:
Hardware/software co-design for power system test development. WISER 2004: 83-88 - 2000
- [j7]Martina Schollmeyer, Bruce M. McMillin
Efficient run-time assurance in distributed systems through selection of executable assertions. J. Syst. Softw. 52(1): 33-54 (2000)
1990 – 1999
- 1997
- [j6]Martina Schollmeyer, Bruce M. McMillin
A General Method for Maximizing the Error-Detecting Ability of Distributed Algorithms. IEEE Trans. Parallel Distributed Syst. 8(2): 164-172 (1997) - 1996
- [c17]Cristina Serban, Bruce M. McMillin:
Run-time security evaluation: can we afford it? NSPW 1996: 68-72 - [c16]Aggie Y. Sun, Bruce M. McMillin:
Wheels: An Automated Program Analysis Tool. SEKE 1996: 269-276 - [c15]Cristina Serban, Bruce M. McMillin:
Run-Time Security Evaluation (RTSE) for Distributed Applications. S&P 1996: 222-237 - 1995
- [j5]Chul-Eui Hong, Bruce M. McMillin
Relaxing Synchronization in Distributed Simulated Annealing. IEEE Trans. Parallel Distributed Syst. 6(2): 189-195 (1995) - [c14]Martina Schollmeyer, Bruce M. McMillin:
Checking Program Proofs Made Eas. COMPSAC 1995: 102-107 - [c13]Grace Tsai, M. Insall, Bruce M. McMillin:
Ensuring the satisfaction of a temporal specification at run-time. ICECCS 1995: 397-404 - 1994
- [c12]Jun-Lin Liu, Thomas J. Sager, Bruce M. McMillin:
An Improved Characterization of 1-Step Recoverable Embeddings: Rings in Hypercubes. ICPADS 1994: 508-515 - [c11]Martina Schollmeyer, Bruce M. McMillin:
A General Method for Maximizing the Error-Detecting Ability of Distributed Algorithms. PARLE 1994: 725-736 - 1993
- [j4]James Edward Steck, Bruce M. McMillin
Parallel Implementation of a Recursive Least-Squares Neural Network Training Method on the Intel iPSC/2. J. Parallel Distributed Comput. 18(1): 89-93 (1993) - [c10]Pei-yu Li, Bruce M. McMillin:
Fault-tolerant distributed deadlock detection/resolution. COMPSAC 1993: 224-230 - [c9]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: 363-376 - 1992
- [j3]Henry Clark, Bruce M. McMillin
DAWGS - A Distributed Compute Server Utilizing Idle Workstations. J. Parallel Distributed Comput. 14(2): 175-186 (1992) - [j2]Rashi Khanna, Bruce M. McMillin
SMILI: Visualization of asynchronous massively parallel programs. J. Syst. Softw. 19(3): 261-275 (1992) - [j1]Bruce M. McMillin
Reliable Distributed Sorting Through the Application-Oriented Fault Tolerance Paradigm. IEEE Trans. Parallel Distributed Syst. 3(4): 411-420 (1992) - [c8]Hanan Lutfiyya, Aggie Y. Sun, Bruce M. McMillin:
Fault-tolerant concurrent branch and bound algorithms derived from program verification. COMPSAC 1992: 182-187 - [c7]Junlin Liu, Bruce M. McMillin:
A Divide and Conquer Ring Embedding Scheme in Hypercubes with Efficient Recovery Ability. ICPP (3) 1992: 38-45 - 1991
- [c6]Chul-Eui Hong, Bruce M. McMillin:
Fault-tolerant parallel matrix multiplication with one iteration fault detection latency. COMPSAC 1991: 665-672 - 1990
- [c5]Steve Franks, Bruce M. McMillin, Rashi Khanna:
PAFMV-Pairwise Asynchronous Multigrid. ICPP (1) 1990: 388-392 - [c4]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: 631-636
1980 – 1989
- 1989
- [c3]Ralph W. Wilkerson, Bruce M. McMillin:
Expectations for associative-commutative unification speedups in a multicomputer environment. COMPSAC 1989: 158-165 - [c2]Bruce M. McMillin, Lionel M. Ni:
Reliable distributed sorting through the application-oriented fault tolerance paradigm. ICDCS 1989: 508-515 - 1988
- [c1]Bruce M. McMillin, Lionel M. Ni:
Executable assertion development for the distributed parallel environment. COMPSAC 1988: 284-291
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: