David M. Nicol

ORCID

Publication Activity (10 Years)

Years Active: 1984-2023
Publications (10 Years): 49

Top Venues

Publications

David M. Nicol, Gregory Shannon, Monika Akbar, Matt Bishop, Michael M. Chaney, Matthew E. Luallen
Toward Common Weakness Enumerations in Industrial Control Systems. IEEE Secur. Priv. 21 (4) (2023)
Ertem Esiner, Utku Tefek, Daisuke Mashima, Binbin Chen, Zbigniew Kalbarczyk, David M. Nicol
Message Authentication and Provenance Verification for Industrial Control Systems. ACM Trans. Cyber Phys. Syst. 7 (4) (2023)
David M. Nicol, Emily Belovich, Atul Bohara
Smart Grid Network Flows Best Practices Checker. SmartGridComm (2022)
Vignesh Babu, David M. Nicol
Mechanisms for Precise Virtual Time Advancement in Network Emulation. ACM Trans. Model. Comput. Simul. 32 (2) (2022)
Vignesh Babu, David M. Nicol
Temporally synchronized emulation of devices with simulation of networks. SIGSIM-PADS (2022)
Hoang Hai Nguyen, Kartik Palani, David M. Nicol
Exploiting monotonicity and symmetry for efficient simulation of highly dependable systems. DSN (2022)
Wentong Cai, Christopher D. Carothers, David M. Nicol, Adelinde M. Uhrmacher
Computer Science Methods for Effective and Sustainable Simulation Studies (Dagstuhl Seminar 22401). Dagstuhl Reports 12 (10) (2022)
David M. Nicol
Connectivity Preserving Anonymization of Smart Grid Network Configurations. SmartGridComm (2022)
Ertem Esiner, Utku Tefek, Hasan S. M. Erol, Daisuke Mashima, Binbin Chen, Yih-Chun Hu, Zbigniew Kalbarczyk, David M. Nicol
LoMoS: Less-Online/More-Offline Signatures for Extremely Time-Critical Systems. IEEE Trans. Smart Grid 13 (4) (2022)
Nils Ole Tippenhauer, Binbin Chen, Daisuke Mashima, David M. Nicol
vBump: Securing Ethernet-based Industrial Control System Networks with VLAN-based Traffic Aggregation. CPSIOTSEC@CCS (2021)
David M. Nicol
Message from IEEE S&P's Outgoing Editor in Chief. IEEE Secur. Priv. 19 (1) (2021)
David M. Nicol
The Ransomware Threat to Energy-Delivery Systems. IEEE Secur. Priv. 19 (3) (2021)
David M. Nicol
In the Petri Dish: Cybersecurity Pushed to the Edge. IEEE Secur. Priv. 18 (3) (2020)
Gurcan Comert, Mashrur Chowdhury, David M. Nicol
Assessment of System-Level Cyber Attack Vulnerability for Connected and Autonomous Vehicles Using Bayesian Networks. CoRR (2020)
Kartik Palani, David M. Nicol
Optimal Monitoring Strategies for Critical Infrastructure Networks. SIGMETRICS Perform. Evaluation Rev. 47 (4) (2020)
David M. Nicol
The Value of Useless Academic Research to the Cyberdefense of Critical Infrastructures. IEEE Secur. Priv. 18 (1) (2020)
Isabella Lee, Vignesh Babu, Matthew Caesar, David M. Nicol
Deep Reinforcement Learning for UAV-Assisted Emergency Response. MobiQuitous (2020)
Kartik Palani, David M. Nicol
Hardening Critical Infrastructure Networks Against Attacker Reconnaissance. QEST (2020)
Hoang Hai Nguyen, David M. Nicol
Estimating Loss Due to Cyber-attack in the Presence of Uncertainty. TrustCom (2020)
Tarek F. Abdelzaher, Jiawei Han, Yifan Hao, Andong Jing, Dongxin Liu, Shengzhong Liu, Hoang Hai Nguyen, David M. Nicol, Huajie Shao, Tianshi Wang, Shuochao Yao, Yu Zhang, Omar Malik, Stephen Dipple, James Flamino, Fred Buchanan, Sam Cohen, György Korniss, Boleslaw K. Szymanski
Multiscale online media simulation with SocialCube. Comput. Math. Organ. Theory 26 (2) (2020)
Vignesh Babu, David M. Nicol
Precise Virtual Time Advancement for Network Emulation. SIGSIM-PADS (2020)
David M. Nicol
Simulation-based Analysis of Network Rules Matching. SIGSIM-PADS (2019)
David M. Nicol
Challenges in Quantifying an Adversary's Cyber Access to Critical Infrastructures. CRITIS (2019)
David M. Nicol, Rakesh Kumar
SDN Resiliency to Controller Failure in Mobile Contexts. WSC (2019)
Ertem Esiner, Daisuke Mashima, Binbin Chen, Zbigniew Kalbarczyk, David M. Nicol
F-Pro: a Fast and Flexible Provenance-Aware Message Authentication Scheme for Smart Grid. SmartGridComm (2019)
Hoang Hai Nguyen, Kartik Palani, David M. Nicol
Extensions of Network Reliability Analysis. DSN (2019)
Hellen Maziku, Sachin Shetty, David M. Nicol
Security risk assessment for SDN-enabled smart grids. Comput. Commun. 133 (2019)
Marco A. Gamarra, Sachin Shetty, David M. Nicol, Laurent Njilla, Oscar R. González
Modeling Stepping Stone Attacks with Constraints in Cyber Infrastructure. GLOBECOM (2019)
Vignesh Babu, David M. Nicol
On Repeatable Emulation in Virtual Testbeds. WSC (2018)
Marco A. Gamarra, Sachin Shetty, David M. Nicol, Oscar Gonazlez, Charles A. Kamhoua, Laurent Njilla
Analysis of Stepping Stone Attacks in Dynamic Vulnerability Graphs. ICC (2018)
Tarek F. Abdelzaher, Nora Ayanian, Tamer Basar, Suhas N. Diggavi, Jana Diesner, Deepak Ganesan, Ramesh Govindan, Susmit Jha, Tancrède Lepoint, Benjamin M. Marlin, Klara Nahrstedt, David M. Nicol, Raj Rajkumar, Stephen Russell, Sanjit A. Seshia, Fei Sha, Prashant J. Shenoy, Mani B. Srivastava, Gaurav S. Sukhatme, Ananthram Swami, Paulo Tabuada, Don Towsley, Nitin H. Vaidya, Venugopal V. Veeravalli
Will Distributed Computing Revolutionize Peace? The Emergence of Battlefield IoT. ICDCS (2018)
Rakesh Kumar, Vignesh Babu, David M. Nicol
Network Coding for Critical Infrastructure Networks. CoRR (2018)
Rakesh Kumar, Vignesh Babu, David M. Nicol
Network Coding for Critical Infrastructure Networks. ICNP (2018)
Jereme Lamps, Vignesh Babu, David M. Nicol, Vladimir Adam, Rakesh Kumar
Temporal Integration of Emulation and Network Simulators on Linux Multiprocessors. ACM Trans. Model. Comput. Simul. 28 (1) (2018)
David M. Nicol
Cyber Risk of Coordinated Attacks in Critical Infrastructures. WSC (2018)
Tarek F. Abdelzaher, Nora Ayanian, Tamer Basar, Suhas N. Diggavi, Jana Diesner, Deepak Ganesan, Ramesh Govindan, Susmit Jha, Tancrède Lepoint, Benjamin M. Marlin, Klara Nahrstedt, David M. Nicol, Raj Rajkumar, Stephen Russell, Sanjit A. Seshia, Fei Sha, Prashant J. Shenoy, Mani B. Srivastava, Gaurav S. Sukhatme, Ananthram Swami, Paulo Tabuada, Don Towsley, Nitin H. Vaidya, Venugopal V. Veeravalli
Toward an Internet of Battlefield Things: A Resilience Perspective. Computer 51 (11) (2018)
Jingwei Huang, David M. Nicol
An anatomy of trust in public key infrastructure. Int. J. Crit. Infrastructures 13 (2/3) (2017)
David M. Nicol
A Performance Model of Composite Synchronization. SIGSIM-PADS (2017)
Richard M. Fujimoto, Rajive L. Bagrodia, Randal E. Bryant, K. Mani Chandy, David R. Jefferson, Jayadev Misra, David M. Nicol, Brian W. Unger
Parallel discrete event simulation: The making of a field. WSC (2017)
Hoang Hai Nguyen, Kartik Palani, David M. Nicol
An Approach to Incorporating Uncertainty in Network Security Analysis. HotSoS (2017)
Vignesh Babu, Rakesh Kumar, Hoang Hai Nguyen, David M. Nicol, Kartik Palani, Elizabeth Reed
Melody: Synthesized datasets for evaluating intrusion detection systems for the smart grid. WSC (2017)
Prashant Anantharaman, Kartik Palani, David M. Nicol, Sean W. Smith
I Am Joe's Fridge: Scalable Identity in the Internet of Things. iThings/GreenCom/CPSCom/SmartData (2016)
Xinshu Dong, Sumeet Jauhar, William G. Temple, Binbin Chen, Zbigniew Kalbarczyk, William H. Sanders, Nils Ole Tippenhauer, David M. Nicol
The Right Tool for the Job: A Case for Common Input Scenarios for Security Assessment. GraMSec@CSF (2016)
Rakesh Kumar, David M. Nicol
Validating resiliency in Software Defined Networks for smart grids. SmartGridComm (2016)
Jun Ho Huh, Rakesh B. Bobba, Tom Markham, David M. Nicol, Julie Hull, Alexander Chernoguzov, Himanshu Khurana, Kevin Staggs, Jingwei Huang
Next-Generation Access Control for Distributed Control Systems. IEEE Internet Comput. 20 (5) (2016)
David M. Nicol, Rakesh Kumar
Efficient Monte Carlo Evaluation of SDN Resiliency. SIGSIM-PADS (2016)
Gabriel A. Weaver, Kate Davis, Charles M. Davis, Edmond J. Rogers, Rakesh B. Bobba, Saman A. Zonouz, Robin Berthier, Peter W. Sauer, David M. Nicol
Cyber-Physical models for power grid security analysis: 8-substation case. SmartGridComm (2016)
David M. Nicol
Risk Assessment of Cyber Access to Physical Infrastructure in Cyber-Physical Systems. CPSS@AsiaCCS (2016)
Vignesh Babu, David M. Nicol
Emulation/simulation of PLC networks with the S3F network simulator. WSC (2016)
Jereme Lamps, Vladimir Adam, David M. Nicol, Matthew Caesar
Conjoining Emulation and Network Simulators on Linux Multiprocessors. SIGSIM-PADS (2015)
Sumeet Jauhar, Binbin Chen, William G. Temple, Xinshu Dong, Zbigniew T. Kalbarczyk, William H. Sanders, David M. Nicol
Model-Based Cybersecurity Assessment with NESCOR Smart Grid Failure Scenarios. PRDC (2015)
Dong (Kevin) Jin, David M. Nicol
Parallel Simulation and Virtual-Machine-Based Emulation of Software-Defined Networks. ACM Trans. Model. Comput. Simul. 26 (1) (2015)
Vignesh Babu, David M. Nicol
Detection of x86 malware in AMI data payloads. SmartGridComm (2015)
Jingwei Huang, David M. Nicol, Roy H. Campbell
Denial-of-Service Threat to Hadoop/YARN Clusters with Multi-tenancy. BigData Congress (2014)
Nils Ole Tippenhauer, William G. Temple, An Hoa Vu, Binbin Chen, David M. Nicol, Zbigniew Kalbarczyk, William H. Sanders
Automatic Generation of Security Argument Graphs. PRDC (2014)
Nils Ole Tippenhauer, William G. Temple, An Hoa Vu, Binbin Chen, David M. Nicol, Zbigniew Kalbarczyk, William H. Sanders
Automatic Generation of Security Argument Graphs. CoRR (2014)
Sean Peisert, Jonathan Margulies, David M. Nicol, Himanshu Khurana, Chris Sawall
Designed-in Security for Cyber-Physical Systems. IEEE Secur. Priv. 12 (5) (2014)
David M. Nicol, Vikas Mallapura
Modeling and analysis of stepping stone attacks. WSC (2014)
Alefiya Hussain, Ted Faber, Robert Braden, Terry V. Benzel, Tim Yardley, Jeremy Jones, David M. Nicol, William H. Sanders, Thomas W. Edgar, Thomas E. Carroll, David O. Manz, Laura Tinnel
Enabling Collaborative Research for Security and Resiliency of Energy Cyber Physical Systems. DCOSS (2014)
Jereme Lamps, David M. Nicol, Matthew Caesar
TimeKeeper: a lightweight virtual time system for linux. SIGSIM-PADS (2014)
Jingwei Huang, David M. Nicol
Evidence-based trust reasoning. HotSoS (2014)
An Hoa Vu, Nils Ole Tippenhauer, Binbin Chen, David M. Nicol, Zbigniew Kalbarczyk
CyberSAGE: A Tool for Automatic Security Assessment of Cyber-Physical Systems. QEST (2014)
Dong (Kevin) Jin, Yuhao Zheng, David M. Nicol
A parallel network simulation and virtual time-based network emulation testbed. J. Simulation 8 (3) (2014)
David M. Nicol, Lawrence M. Leemis
A continuous piecewise-linear NHPP intensity function estimator. WSC (2014)
Jingwei Huang, Zbigniew T. Kalbarczyk, David M. Nicol
Knowledge Discovery from Big Data for Intrusion Detection Using LDA. BigData Congress (2014)
Dong (Kevin) Jin, David M. Nicol
Parallel simulation of software defined networks. SIGSIM-PADS (2013)
Younghee Park, David M. Nicol, Huaiyu Zhu, Cheol Won Lee
Prevention of malware propagation in AMI. SmartGridComm (2013)
Yuhao Zheng, Dong (Kevin) Jin, David M. Nicol
Impacts of application lookahead on distributed network emulation. WSC (2013)
Jingwei Huang, David M. Nicol
Trust mechanisms for cloud computing. J. Cloud Comput. 2 (2013)
Binbin Chen, Zbigniew Kalbarczyk, David M. Nicol, William H. Sanders, Rui Tan, William G. Temple, Nils Ole Tippenhauer, An Hoa Vu, David K. Y. Yau
Go with the flow: toward workflow-oriented security assessment. NSPW (2013)
Simon J. E. Taylor, Osman Balci, Wentong Cai, Margaret L. Loper, David M. Nicol, George F. Riley
Grand challenges in modeling and simulation: expanding our horizons. SIGSIM-PADS (2013)
Incheol Shin, Jun Ho Huh, Yuseok Jeon, David M. Nicol
A distributed monitoring architecture for AMIs: minimizing the number of monitoring nodes and enabling collided packet recovery. SEGS@CCS (2013)
Timothy M. Yardley, Robin Berthier, David M. Nicol, William H. Sanders
Smart grid protocol testing through cyber-physical testbeds. ISGT (2013)
David M. Nicol
Exploiting Uncertainty and Error to Accelerate Simulations. SIMULTECH (2012)
Shehla S. Rana, Huaiyu Zhu, Cheol Won Lee, David M. Nicol, Incheol Shin
The Not-So-Smart Grid: Preliminary work on identifying vulnerabilities in ANSI C12.22. GLOBECOM Workshops (2012)
Yuhao Zheng, Dong (Kevin) Jin, David M. Nicol
Validation of application behavior on a virtual time integrated network emulation testbed. WSC (2012)
Jingwei Huang, David M. Nicol
Security and provenance in M3GS for cross-domain information sharing. MILCOM (2012)
Dong (Kevin) Jin, Yuhao Zheng, Huaiyu Zhu, David M. Nicol, Lenhard Winterrowd
Virtual Time Integration of Emulation and Parallel Simulation. PADS (2012)
David M. Nicol
Scaling issues for NERC CIP electronic security perimeter compliance assessment (extended abstract). ISGT (2012)
Thomas D. Nicol, David M. Nicol
Combating Unauthorized Load Signal Analysis with Targeted Event Masking. HICSS (2012)
Yuhao Zheng, David M. Nicol, Dong (Kevin) Jin, Naoki Tanaka
A virtual time system for virtualization-based network emulations and simulations. J. Simulation 6 (3) (2012)
Jingwei Huang, David M. Nicol, Rakesh Bobba, Jun Ho Huh
A framework integrating attribute-based policies into role-based access control. SACMAT (2012)
David M. Nicol, Dong (Kevin) Jin, Yuhao Zheng
S3F: the Scalable Simulation Framework revisited. WSC (2011)
Yuhao Zheng, David M. Nicol
A Virtual Time System for OpenVZ-Based Network Emulations. PADS (2011)
Dong (Kevin) Jin, David M. Nicol, Guanhua Yan
An event buffer flooding attack in DNP3 controlled SCADA systems. WSC (2011)
David M. Nicol, Michael Huth
Message from the program chairs. Perform. Evaluation 68 (2) (2011)
Dong (Kevin) Jin, David M. Nicol, Matthew Caesar
Efficient Gigabit Ethernet Switch Models for Large-Scale Simulation. PADS (2010)
Suraj Nellikar, David M. Nicol, Jai J. Choi
Role-based differentiation for insider detection algorithms. Insider Threats@CCS (2010)
Dong (Kevin) Jin, David M. Nicol
Fast simulation of background traffic through Fair Queueing networks. WSC (2010)
David M. Nicol, William H. Sanders, Mouna Seri, Sankalp Singh
Experiences Validating the Access Policy Tool in Industrial Settings. HICSS (2010)
Yuhao Zheng, David M. Nicol
Validation of Radio Channel Models Using an Anechoic Chamber. PADS (2010)
Kurt Thomas, Chris Grier, David M. Nicol
unFriendly: Multi-party Privacy Risks in Social Networks. Privacy Enhancing Technologies (2010)
Tanmay Khirwadkar, Kien C. Nguyen, David M. Nicol, Tamer Basar
Methodologies for evaluating game theoretic defense against DDoS attacks. WSC (2010)
Jingwei Huang, David M. Nicol
A Formal-Semantics-Based Calculus of Trust. IEEE Internet Comput. 14 (5) (2010)
Kurt Thomas, David M. Nicol
The Koobface botnet and the rise of social malware. MALWARE (2010)
David M. Nicol
Securing the perimeter: challenges in enforcing global access control. CSIIRW (2010)
Hamed Okhravi, David M. Nicol
TrustGraph: Trusted Graphics Subsystem for High Assurance Systems. ACSAC (2009)
Md. Yusuf Sarwar Uddin, David M. Nicol, Tarek F. Abdelzaher, Robin Kravets
A Post-disaster Mobility Model for Delay Tolerant Networking. WSC (2009)
David M. Nicol, Charles M. Davis, Thomas J. Overbye
A testbed for power system security evaluation. Int. J. Inf. Comput. Secur. 3 (2) (2009)
Jingwei Huang, David M. Nicol
A calculus of trust and its application to PKI and identity management. IDtrust (2009)

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

Publication Activity (10 Years)

Top Topics

Top Venues

David M. Nicol