Citing this project?

To read more about our vision, research directions, and future roadmap (and to cite this project), please use:

Tarek Abdelzaher et al., "Will Distributed Computing Revolutionize Peace? The Emergence of Battlefield IoT," In Proc. IEEE International Conference on Distibuted Computing Systems (ICDCS), Vienna, Austria, July 2018.


Multi-Agent Coordination for Distributed Transmit Beamforming

In Proc. 2020 American Control Conference, July 2020
Jemin George, Anjaly Parayil, Cemal Yilmaz, Bethany Allik, He Bai, Aranya Chakrabortty

Hierarchical Control of Multi-Agent Systems using\\ Online Reinforcement Learning

In Proc. 2020 American Control Conference, July 2020
Jemin George, He Bai, Aranya Chakrabortty

Decentralized gradient methods: does topology matter?

In Proc. AISTATS 2020, June 2020
Giovanni Neglia, Chuan Xu, Don Towsley, Gianmarco Calbi

Physics-based Simulation of Continuous-Wave LIDAR for Localization, Calibration and Tracking

In Proc. IEEE International Conference on Robotics and Automation, June 2020
Eric Heiden, Ziang Liu, Ragesh Ramachandran, Gaurav Sukhatme

Zero-Shot Learning in the Presence of Hierarchically Coarsened Labels

In Proc. 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW) , May 2020 (Accepted)
Colin Samplawski, Heesung Kwon, Erik Learned-Miller, Ben Marlin

Generalized Bayesian Posterior Expectation Distillation for Deep Neural Networks

In Proc. Conference on Uncertinaty in Artificial Intelligence, May 2020 (Accepted)
Meep Vadera, Brian Jalaian, Ben Marlin

A Model-Free Approach to Distributed Transmit Beamforming

In Proc. 2020 ICASSP, May 2020
Jemin George, Cemal Yilmaz, Anjaly Parayil, Aranya Chakrabortty

Rapid Top-Down Synthesis of Large-Scale IoT Networks

In Proc. IEEE International Conference on Computer Communications and Networks (ICCCN 2020), May 2020 (Accepted)
Pradipta Ghosh, Jonathan Bunton, Dimitrios Pylorof, Marcos Vieira, Kevin Chan, Ramesh Govindan, Gaurav Sukhatme, Paulo Tabuada, Gunjan Verma

Securing state reconstruction under sensor and actuator attacks: Theory and design

Automatica, May 2020
Mehrdad Showkatbakhsh, Yasser Shoukry, Suhas Diggavi, Paulo Tabuada

Fault-Tolerance in Distributed Optimization: The Case of Redundancy

In Proc. ACM Symposium on Principles of Distributed Computing, May 2020 (Accepted)
Nirupam Gupta, Nitin Vaidya

Adversarial perturbations to manipulate the perception of power and influence in networks

In Proc. 6th International Conference on Computational Social Science, April 2020 (Accepted)
Nikolaus Parulian, Tiffany Lu, Shubhanshu Mishra, Mihai Avram, Jana Diesner

The Multi-domain Effects Loop: From Future Concepts to Research Challenges

In Proc. SPIE Defense and Commercial Sensing, April 2020
Tarek Abdelzaher, Adam Taliaferro, Paul Sullivan, Stephen Russell

SYMMETRIES AND ISOMORPHISMS FOR PRIVACY IN CONTROL OVER THE CLOUD

IEEE Transactions on Automatic Control, March 2020 (Accepted)
Alimzhan Sultangazin, Paulo Tabuada

GlobalFusion: A Global Attentional Deep Learning Framework for Multisensor Information Fusion

The Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies (IMWUT), March 2020
Shengzhing Liu, Shuochao Yao, Jinyang Li, Dobgxin Liu, Tianshi Wang, Huajie Shao

TrojDRL: Trojan Attacks on Deep Reinforcement Learning Agents

In Proc. 57th ACM/IEEE Design Automation Conference (DAC), 2020, March 2020
Panagiota (Penny) Kiourti, Kacper Wardega, Susmit Jha, Wenchao Li

Adversarial perturbations to manipulate the perception of power and influence in networks

Women in Data Science Urbana-Champaign Conference 2020, March 2020
Tiffany Lu, Nikolaus Parulian, Mihai Avram, Shubhanshu Mishra, Jana Diesner

Quickest Detection of Dynamic Events in Networks

