Concepedia

Author

Dinuka Sahabandu

University of WashingtonORCID

Also Known As

D. Sahabandu, Dinuka Sahabandu, Sahabandu, Dinuka

49

Publications

157

Citations

7

H-Index

29

Concepts

All Affiliations

University of WashingtonWorcester Polytechnic InstituteGeorgia Institute of Technology
DS

About

Dinuka Sahabandu is an author at University of Washington specializing in computer science, formal verification, and information security.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

47

2

Arts

1

1

21

3

Business

1

1

13

4

Communication

1

1

21

5

Computer Engineering

1

1

13

Dinuka Sahabandu

×

4

Publications

60

Citations

4

H-Index

YearCitations

DIFT Games: Dynamic Information Flow Tracking Games for Advanced Persistent Threats

Dinuka Sahabandu, Baicen Xiao, Andrew Clark,

2018

21

The neuron-specific interleukin-1 receptor accessory protein alters emergent network state properties in Vitro

Joseph Nguyen, Dinuka Sahabandu, Ping Taishi,

Neurobiology of Sleep and Circadian Rhythms

2019

13

A Game Theoretic Approach for Dynamic Information Flow Tracking with Conditional Branching

Dinuka Sahabandu, Shana Moothedath, Linda Bushnell,

2019

13

Verifying Safety for Resilient Cyber-Physical Systems via Reactive Software Restart

Luyao Niu, Dinuka Sahabandu, Andrew Clark,

2022

13

Page 1