A verified messaging system
- 期刊名称Proceedings of the ACM on Programming Languages
- 作者Mansky, William; Appel, Andrew W.; Nogin, Aleksey
- 卷第1卷
- 电子ISSN2475-1421
- 文件大小888.81KB
- 发表时间2017-10-12
- DOI10.1145/3133911
- 页码1-28
Securing the Cloud-Assisted Smart GridDemir, Kubilay; Ismail, Hatem; Vateva-Gurova, Tsvetoslava; Suri, Neeraj · International Journal of Critical Infrastructure Protection · 2018
Robust QoS-aware communication in the smart distribution gridDemir, Kubilay; Germanus, Daniel; Suri, Neeraj · Peer-to-Peer Networking and Applications · 2017
MPTCP-H: A DDoS Attack Resilient Transport Protocol to Secure Wide Area Measurement SystemsDemir, Kubilay; Nayyer, Ferdaus; Suri, Neeraj · International Journal of Critical Infrastructure Protection · 2019
[IEEE 2014 IEEE International Conference on Smart Grid Communications (SmartGridComm) - Venice, Italy (2014.11.3-2014.11.6)] 2014 IEEE International Conference on Smart Grid Communications (SmartGridComm) - Robust and real-time communication on heterogeneous networks for smart distribution gridDemir, Kubilay; Germanus, Daniel; Suri, Neeraj · 2014