IEEE Transactions on Information Theory, February 2020 (Accepted)
Shaofeng Zou, Venu Veeravalli, Jian Li, Don Towsley

Information Flow Optimization in Inference Networks

In Proc. IEEE ICASSP 2020, February 2020
Aditya Deshmukh, Jing Liu, Venu Veeravalli, Gunjan Verma

Information-Theoretic Understanding of Population Risk Improvement with Model Compression

In Proc. AAAI 2020, February 2020
Yuheng Bu, Weihao Gao, Shaofeng Zou, Venu Veeravalli

Quickest Detection of Growing Anomalies in Networks

In Proc. IEEE ICASSP 2020, February 2020
Georgios Rovatsos, Venu Veeravalli, Don Towsley, Ananthram Swami

Analytical Modeling of Edge Clouds and its Applications

UMass Tech Report to be submitted to Sigmetrics 2021, February 2020
Ahmed Ali-Eldin, Y.C. Tay, Prashant Shenoy

Assessing the Adversarial Robustness of Monte Carlo and Distillation Methods for Deep Bayesian Neural Network Classification

AAAI SafeAI Workshop, February 2020
Meet Vadera, Satya Narayan Shukla, Brian Jalaian, Ben Marlin

Distributed Stochastic Gradient Descent with Event-Triggered Communication

In Proc. AAAI 2020, February 2020
Jemin George, Prudhvi Gurram

Five Challenges in Cloud-Enabled Intelligence and Control

ACM Transactions on Internet Technology, February 2020
Tarek Abdelzaher, Yifan Hao, Kasthuri Jayarajah, Archan Misra, Per Skarin, Shuochao Yao, Dulanga Weerakoon, Karl-Erik Arzen

Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms

In Proc. AAAI 2020 , January 2020
Tuhin Sahai, Anurag Mishra, Jose Miguel Pasini, Susmit Jha

On the Need for Topology-Aware Generative Models for Manifold-Based Defenses

In Proc. ICLR 2020, January 2020
Uyeong Wang, Susmit Jha, Somesh Jha

Cloud-scale VM Deflation for Running Interactive Applications On Transient Servers

In Proc. The 29th International Symposium on High-Performance Parallel and Distributed Computing , January 2020
Alex Fuerst, Ahmed Ali-Eldin, Prashant Shenoy, Prateek Sharma

Adaptive Sequential Machine Learning

Sequential Analysis, December 2019
Craig Wilson, Yuheng Bu, Venu Veeravalli

When is the Secure State-Reconstruction Problem Hard?

In Proc. IEEE Conference on Decision and Control, December 2019
Yanwen Mao, Aritra Mitra, Shreyas Sundaram, Paulo Tabuada

Attribution-Based Confidence Metric For Deep Neural Networks

In Proc. NeurIPS 2019, December 2019
Susmit Jha, Brian Jalaian, Gunjan Verma, Ananthram Swami

Symmetries and privacy in control over the cloud: uncertainty sets and side knowledge

In Proc. IEEE Conference on Decision and Control, December 2019
Alimzhan Sultangazin, Paulo Tabuada

Distributed Stochastic Gradient Method for Non-Convex Problems with Applications in Supervised Learning

In Proc. 2019 IEEE Conference on Decision and Control, December 2019
Jemin George, Tao Yang, He Bai, Prudhvi Gurram

Partially-observed discrete-time risk-sensitive mean-field games

