132 citations
- Massachusetts Institute of TechnologyUS4 papers
- University of LübeckDE4 papers
- University of WashingtonUS4 papers
- Assumption CollegeUS3 papers
- Lehigh UniversityUS3 papers
- University of California San DiegoUS3 papers
- University of IowaUS3 papers
- University of MichiganUS3 papers
- University of Southern MississippiUS3 papers
- Virginia TechUS3 papers
- Alibaba Group (China)CN2 papers
- California University of PennsylvaniaUS2 papers
Showing 2020 · cs.CRShow all
2 papers · 2 filters
cs.CR2020★ 1 cited
KHOVID: Interoperable Privacy Preserving Digital Contact Tracing
Xiang Cheng, Hanchao Yang, Archanaa S Krishnan +2
During a pandemic, contact tracing is an essential tool to drive down the infection rate within a population. To accelerate the laborious manual contact tracing process, digital co…
cs.CR2020
A Theory of Hypergames on Graphs for Synthesizing Dynamic Cyber Defense with Deception
Abhishek N. Kulkarni, Jie Fu
In this chapter, we present an approach using formal methods to synthesize reactive defense strategy in a cyber network, equipped with a set of decoy systems. We first generalize f…