In Proc. Proc. 58th IEEE Conference on Decision and Control (CDC'19, Dec 11-13, 2019; Nice, France), December 2019
Naci Saldi, Tamer Basar, Maxim Raginsky

A communication efficient multi-agent actor-critic algorithm for distributed reinforcement learning

In Proc. Proc. 58th IEEE Conference on Decision and Control (CDC19), Nice, France, December 11-13, 2019, December 2019
Yixuan Lin, Kaiqing Zhang, Zhuoran Yang, Zhaoran Wang, Tamer Basar, Romeil Sandhu, Ji Liu

Convergence and iteration complexity of policy gradient method for infinite-horizon reinforcement learning

In Proc. Proc. 58th IEEE Conference on Decision and Control (CDC'19); Nice, France; December 11-13, 2019., December 2019
Kaiqing Zhang, Alec Koppel, Hao Zhu, Tamer Basar

Secure linear quadratic regulator using sparse model-free reinforcement learning

In Proc. Proc. 58th IEEE Conference on Decision and Control (CDC19), Nice, France; December 11-13, 2019, December 2019
Bahare Kiumarsi, Tamer Basar

Non-cooperative inverse reinforcement learning

In Proc. Proc. 2019 Conference on Neural Information Processing Systems (NeurIPS'19, Dec 8-14, 2019; Vancouver, Canada), December 2019
Kaiqing Zhang, Xiangyuan Zhang, Erik Miehling, Tamer Basar

Policy optimization provably converges to Nash equilibria in zero-sum linear quadratic games

In Proc. Proc. 2019 Conference on Neural Information Processing Systems (NeurIPS'19, Dec 8-14, 2019; Vancouver, Canada), December 2019
Kaiqing Zhang, Zhuoran Yang, Tamer Basar

A Consensus-based Approach for Distributed Quickest Detection of Significant Events in Networks

In Proc. ASILOMAR 2019, December 2019
Jian Li, Don Towsley, Shaofeng Zou, Venu Veeravalli, Gabriela Ciocarlie

Active and Adaptive Sequential Learning with Per Time-step Excess Risk Guarantees

In Proc. Asilomar Conference on Signals Systems and Computers 2019, December 2019
Yuheng Bu, Jiaxun Lu, Venu Veeravalli

Quickest Detection of a Dynamic Anomaly in a Sensor Network

In Proc. Asilomar Conference on Signals Systems and Computers 2019, December 2019
Georgios Rovatsos, George Moustakides, Venu Veeravalli

TRINITY: Trust, Resilience and Interpretability of AI (Tutorial)

In Proc. Numerical Software Verification 2019 affiliated with CAV 2019, December 2019

The Case for Robust Adaptation: Autonomic Resource Management is a Vulnerability

In Proc. IEEE MILCOM 2019 , November 2019
Joeseph Noor, Ahmed Ali-Eldin, Luis Garcia, Chirag Rao, Venkat Dasari, Deepak Ganesan , Brian Jalaian, Prashant Shenoy, Mani Srivastava

RemedIoT: Remedial Actions for Internet-of-Things Conflicts

In Proc. ACM BuildSys 2019, November 2019
Renju Liu, Ziqi Wang, Luis Garcia, Mani Srivastava

Pub/Sub-Sum: Content-summarization-based Pub/Sub Protocol on Information-centric Networks

In Proc. MILCOM 2019, November 2019
Jongdeog Lee, Suk Min Huang, Kelvin Marcus, Kavin Chan, Tarek Abdelzaher

Multi-Domain Effects and the Internet of Battlefield Things

In Proc. Milcom 2019, November 2019
Stephen Russell, Tarek Abdelzaher, Niranjan Suri

Application of Trust Assessment Techniques to IoBT Systems

In Proc. MILCOM 2019, November 2019
Ioannis Agadakos, Gabriela Ciocarlie, Bogdan Copos, Michael Emmi, Jemin George, Nandi Leslie, James Michaelis

On the optimality of linear signaling to deceive Kalman filters over finite/infinite horizons

In Proc. Proc. GameSec 2019 (10th International Conference on Decision and Game Theory for Security), October 30-November 1, 2019; Stockholm, Sweden., November 2019
Muhammed Sayin, Tamer Basar

Adversarial perturbations to manipulate the perception of power and influence in networks

iSchool Research Showcase 2019, October 2019
Mihai Avram, Shubhanshu Mishra, Nikolaus Parulian, Jana Diesner

Byzantine Fault-Tolerant Parallelized Stochastic Gradient Descent for Linear Regression

In Proc. 57th Annual Allerton Conference on Communication, Control, and Computing, September 2019
Nirupam Gupta, Nitin Vaidya

Sherlock - A Tool for Verification of Neural Network Feedback Systems: Demo Abstract.

In Proc. 22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2019, September 2019

TeLEx: learning signal temporal logic from positive examples using tightness metric

Formal Methods in System Design, September 2019
Susmit Jha

Hierarchical multi-stage Gaussian signaling games in noncooperative communication and control systems

Automatica (107:9-20, September 2019), August 2019
Muhammed Sayin, Emrah Akyol, Tamer Basar

Manipulating network influence via adversarial perturbations

In Proc. Workshop on Social Influence at the 2019 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM 2019), August 2019
Mihai Avram, Shubhanshu Mishra, Nikolaus Parulian, Jana Diesner

Sequential Algorithms for Moving Anomaly Detection in Networks

Sequential Analysis, August 2019 (Accepted)
Georgios Rovatsos, Shaofeng Zou, Venu Veeravalli

Scheduling Shared Data Acquisition for Real-time Decision Making

In Proc. RTCSA , August 2019
Tai-Sheng Cheng, Tarek Abdelzaher

Data Encoding Methods for Byzantine-Resilient Distributed Optimization

In Proc. IEEE International Symposium on Information Theory, July 2019
Deepesh Data, Linqi Song, Suhas Diggavi

Byzantine-Tolerant Distributed Coordinate Descent

In Proc. IEEE International Symposium on Information Theory, July 2019
Deepesh Data, Suhas Diggavi

Data Encoding for Byzantine-Resilient Distributed Gradient Descent

In Proc. IEEE International Symposium on Information Theory (ISIT), July 2019
Deepesh Data, Linqi Song, Suhas Diggavi

Online planning for decentralized stochastic control with partial history sharing

In Proc. Proc. 2019 American Control Conference (ACC 2019), Philadelphia, Pennsylvania, July 10-12, 2019, July 2019
Tamer Basar, Kaiqing Zhang, Erik Miehling

Quickest Detection of a Moving Target in a Sensor Network

In Proc. IEEE ISIT 2019, July 2019
Georgios Rovatsos, Shaofeng Zou, Venu Veeravalli

Evolution of Cooperation in Network of Interacting Agents

In Proc. 2019 American Control Conference, July 2019
Jemin George, Ananthram Swami

Fast Distributed Least-Squares Solver for Linear Time-Varying Equations

In Proc. 2019 American Control Conference, July 2019
Jemin George, Tao Yang

Assessing the Robustness of Bayesian Dark Knowledge to Posterior Uncertainty

ICML 2019 Workshop on Uncertainty & Robustness in Deep Learning, July 2019
Meet Vadera, Ben Marlin

Distributed Learning over Time-Varying Graphs with Adversarial Agents

In Proc. 2nd International Conference on Information Fusion, Special Session on Internet of Battlefield Things, July 2019
Pooja Vyavahare, Lili Su, Nitin Vaidya

Eugene: Towards Deep Intelligence as a Service

In Proc. ICDCS 2019, July 2019
Shuochao Yao, Tarek Abdelzaher

The Price is (Not) Right: Reflections on Pricing for Transient Cloud Servers

In Proc. Proceedings of IEEE ICCCN Valencia, Spain, July 2019, July 2019
David Irwin, Prashant Shenoy, Pradeep Ambati, Prateek Sharma, Supreeth Shastri, Ahmed Ali-Eldin

Tightening Mutual Information Based Generalization Bounds

In Proc. IEEE ISIT 2019, July 2019
Yuheng Bu, Shaofeng Zou, Venu Veeravalli

SpotWeb: Running Latency-sensitive Distributed Web Services on Transient Cloud Server

In Proc. The 28th International Symposium on High-Performance Parallel and Distributed Computing , June 2019
Ahmed Ali-Eldin, Jonathan Westin, Bin Wang, Prateek Sharma, Prashant Shenoy

Adversarial perturbations for identifying strategies toward biasing the perceptions of power and influence in social networks

In Proc. SUNBELT 2019 - Social Networks Conference of the International Network for Social Network Analysis (INSNA), June 2019
Mihai Avram, Shubhanshu Mishra, Jana Diesner

Enhancing the measurement of social effects by capturing morality

In Proc. 10th Workshop on Computational Approaches to Subjectivity, Sentiment and Social Media Analysis (WASSA) co-located at the North American Chapter of the Association for Computational Linguistics (NAACL), June 2019
Rezvaneh Rezapour, Saumil Shah, Jana Diesner

Understanding the Synchronization Costs of Distributed Machine Learning on Transient Cloud Resources

In Proc. Proceedings of IEEE Intl Cloud Engg Conference , June 2019
Prashant Shenoy, Ahmed Ali-Eldin, David Irwin, Pradeep Ambati, Lixin Gao

Game Theory for Next Generation Wireless and Communication Networks: Modeling, Analysis, and Design.

Cambridge University Press, June 2019
Zhu Han, Dusit Niyato, Walid Saad, Tamer Basar

Model Change Detection with Application to Machine Learning

In Proc. IEEE ICASSP 2019, May 2019
Yuheng Bu, Jiaxun Lu, Venu Veeravalli

Distributed Quickest Detection of Significant Events in Networks

In Proc. ICASSP 2019, May 2019
Jian Li, Venu Veeravalli, Don Towsley, Ananthram Swami, Shaofeng Zou

SpyCon: Adaptation Based Spyware in Human-in-the-Loop IoT

In Proc. SafeThings 2019: IEEE Workshop on the Internet of Safe Things, May 2019
Salma Elmalaki, Bo-Jhang Ho, Moustafa Alzantot, Yasser Shoukry, Mani Srivastava

Inferring Private Information in Wireless Sensor Networks

In Proc. 2019 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), May 2019
Daniel Burbano, Jemin George, Randy Freeman, Kevin Lynch

DISTRIBUTED TRACKING OF MANEUVERING TARGET: A FINITE-TIME ALGORITHM

In Proc. 2019 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), May 2019
Jemin George

Attribution-driven Causal Analysis for Detection of Adversarial Examples

In Proc. SafeML workshop at ICLR 2019, May 2019
Susmit Jha, Brian Jalaian, Ananthram Swami, Gunjan Verma

STFNets: Learning Sensing Signals from the Time-Frequency Perspective with Short-Time Fourier Neural Networks

In Proc. The Web Conference (WWW), May 2019
Shuochao Yao, Ailing Piao, Wenjun Jiang, Yiran Zhao, Huajie Shao, Shengzhong Liu, Dongxin Liu, Jinyang Li, Tianshi Wang, Shaohan Hu, Lu Su, Jiawei Han, Tarek Abdelzaher

A Semi-Supervised Active-learning Truth Estimator for Social Networks

In Proc. The Web Conference (WWW), May 2019
Hang Cui, Tarek Abdelzaher, Lance Kaplan

The Role of Network Topology for Distributed Machine Learning

In Proc. INFOCOM 2019, April 2019
Giovanni Neglia, Gianmarco Calbi, Don Towsley, Gayane Vardoyan

Enhancing the measurement of social effects by capturing morality

iSchool Corporate Research Showcase, April 2019
Rezvaneh Rezapour, Saumil Shah, Jana Diesner

The Age of Social Sensing

IEEE Computer, April 2019
Dong Wang, Boleslaw Szymanski, Tarek Abdelzaher, Heng Ji, Lance Kaplan

Evrostos: The rLTL Verifier

In Proc. International Conference on Hybrid Systems: Computation and Control, April 2019
Janis Anevlanis, Matthew Philippe, Daniel Neider, Paulo Tabuada

Demo Abstract: DDFlow Visualized Declarative Programming for Heterogeneous IoT Networks on Heliot Testbed Platform

The 4th ACM/IEEE International Conference on Internet of Things Design and Implementation (IoTDI '19 Posters and Demos), April 2019
Joseph Noor, Sandeep Singh Sandha, Luis Garcia, Mani Srivastava

Dependable Machine Intelligence at the Tactical Edge

In Proc. SPIE Defense and Commercial Sensing, April 2019
Archan Misra, Kasthuri Jayarajah, Dulanga Weekaroon, Shuochao Yao, Tarek Abdelzaher

Towards an Intelligent Tactical Edge: An Internet of Battlefield Things Roadmap

In Proc. SPIE Defense and Commercial Sensing, April 2019
Tarek Abdelzaher, Stephen Russell

DDFlow: Visualized Declarative Programming for Heterogeneous IoT Networks

In Proc. ACM/IEEE International Conference on Internet of Things Design and Implementation (IoTDI), April 2019
Joseph Noor, Hsiao-Yun Tseng, Luis Garcia, Mani Srivastava

Byzantine Fault Tolerant Distributed Linear Regression

arXiv.org, April 2019
Nirupam Gupta, Nitin Vaidya

Sherlock : A Tool for Verification of Deep Neural Networks.

In Proc. AAAI Spring Symposium on Verification of Neural Networks (VNN), 2019., February 2019
Susmit Jha

Inferring and Conveying Intentionality: Beyond Numerical Rewards to Logical Intentions.

In Proc. AAAI Spring Symposium, Towards Conscious AI Systems, 2019, February 2019
Susmit Jha

Tightening Mutual Information Based Bounds on Generalization Error

ISIT, 2019, February 2019

A Risk-Sensitive Finite-Time Reachability Approach for Safety of Stochastic Dynamic Systems

In Proc. ACC, 2019, February 2019
Susmit Jha

Securing Smart Cities: Implications and Challenges

Book, February 2019 (Accepted)
Ioannis Agadakos, Prashant Anantharaman, Gabriela Ciocarlie, Bogdan Copos, Michael Emmi, Tancrede Lepoint, Ulf Lindqvist, Michael Locasto, Liwei Song

Distributed Learning with Adversarial Agents Under Relaxed Network Condition

Arxiv.org, February 2019
Pooja Vyavahare, Nitin Vaidya

Robust Dynamic Average Consensus Algorithms

IEEE Transactions on Automatic Control, February 2019 (Accepted)
Jemin George, Randy Freeman

Communication scheduling and remote estimation with adversarial intervention

IEEE/CAA Journal of Automatica Sinica, 6(1): 32-44, January 2019., February 2019
Tamer Basar, Xiaobin Gao, Emrah Akyol

Security for Resilient IoBT Systems: Emerging Research Directions

In Proc. The First International Workshop on Internet of Things for Adversarial Environments, January 2019
Ioannis Agadakos, Gabriela Ciocarlie, Bogdan Copos, Jemin George, Nandi Lesli, James Michaelis

Human-in-the-loop control of distributed multi-agent systems: A relative input-output approach

In Proc. Proceedings of the 2018 IEEE Conference on Decision and Control (CDC 2018), pp. 3343-3348, Miami, FL, December 17-19, 2018, December 2018
Tamer Basar, Bahare Kiumarsi

Towards the use of symmetries to ensure privacy in control over the cloud

In Proc. IEEE Conference on Decision and Control, December 2018
Alimzhan Sultangazin, Paulo Tabuada

Verifying rLTL formulas: now faster than ever before

In Proc. IEEE Conference on Decision and Control, December 2018
Tzanis Anevlavis, Matthew Philippe, Daniel Neider, Paulo Tabuada

On communication scheduling and remote estimation in the presence of an adversary as a non-zero-sum game

In Proc. 2018 IEEE Conference on Decision and Control (CDC 2018), pp. 2710-2715, Miami, FL, December 2018., December 2018
Tamer Basar, Xiaobin Gao, Emrah Akyol

Learning Task Specifications from Demonstrations.

In Proc. NIPS 2018, December 2018
Susmit Jha, Sanjit Seshia

Deep Learning for the Internet of Battlefield Things

NATO SET-262 Specialists' Meeting on Artificial Intelligence for Military Multisensor Fusion Engines, November 2018
Tarek Abdelzaher

FastDeepIoT: Towards Understanding and Optimizing Neural Network Execution Time on Mobile and Embedded Devices

In Proc. ACM Sensys , November 2018
Shuochao Yao, Yiran Zhao, Huajie Shao, Shengzhong Liu, Dongxin Liu, Lu Su, Tarek Abdelzaher

Towards an Internet of Battlefield Things: A Resilience Perspective

IEEE Computer, November 2018
Tarek Abdelzaher, Nora Ayanian , Tamer Basar, Suhas Diggavi, Jana Diesner, Deepak Ganesan , Ramesh Govindan, Susmit Jha, Tancrede Lepoint, Ben Marlin, Klara Nahrstedt, David Nicol, Raj Rajkumar , Stephen Russell, Sanjit Seshia, Fei Sha, Prashant Shenoy, Mani Srivastava, Gaurav Sukhatme, Ananthram Swami, Paulo Tabuada, Don Towsley, Nitin Vaidya, Venu Veeravalli

Quickest Detection of Significant Events in Structured Networks

In Proc. Asilomar Conference on Signals, Systems, and Computers 2018, November 2018
Shaofeng Zou, Venu Veeravalli, Jian Li, Don Towsley

Distributed aggregative games on graphs in adversarial environments

In Proc. Proc. GameSec 2018 (9th International Conference on Decision and Game Theory for Security), October 29-31, 2018; Seattle, WA, pp. 296-313. , October 2018
Tamer Basar, Bahare Kiumarsi

Bias Mitigation of Morality Measurement through Quality-Controlled Lexicon Expansion and Evaluation

iSchool Research Showcase, October 2018
Rezvaneh Rezapour, Saumil Shah, Jana Diesner

Adversarial perturbations for identifying strategies for biasing the perceptions of power and influence in social networks

iSchool Research Showcase, October 2018
Mihai Avram, Shubhanshu Mishra, Jana Diesner

Detecting Adversarial Examples Using Data Manifolds

In Proc. MILCOM 2018, October 2018
Susmit Jha, Brian Jalaian

On Tracking Realistic Targets in a Megacity with Contested Air and Spectrum Access

In Proc. MILCOM, October 2018
Jongdeog Lee, Tarek Abdelzaher, Hang Qiu, Ramesh Govindan, Kelvin Marcus, Reginald Hobbs, Niranjan Suri, Will Dron

The Internet of Battlefield Things: The Next Generation of C3I

In Proc. MILCOM, October 2018
Stephen Russell, Tarek Abdelzaher

Executing Analytics and Fusion Workloads on Transient Computing Resources in Tactical Environments'

In Proc. IEEE MILCOM 2018, October 2018
Ahmed Ali-ElDin, Deepak Ganesan , Heesung Kwon, Ben Marlin, Prashant Shenoy, Mani Srivastava, Don Towsley

Internet of Personalized and Autonomous Things (IoPAT)

In Proc. ACM International Workshop on Smart Cities and Fog Computing (CitiFog '18) , October 2018
Salma Elmalaki, Yasser Shoukry, Mani Srivastava

Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games

In Proc. IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), October 2018
Sanjit Seshia

Data-Efficient Learning of Robust Control Policies

In Proc. Allerton Control Conference, October 2018
Susmit Jha, Patrick Lincoln

Towards the use of symmetries to ensure privacy in control over the cloud

In Proc. 57th IEEE Conference on Decision and Control (CDC 2018), October 2018
Paulo Tabuada, Alimzhan Sultangazin

Distorting an Adversary's View in Cyber-Physical Systems

In Proc. 57th IEEE Conference on Decision and Control (CDC 2018) , October 2018
Gaurav Agarwal,, Mohammed Karmoose, Suhas Diggavi, Christina Fragouli, Paulo Tabuada

Verifying rLTL formulas: now faster than ever before!

In Proc. 57th IEEE Conference on Decision and Control (CDC 2018), October 2018
Tzanis Anevlavis, Matthew Philippe, Daniel Neider, Paulo Tabuada

VirtSense: Virtualize Sensing through ARM TrustZone on Internet-of-Things

In Proc. 3rd Workshop on System Software for Trusted Execution (SysTEX 2018), October 2018
Renju Liu, Mani Srivastava

Intelligent Robotic IoT System (IRIS) Testbed

In Proc. IEEE/RSJ International Conference on Intelligent Robots and Systems, October 2018
Jason A. Tran, Pradipta Ghosh, Yutong Gu, Richard Kim, Daniel D'Souza, Nora Ayanian , Bhaskar Krishnamachari

SenseGAN: Enabling Deep Learning for Internet of Things with a Semi-Supervised Framework

IMWUT (Formerly Ubicomp), September 2018
Shuochao Yao, Yiran Zhao, Huajie Shao, Chao Zhang, Aston Zhang, Shaohan Hu, Dongxin Liu, Shengzhong Liu, Lu Su, Tarek Abdelzaher

Polymorphic radios: A new design paradigm for ultra-low power communication

In Proc. SIGCOMM 2018, August 2018
Deepak Ganesan , Mohammad Rostami

Protecting the privacy of networked multi-agent systems controlled over the cloud

In Proc. 27th International Conference on Computer Communications and Networks (ICCCN 2018), July 2018
Alimzhan Sultangazin, Suhas Diggavi, Paulo Tabuada

QuickSketch: Building 3D Representations in Unknown Environments using Crowdsourcing

In Proc. Fusion 2018, July 2018
Fawad Ahmad, Hang Qiu, Fan Bai, Ramesh Govindan

Risks and Benefits of Side-Channels in Battlefields

In Proc. Fusion 2018, July 2018
Tancrede Lepoint, Ioannis Agadakos, Bogdan Copos, Gabriela Ciocarlie, Michael Locasto, Ulf Lindqvist, James Michaelis

A Command-by-Intent Architecture for Battlefield Information Acquisition Systems

In Proc. Fusion 2018, July 2018
Jongdeog Lee, Yifan Hao, Tarek Abdelzaher, Kelvin Marcus, Reginald Hobbs

ApDeepSense: Deep Learning Uncertainty Estimation Without the Pain for IoT Applications

In Proc. In Proc. IEEE International Conference on Distibuted Computing Systems (ICDCS), July 2018
Shuochao Yao, Yiran Zhao, Huajie Shao, Chao Zhang, Aston Zhang, Dongxin Liu, Shengzhong Liu, Lu Su, Tarek Abdelzaher

Trusted Neural Networks for Safety-Constrained Autonomous Control

In Proc. DISE1: Deep Learning for Safety-Critical Applications in Engineering co-located with ICML, AAMAS and IJCAI, 2018, July 2018
Susmit Jha

Will Distributed Computing Revolutionize Peace? The Emergence of Battlefield IoT

In Proc. ICDCS 2018, July 2018
Tarek Abdelzaher, Nora Ayanian , Tamer Basar, Suhas Diggavi, Jana Diesner, Deepak Ganesan , Ramesh Govindan, Susmit Jha, Tancrede Lepoint, Ben Marlin, Klara Nahrstedt, David Nicol, Raj Rajkumar , Stephen Russell, Sanjit Seshia, Fei Sha, Prashant Shenoy, Mani Srivastava, Gaurav Sukhatme, Ananthram Swami, Paulo Tabuada, Don Towsley, Nitin Vaidya, Venu Veeravalli

Generalized Colonel Blotto game

In Proc. Proc. 2018 American Control Conference (ACC 2018), Milwaukee, WI, June 27-29, 2018, pp. 5744-5749, June 2018
Tamer Basar, Anibal Sanjab, Walid Saad, Aidin Ferdowsi

Duality-Based Nested Controller Synthesis from STL Specifications for Stochastic Linear Systems

In Proc. 16th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), June 2018
Susmit Jha, Sunny Raj, Sumit Jha, Natarajan Shankar

Privacy-Utility Trade-off of Linear Regression under Random Projections and Additive Noise

In Proc. IEEE International Symposium on Information Theory, June 2018
Suhas Diggavi, Mehrdad Showkatbaksh, Can Karakus

Model, Data and Reward Repair: Trusted Machine Learning for Markov Decision Processes

In Proc. Proceedings of the DSN Workshop on Dependable and Secure Machine Learning (DSN-DSML), co-located with the IEEE/IFIP International Conference on Dependable Systems and Networks, June 2018
Susmit Jha

A Constrained Maximum Likelihood Estimator for Unguided Social Sensing

In Proc. IEEE International Conference on Computer Communications (IEEE Infocom), June 2018
Huajie Shao, Shuochao Yao, Yiran Zhao, Chao Zhang, Jinda Han, Lance Kaplan, Lu Su, Tarek Abdelzaher

Verifying Controllers Against Adversarial Examples with Bayesian Optimization

In Proc. International Conference on Robotics and Automation (ICRA'18), May 2018
Shromona Ghosh

Deep Learning for the Internet of Things

IEEE Computer, May 2018
Shuochao Yao, Yiran Zhao, Aston Zhaon, Shaohan Hu, Huajie Shao, Chao Zhang, Lu Su, Tarek Abdelzaher

Quickest Detection of Dynamic Events in Sensor Networks

In Proc. Proc. IEEE ICASSP 2018, April 2018
Shaofeng Zou, Venu Veeravalli

Output Range Analysis for Deep Neural Networks

In Proc. Tenth NASA Formal Methods Symposium (NFM 2018), April 2018
Souradeep Dutta, Susmit Jha

Learning and Verification of Feedback Control Systems using Feedforward Neural Networks

In Proc. IFAC Conference on Analysis and Design of Hybrid Systems (ADHS18), April 2018
Souradeep Dutta, Susmit Jha

Realizing the full potential of (infra-)structures for inter-agency communication before, during, and after disasters using the example of APAN (All-Partners Access Network)

In Proc. The 3rd International Workshop on Social Sensing (SocialSens 2018), April 2018
Ly Dinh, Jana Diesner

Athena: Towards Decision-centric Anticipatory Sensor Information Delivery

Journal of Sensor and Actuator Networks, January 2018
Jongdeog Lee, Kelvin Marcus, Tarek Abdelzaher, Tanvir Amin, Will Dron, Ramesh Govindan, Reginald Hobbs, Shaohan Hu, Amotz Bar-Noy, Jung-Eun Kim, Shuochao Yao

RDeepSense: Reliable Deep Mobile Computing Models with Uncertainty Estimation

ACM IMWUT (formerly UbiComp), December 2017
Shuochao Yao, Yiran Zhao, Huajie Shao, Aston Zhang, Chao Zhang, Shen Li, Tarek Abdelzaher