Publications – Srivatsan Ravi

2023 (1)

Secure and Reliable Network Updates. Lembke, J.; Ravi, S.; Roman, P.; and Eugster, P. ACM Trans. Priv. Secur., 26(1): 8:1–8:41. 2023.

Secure and Reliable Network Updates [link]

Paper doi link bibtex

@article{DBLP:journals/tissec/LembkeRRE23,
  author    = {James Lembke and
               Srivatsan Ravi and
               Pierre{-}Louis Roman and
               Patrick Eugster},
  title     = {Secure and Reliable Network Updates},
  journal   = {{ACM} Trans. Priv. Secur.},
  volume    = {26},
  number    = {1},
  pages     = {8:1--8:41},
  year      = {2023},
  url       = {https://doi.org/10.1145/3556542},
  doi       = {10.1145/3556542},
  timestamp = {Mon, 05 Dec 2022 13:35:16 +0100},
  biburl    = {https://dblp.org/rec/journals/tissec/LembkeRRE23.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

2022 (10)

Conflict-Based Search for the Virtual Network Embedding Problem. Zheng, Y.; Ravi, S.; Kline, E.; Koenig, S.; and Kumar, T. K. S. In Kumar, A.; Thiébaux, S.; Varakantham, P.; and Yeoh, W., editor(s), Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022, Singapore (virtual), June 13-24, 2022, pages 423–433, 2022. AAAI Press

Paper link bibtex

@inproceedings{DBLP:conf/aips/ZhengRKKK22,
  author    = {Yi Zheng and
               Srivatsan Ravi and
               Erik Kline and
               Sven Koenig and
               T. K. Satish Kumar},
  editor    = {Akshat Kumar and
               Sylvie Thi{\'{e}}baux and
               Pradeep Varakantham and
               William Yeoh},
  title     = {Conflict-Based Search for the Virtual Network Embedding Problem},
  booktitle = {Proceedings of the Thirty-Second International Conference on Automated
               Planning and Scheduling, {ICAPS} 2022, Singapore (virtual), June 13-24,
               2022},
  pages     = {423--433},
  publisher = {{AAAI} Press},
  year      = {2022},
  url       = {https://ojs.aaai.org/index.php/ICAPS/article/view/19828},
  timestamp = {Wed, 20 Jul 2022 14:27:38 +0200},
  biburl    = {https://dblp.org/rec/conf/aips/ZhengRKKK22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Explaining Deep Learning Models for Per-packet Encrypted Network Traffic Classification. Garcia, L.; Bartlett, G.; Ravi, S.; Ibrahim, H.; Hardaker, W.; and Kline, E. In IEEE International Symposium on Measurements & Networking, M&N 2022, Padua, Italy, July 18-20, 2022, pages 1–6, 2022. IEEE

Explaining Deep Learning Models for Per-packet Encrypted Network Traffic Classification [link]

Paper doi link bibtex

@inproceedings{DBLP:conf/iwmn/GarciaBRIHK22,
  author    = {Luis Garcia and
               Genevieve Bartlett and
               Srivatsan Ravi and
               Harun Ibrahim and
               Wes Hardaker and
               Erik Kline},
  title     = {Explaining Deep Learning Models for Per-packet Encrypted Network Traffic
               Classification},
  booktitle = {{IEEE} International Symposium on Measurements {\&} Networking,
               M{\&}N 2022, Padua, Italy, July 18-20, 2022},
  pages     = {1--6},
  publisher = {{IEEE}},
  year      = {2022},
  url       = {https://doi.org/10.1109/MN55117.2022.9887744},
  doi       = {10.1109/MN55117.2022.9887744},
  timestamp = {Wed, 12 Oct 2022 17:04:13 +0200},
  biburl    = {https://dblp.org/rec/conf/iwmn/GarciaBRIHK22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

The FastMap Pipeline for Facility Location Problems. Thakoor, O.; Li, A.; Koenig, S.; Ravi, S.; Kline, E.; and Kumar, T. K. S. In Aydogan, R.; Criado, N.; Lang, J.; Sánchez-Anguix, V.; and Serramia, M., editor(s), PRIMA 2022: Principles and Practice of Multi-Agent Systems - 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings, volume 13753, of Lecture Notes in Computer Science, pages 417–434, 2022. Springer

The FastMap Pipeline for Facility Location Problems [link]

Paper doi link bibtex

@inproceedings{DBLP:conf/prima/ThakoorLKRKK22,
  author    = {Omkar Thakoor and
               Ang Li and
               Sven Koenig and
               Srivatsan Ravi and
               Erik Kline and
               T. K. Satish Kumar},
  editor    = {Reyhan Aydogan and
               Natalia Criado and
               J{\'{e}}r{\^{o}}me Lang and
               V{\'{\i}}ctor S{\'{a}}nchez{-}Anguix and
               Marc Serramia},
  title     = {The FastMap Pipeline for Facility Location Problems},
  booktitle = {{PRIMA} 2022: Principles and Practice of Multi-Agent Systems - 24th
               International Conference, Valencia, Spain, November 16-18, 2022, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {13753},
  pages     = {417--434},
  publisher = {Springer},
  year      = {2022},
  url       = {https://doi.org/10.1007/978-3-031-21203-1\_25},
  doi       = {10.1007/978-3-031-21203-1\_25},
  timestamp = {Thu, 17 Nov 2022 16:10:56 +0100},
  biburl    = {https://dblp.org/rec/conf/prima/ThakoorLKRKK22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

PREP-UC: A Practical Replicated Persistent Universal Construction. Coccimiglio, G. C.; Brown, T. A.; and Ravi, S. In Agrawal, K.; and Lee, I. A., editor(s), SPAA '22: 34th ACM Symposium on Parallelism in Algorithms and Architectures, Philadelphia, PA, USA, July 11 - 14, 2022, pages 217–229, 2022. ACM

PREP-UC: A Practical Replicated Persistent Universal Construction [link]

Paper doi link bibtex

@inproceedings{DBLP:conf/spaa/CoccimiglioBR22,
  author    = {Gaetano C. Coccimiglio and
               Trevor Alexander Brown and
               Srivatsan Ravi},
  editor    = {Kunal Agrawal and
               I{-}Ting Angelina Lee},
  title     = {{PREP-UC:} {A} Practical Replicated Persistent Universal Construction},
  booktitle = {{SPAA} '22: 34th {ACM} Symposium on Parallelism in Algorithms and
               Architectures, Philadelphia, PA, USA, July 11 - 14, 2022},
  pages     = {217--229},
  publisher = {{ACM}},
  year      = {2022},
  url       = {https://doi.org/10.1145/3490148.3538568},
  doi       = {10.1145/3490148.3538568},
  timestamp = {Tue, 12 Jul 2022 14:59:02 +0200},
  biburl    = {https://dblp.org/rec/conf/spaa/CoccimiglioBR22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Secure Publish-Process-Subscribe System for Dispersed Computing. Jin, W.; Krishnamachari, B.; Naveed, M.; Ravi, S.; Sanou, E.; and Wright, K. In 41st International Symposium on Reliable Distributed Systems, SRDS 2022, Vienna, Austria, September 19-22, 2022, pages 58–68, 2022. IEEE

Paper doi link bibtex

@inproceedings{DBLP:conf/srds/JinKNRSW22,
  author    = {Weizhao Jin and
               Bhaskar Krishnamachari and
               Muhammad Naveed and
               Srivatsan Ravi and
               Eduard Sanou and
               Kwame{-}Lante Wright},
  title     = {Secure Publish-Process-Subscribe System for Dispersed Computing},
  booktitle = {41st International Symposium on Reliable Distributed Systems, {SRDS}
               2022, Vienna, Austria, September 19-22, 2022},
  pages     = {58--68},
  publisher = {{IEEE}},
  year      = {2022},
  url       = {https://doi.org/10.1109/SRDS55811.2022.00016},
  doi       = {10.1109/SRDS55811.2022.00016},
  timestamp = {Wed, 18 Jan 2023 19:02:47 +0100},
  biburl    = {https://dblp.org/rec/conf/srds/JinKNRSW22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

The Limits of Helping in Non-volatile Memory Data Structures. Ben-Baruch, O.; and Ravi, S. In Devismes, S.; Petit, F.; Altisen, K.; Luna, G. A. D.; and Anta, A. F., editor(s), Stabilization, Safety, and Security of Distributed Systems - 24th International Symposium, SSS 2022, Clermont-Ferrand, France, November 15-17, 2022, Proceedings, volume 13751, of Lecture Notes in Computer Science, pages 84–98, 2022. Springer

The Limits of Helping in Non-volatile Memory Data Structures [link]

Paper doi link bibtex

@inproceedings{DBLP:conf/sss/Ben-BaruchR22,
  author    = {Ohad Ben{-}Baruch and
               Srivatsan Ravi},
  editor    = {St{\'{e}}phane Devismes and
               Franck Petit and
               Karine Altisen and
               Giuseppe Antonio Di Luna and
               Antonio Fern{\'{a}}ndez Anta},
  title     = {The Limits of Helping in Non-volatile Memory Data Structures},
  booktitle = {Stabilization, Safety, and Security of Distributed Systems - 24th
               International Symposium, {SSS} 2022, Clermont-Ferrand, France, November
               15-17, 2022, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {13751},
  pages     = {84--98},
  publisher = {Springer},
  year      = {2022},
  url       = {https://doi.org/10.1007/978-3-031-21017-4\_6},
  doi       = {10.1007/978-3-031-21017-4\_6},
  timestamp = {Fri, 11 Nov 2022 16:53:16 +0100},
  biburl    = {https://dblp.org/rec/conf/sss/Ben-BaruchR22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Decentralized Privacy-Preserving Path Validation for Multi-Slicing-Authority 5G Networks. Jin, W.; Ravi, S.; and Kline, E. In IEEE Wireless Communications and Networking Conference, WCNC 2022, Austin, TX, USA, April 10-13, 2022, pages 31–36, 2022. IEEE

Decentralized Privacy-Preserving Path Validation for Multi-Slicing-Authority 5G Networks [link]

Paper doi link bibtex

@inproceedings{DBLP:conf/wcnc/JinRK22,
  author    = {Weizhao Jin and
               Srivatsan Ravi and
               Erik Kline},
  title     = {Decentralized Privacy-Preserving Path Validation for Multi-Slicing-Authority
               5G Networks},
  booktitle = {{IEEE} Wireless Communications and Networking Conference, {WCNC} 2022,
               Austin, TX, USA, April 10-13, 2022},
  pages     = {31--36},
  publisher = {{IEEE}},
  year      = {2022},
  url       = {https://doi.org/10.1109/WCNC51071.2022.9771906},
  doi       = {10.1109/WCNC51071.2022.9771906},
  timestamp = {Tue, 24 May 2022 15:39:23 +0200},
  biburl    = {https://dblp.org/rec/conf/wcnc/JinRK22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Securing 5G Slices using Homomorphic Encryption. Kline, E.; Ravi, S.; Cousins, D.; and Rv, S. In IEEE Wireless Communications and Networking Conference, WCNC 2022, Austin, TX, USA, April 10-13, 2022, pages 43–48, 2022. IEEE

Securing 5G Slices using Homomorphic Encryption [link]

Paper doi link bibtex

@inproceedings{DBLP:conf/wcnc/KlineRCR22,
  author    = {Erik Kline and
               Srivatsan Ravi and
               David Cousins and
               Sara Rv},
  title     = {Securing 5G Slices using Homomorphic Encryption},
  booktitle = {{IEEE} Wireless Communications and Networking Conference, {WCNC} 2022,
               Austin, TX, USA, April 10-13, 2022},
  pages     = {43--48},
  publisher = {{IEEE}},
  year      = {2022},
  url       = {https://doi.org/10.1109/WCNC51071.2022.9771895},
  doi       = {10.1109/WCNC51071.2022.9771895},
  timestamp = {Tue, 24 May 2022 15:39:24 +0200},
  biburl    = {https://dblp.org/rec/conf/wcnc/KlineRCR22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Secure Federated Learning for Neuroimaging. Stripelis, D.; Gupta, U.; Saleem, H.; Dhinagar, N.; Ghai, T.; Sanchez, R.; Anastasiou, C.; Asghar, A.; Steeg, G. V.; Ravi, S.; Naveed, M.; Thompson, P. M.; and Ambite, J. L. CoRR, abs/2205.05249. 2022.

Secure Federated Learning for Neuroimaging [link]

Paper doi link bibtex

@article{DBLP:journals/corr/abs-2205-05249,
  author    = {Dimitris Stripelis and
               Umang Gupta and
               Hamza Saleem and
               Nikhil Dhinagar and
               Tanmay Ghai and
               Rafael Sanchez and
               Chrysovalantis Anastasiou and
               Armaghan Asghar and
               Greg Ver Steeg and
               Srivatsan Ravi and
               Muhammad Naveed and
               Paul M. Thompson and
               Jos{\'{e}} Luis Ambite},
  title     = {Secure Federated Learning for Neuroimaging},
  journal   = {CoRR},
  volume    = {abs/2205.05249},
  year      = {2022},
  url       = {https://doi.org/10.48550/arXiv.2205.05249},
  doi       = {10.48550/arXiv.2205.05249},
  eprinttype = {arXiv},
  eprint    = {2205.05249},
  timestamp = {Tue, 17 May 2022 17:31:03 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2205-05249.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Evaluating the Feasibility of a Provably Secure Privacy-Preserving Entity Resolution Adaptation of PPJoin using Homomorphic Encryption. Ghai, T.; Yao, Y.; Ravi, S.; and Szekely, P. A. CoRR, abs/2208.07999. 2022.

Evaluating the Feasibility of a Provably Secure Privacy-Preserving Entity Resolution Adaptation of PPJoin using Homomorphic Encryption [link]

Paper doi link bibtex

@article{DBLP:journals/corr/abs-2208-07999,
  author    = {Tanmay Ghai and
               Yixiang Yao and
               Srivatsan Ravi and
               Pedro A. Szekely},
  title     = {Evaluating the Feasibility of a Provably Secure Privacy-Preserving
               Entity Resolution Adaptation of PPJoin using Homomorphic Encryption},
  journal   = {CoRR},
  volume    = {abs/2208.07999},
  year      = {2022},
  url       = {https://doi.org/10.48550/arXiv.2208.07999},
  doi       = {10.48550/arXiv.2208.07999},
  eprinttype = {arXiv},
  eprint    = {2208.07999},
  timestamp = {Mon, 22 Aug 2022 15:19:07 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2208-07999.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

2021 (7)

Revisiting Nakamoto Consensus in Asynchronous Networks: A Comprehensive Analysis of Bitcoin Safety and ChainQuality. Saad, M.; Anwar, A.; Ravi, S.; and Mohaisen, D. In Kim, Y.; Kim, J.; Vigna, G.; and Shi, E., editor(s), CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15 - 19, 2021, pages 988–1005, 2021. ACM

Revisiting Nakamoto Consensus in Asynchronous Networks: A Comprehensive Analysis of Bitcoin Safety and ChainQuality [link]

Paper doi link bibtex

@inproceedings{DBLP:conf/ccs/SaadARM21,
  author    = {Muhammad Saad and
               Afsah Anwar and
               Srivatsan Ravi and
               David Mohaisen},
  editor    = {Yongdae Kim and
               Jong Kim and
               Giovanni Vigna and
               Elaine Shi},
  title     = {Revisiting Nakamoto Consensus in Asynchronous Networks: {A} Comprehensive
               Analysis of Bitcoin Safety and ChainQuality},
  booktitle = {{CCS} '21: 2021 {ACM} {SIGSAC} Conference on Computer and Communications
               Security, Virtual Event, Republic of Korea, November 15 - 19, 2021},
  pages     = {988--1005},
  publisher = {{ACM}},
  year      = {2021},
  url       = {https://doi.org/10.1145/3460120.3484561},
  doi       = {10.1145/3460120.3484561},
  timestamp = {Tue, 16 Nov 2021 13:43:43 +0100},
  biburl    = {https://dblp.org/rec/conf/ccs/SaadARM21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

AMPPERE: A Universal Abstract Machine for Privacy-Preserving Entity Resolution Evaluation. Yao, Y.; Ghai, T.; Ravi, S.; and Szekely, P. A. In Demartini, G.; Zuccon, G.; Culpepper, J. S.; Huang, Z.; and Tong, H., editor(s), CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Virtual Event, Queensland, Australia, November 1 - 5, 2021, pages 2394–2403, 2021. ACM

AMPPERE: A Universal Abstract Machine for Privacy-Preserving Entity Resolution Evaluation [link]

Paper doi link bibtex

@inproceedings{DBLP:conf/cikm/YaoGRS21,
  author    = {Yixiang Yao and
               Tanmay Ghai and
               Srivatsan Ravi and
               Pedro A. Szekely},
  editor    = {Gianluca Demartini and
               Guido Zuccon and
               J. Shane Culpepper and
               Zi Huang and
               Hanghang Tong},
  title     = {{AMPPERE:} {A} Universal Abstract Machine for Privacy-Preserving Entity
               Resolution Evaluation},
  booktitle = {{CIKM} '21: The 30th {ACM} International Conference on Information
               and Knowledge Management, Virtual Event, Queensland, Australia, November
               1 - 5, 2021},
  pages     = {2394--2403},
  publisher = {{ACM}},
  year      = {2021},
  url       = {https://doi.org/10.1145/3459637.3482318},
  doi       = {10.1145/3459637.3482318},
  timestamp = {Tue, 02 Nov 2021 12:01:17 +0100},
  biburl    = {https://dblp.org/rec/conf/cikm/YaoGRS21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Optimal Concurrency for List-Based Sets. Aksenov, V.; Gramoli, V.; Kuznetsov, P.; Shang, D.; and Ravi, S. In Malyshkin, V., editor(s), Parallel Computing Technologies - 16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13-18, 2021, Proceedings, volume 12942, of Lecture Notes in Computer Science, pages 386–401, 2021. Springer

Optimal Concurrency for List-Based Sets [link]

Paper doi link bibtex

@inproceedings{DBLP:conf/pact/AksenovGKSR21,
  author    = {Vitaly Aksenov and
               Vincent Gramoli and
               Petr Kuznetsov and
               Di Shang and
               Srivatsan Ravi},
  editor    = {Victor Malyshkin},
  title     = {Optimal Concurrency for List-Based Sets},
  booktitle = {Parallel Computing Technologies - 16th International Conference, PaCT
               2021, Kaliningrad, Russia, September 13-18, 2021, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {12942},
  pages     = {386--401},
  publisher = {Springer},
  year      = {2021},
  url       = {https://doi.org/10.1007/978-3-030-86359-3\_29},
  doi       = {10.1007/978-3-030-86359-3\_29},
  timestamp = {Thu, 09 Sep 2021 17:48:30 +0200},
  biburl    = {https://dblp.org/rec/conf/pact/AksenovGKSR21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

HashSplit: Exploiting Bitcoin Asynchrony to Violate Common Prefix and Chain Quality. Saad, M.; Anwar, A.; Ravi, S.; and Mohaisen, D. IACR Cryptol. ePrint Arch.,299. 2021.

HashSplit: Exploiting Bitcoin Asynchrony to Violate Common Prefix and Chain Quality [link]

Paper link bibtex

@article{DBLP:journals/iacr/SaadARM21,
  author    = {Muhammad Saad and
               Afsah Anwar and
               Srivatsan Ravi and
               David Mohaisen},
  title     = {HashSplit: Exploiting Bitcoin Asynchrony to Violate Common Prefix
               and Chain Quality},
  journal   = {{IACR} Cryptol. ePrint Arch.},
  pages     = {299},
  year      = {2021},
  url       = {https://eprint.iacr.org/2021/299},
  timestamp = {Thu, 20 Jan 2022 13:40:46 +0100},
  biburl    = {https://dblp.org/rec/journals/iacr/SaadARM21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Secure Publish-Process-Subscribe System for Dispersed Computing. Jin, W.; Krishnamachari, B.; Naveed, M.; Ravi, S.; Sanou, E.; and Wright, K. IACR Cryptol. ePrint Arch.,1668. 2021.

Paper link bibtex

@article{DBLP:journals/iacr/JinKNRSW21,
  author    = {Weizhao Jin and
               Bhaskar Krishnamachari and
               Muhammad Naveed and
               Srivatsan Ravi and
               Eduard Sanou and
               Kwame{-}Lante Wright},
  title     = {Secure Publish-Process-Subscribe System for Dispersed Computing},
  journal   = {{IACR} Cryptol. ePrint Arch.},
  pages     = {1668},
  year      = {2021},
  url       = {https://eprint.iacr.org/2021/1668},
  timestamp = {Thu, 13 Jan 2022 17:43:19 +0100},
  biburl    = {https://dblp.org/rec/journals/iacr/JinKNRSW21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Secure neuroimaging analysis using federated learning with homomorphic encryption. Stripelis, D.; Saleem, H.; Ghai, T.; Dhinagar, N.; Gupta, U.; Anastasiou, C.; Steeg, G. V.; Ravi, S.; Naveed, M.; Thompson, P. M.; and Ambite, J. L. In Rittner, L.; M.D., E. R. C.; Lepore, N.; Brieva, J.; and Linguraru, M. G., editor(s), 17th International Symposium on Medical Information Processing and Analysis, volume 12088, pages 351 – 359, 2021. International Society for Optics and Photonics, SPIE

Secure neuroimaging analysis using federated learning with homomorphic encryption [link]

Paper doi link bibtex

@inproceedings{10.1117/12.2606256,
author = {Dimitris Stripelis and Hamza Saleem and Tanmay Ghai and Nikhil Dhinagar and Umang Gupta and Chrysovalantis Anastasiou and Greg Ver Steeg and Srivatsan Ravi and Muhammad Naveed and Paul M. Thompson and Jose Luis Ambite},
title = {{Secure neuroimaging analysis using federated learning with homomorphic encryption}},
volume = {12088},
booktitle = {17th International Symposium on Medical Information Processing and Analysis},
editor = {Letícia Rittner and Eduardo Romero Castro M.D. and Natasha Lepore and Jorge Brieva and Marius George Linguraru},
organization = {International Society for Optics and Photonics},
publisher = {SPIE},
pages = {351 -- 359},
keywords = {federated learning, homomorphic encryption, secure computation, privacy-preserving neuroimaging analysis, MRI, brain age, deep learning, privacy},
year = {2021},
doi = {10.1117/12.2606256},
URL = {https://doi.org/10.1117/12.2606256}
}

HashSplit: Exploiting Bitcoin Asynchrony to Violate Common Prefix and Chain Quality. Saad, M.; Anwar, A.; Ravi, S.; and Mohaisen, D. A. IACR Cryptol. ePrint Arch., 2021: 299. 2021.

Paper link bibtex

@article{SaadARM21,
	author    = {Muhammad Saad and
	Afsah Anwar and
	Srivatsan Ravi and
	David A. Mohaisen},
	title     = {HashSplit: Exploiting Bitcoin Asynchrony to Violate Common Prefix
	and Chain Quality},
	journal   = {{IACR} Cryptol. ePrint Arch.},
	volume    = {2021},
	pages     = {299},
	year      = {2021},
	url       = {https://eprint.iacr.org/2021/299},
	timestamp = {Wed, 07 Apr 2021 09:35:41 +0200},
	biburl    = {https://dblp.org/rec/journals/iacr/SaadARM21.bib},
	bibsource = {dblp computer science bibliography, https://dblp.org}
}

2020 (5)

Separation and Equivalence results for the Crash-stop and Crash-recovery Shared Memory Models. Ben-Baruch, O.; and Ravi, S. CoRR, abs/2012.03692. 2020.

Separation and Equivalence results for the Crash-stop and Crash-recovery Shared Memory Models [link]

Paper link bibtex

@article{DBLP:journals/corr/abs-2012-03692,
  author    = {Ohad Ben{-}Baruch and
               Srivatsan Ravi},
  title     = {Separation and Equivalence results for the Crash-stop and Crash-recovery
               Shared Memory Models},
  journal   = {CoRR},
  volume    = {abs/2012.03692},
  year      = {2020},
  url       = {https://arxiv.org/abs/2012.03692},
  eprinttype = {arXiv},
  eprint    = {2012.03692},
  timestamp = {Wed, 09 Dec 2020 15:29:05 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2012-03692.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Scalable and serializable networked multi-actor programming. Sang, B.; Eugster, P.; Petri, G.; Ravi, S.; and Roman, P. Proc. ACM Program. Lang., 4(OOPSLA): 198:1–198:30. 2020.

Scalable and serializable networked multi-actor programming [link]

Paper doi link bibtex

@article{aeon-oopsla,
  author    = {Bo Sang and
               Patrick Eugster and
               Gustavo Petri and
               Srivatsan Ravi and
               Pierre{-}Louis Roman},
  title     = {Scalable and serializable networked multi-actor programming},
  journal   = {Proc. {ACM} Program. Lang.},
  volume    = {4},
  number    = {{OOPSLA}},
  pages     = {198:1--198:30},
  year      = {2020},
  url       = {https://doi.org/10.1145/3428266},
  doi       = {10.1145/3428266}
}

RoSCo: Robust Updates for Software-Defined Networks. Lembke, J.; Ravi, S.; Eugster, P.; and Schmid, S. IEEE J. Sel. Areas Commun., 38(7): 1352–1365. 2020.

RoSCo: Robust Updates for Software-Defined Networks [link]

Paper doi link bibtex

@article{rosco20,
  author    = {James Lembke and
               Srivatsan Ravi and
               Patrick Eugster and
               Stefan Schmid},
  title     = {RoSCo: Robust Updates for Software-Defined Networks},
  journal   = {{IEEE} J. Sel. Areas Commun.},
  volume    = {38},
  number    = {7},
  pages     = {1352--1365},
  year      = {2020},
  url       = {https://doi.org/10.1109/JSAC.2020.2986959},
  doi       = {10.1109/JSAC.2020.2986959}
}

PLASMA: programmable elasticity for stateful cloud computing applications. Sang, B.; Roman, P.; Eugster, P.; Lu, H.; Ravi, S.; and Petri, G. In Bilas, A.; Magoutis, K.; Markatos, E. P.; Kostic, D.; and Seltzer, M., editor(s), EuroSys '20: Fifteenth EuroSys Conference 2020, Heraklion, Greece, April 27-30, 2020, pages 42:1–42:15, 2020. ACM
link bibtex

@inproceedings{eurosys20,
	author    = {Bo Sang and
	Pierre{-}Louis Roman and
	Patrick Eugster and
	Hui Lu and
	Srivatsan Ravi and
	Gustavo Petri},
	editor    = {Angelos Bilas and
	Kostas Magoutis and
	Evangelos P. Markatos and
	Dejan Kostic and
	Margo Seltzer},
	title     = {{PLASMA:} programmable elasticity for stateful cloud computing applications},
	booktitle = {EuroSys '20: Fifteenth EuroSys Conference 2020, Heraklion, Greece,
	April 27-30, 2020},
	pages     = {42:1--42:15},
	publisher = {{ACM}},
	year      = {2020}
}

Consistent and Secure Network Updates Made Practical. Lembke, J.; Ravi, S.; Roman, P.; and Eugster, P. In Silva, D. D.; and Kapitza, R., editor(s), Middleware '20: 21st International Middleware Conference, Delft, The Netherlands, December 7-11, 2020, pages 149–162, 2020. ACM

Consistent and Secure Network Updates Made Practical [link]

Paper doi link bibtex

@inproceedings{DBLP:conf/middleware/LembkeRRE20,
  author    = {James Lembke and
               Srivatsan Ravi and
               Pierre{-}Louis Roman and
               Patrick Eugster},
  editor    = {Dilma Da Silva and
               R{\"{u}}diger Kapitza},
  title     = {Consistent and Secure Network Updates Made Practical},
  booktitle = {Middleware '20: 21st International Middleware Conference, Delft, The
               Netherlands, December 7-11, 2020},
  pages     = {149--162},
  publisher = {{ACM}},
  year      = {2020},
  url       = {https://doi.org/10.1145/3423211.3425694},
  doi       = {10.1145/3423211.3425694},
  timestamp = {Tue, 15 Dec 2020 14:30:24 +0100},
  biburl    = {https://dblp.org/rec/conf/middleware/LembkeRRE20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

2018 (2)

Generalized Paxos Made Byzantine (and Less Complex). Pires, M.; Ravi, S.; and Rodrigues, R. Algorithms, 11(9): 141. 2018.
link bibtex

@article{mdpi18,
	author    = {Miguel Pires and
	Srivatsan Ravi and
	Rodrigo Rodrigues},
	title     = {Generalized Paxos Made Byzantine (and Less Complex)},
	journal   = {Algorithms},
	volume    = {11},
	number    = {9},
	pages     = {141},
	year      = {2018}
	}

Inherent limitations of hybrid transactional memory. Distributed Comput., 31(3): 167–185. 2018.
link bibtex

@Article{hytm-journal,
uthor    = {Dan Alistarh and
Justin Kopinsky and
Petr Kuznetsov and
Srivatsan Ravi and
Nir Shavit},
title     = {Inherent limitations of hybrid transactional memory},
journal   = {Distributed Comput.},
volume    = {31},
number    = {3},
pages     = {167--185},
year      = {2018}

}

2017 (6)

Cost of Concurrency in Hybrid Transactional Memory. Brown, T.; and Ravi, S. In Richa, A. W., editor(s), 31st International Symposium on Distributed Computing, DISC 2017, October 16-20, 2017, Vienna, Austria, volume 91, of LIPIcs, pages 9:1–9:16, 2017. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
link bibtex

@inproceedings{hytm-brown-disc,
  
author    = {Trevor Brown and
Srivatsan Ravi},
editor    = {Andr{\'{e}}a W. Richa},
title     = {Cost of Concurrency in Hybrid Transactional Memory},
booktitle = {31st International Symposium on Distributed Computing, {DISC} 2017,
October 16-20, 2017, Vienna, Austria},
series    = {LIPIcs},
volume    = {91},
pages     = {9:1--9:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year      = {2017},
}

A Concurrency-Optimal Binary Search Tree. Aksenov, V.; Gramoli, V.; Kuznetsov, P.; Malova, A.; and Ravi, S. In Rivera, F. F.; Pena, T. F.; and Cabaleiro, J. C., editor(s), Euro-Par 2017: Parallel Processing - 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings, volume 10417, of Lecture Notes in Computer Science, pages 580–593, 2017. Springer
link bibtex

@inproceedings{bst-auropar,
	author    = {Vitaly Aksenov and
	Vincent Gramoli and
	Petr Kuznetsov and
	Anna Malova and
	Srivatsan Ravi},
	editor    = {Francisco F. Rivera and
	Tom{\'{a}}s F. Pena and
	Jos{\'{e}} Carlos Cabaleiro},
	title     = {A Concurrency-Optimal Binary Search Tree},
	booktitle = {Euro-Par 2017: Parallel Processing - 23rd International Conference
	on Parallel and Distributed Computing, Santiago de Compostela, Spain,
	August 28 - September 1, 2017, Proceedings},
	series    = {Lecture Notes in Computer Science},
	volume    = {10417},
	pages     = {580--593},
	publisher = {Springer},
	year      = {2017}
}

Concurrency and Privacy with Payment-Channel Networks. Malavolta, G.; Moreno-Sanchez, P.; Kate, A.; Maffei, M.; and Ravi, S. In Thuraisingham, B. M.; Evans, D.; Malkin, T.; and Xu, D., editor(s), Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017, pages 455–471, 2017. ACM
link bibtex

@inproceedings{ccs-payment,
  
  author    = {Giulio Malavolta and
  Pedro Moreno{-}Sanchez and
  Aniket Kate and
  Matteo Maffei and
  Srivatsan Ravi},
  editor    = {Bhavani M. Thuraisingham and
  David Evans and
  Tal Malkin and
  Dongyan Xu},
  title     = {Concurrency and Privacy with Payment-Channel Networks},
  booktitle = {Proceedings of the 2017 {ACM} {SIGSAC} Conference on Computer and
  Communications Security, {CCS} 2017, Dallas, TX, USA, October 30 -
  November 03, 2017},
  pages     = {455--471},
  publisher = {{ACM}},
  year      = {2017}
}

Grasping the gap between blocking and non-blocking transactional memories . Kuznetsov, P.; and Ravi, S. Journal of Parallel and Distributed Computing , 101: 1 - 16. 2017.
link bibtex

@article{jpdc-nbtm,
	title = "Grasping the gap between blocking and non-blocking transactional memories ",
	journal = "Journal of Parallel and Distributed Computing ",
	volume = "101",
	number = "",
	pages = "1 - 16",
	year = "2017",
	note = "",
	issn = "0743-7315",
	author = "Petr Kuznetsov and Srivatsan Ravi"
}

Generalized Paxos Made Byzantine (and Less Complex). Pires, M.; Ravi, S.; and Rodrigues, R. In Spirakis, P. G.; and Tsigas, P., editor(s), Stabilization, Safety, and Security of Distributed Systems - 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings, volume 10616, of Lecture Notes in Computer Science, pages 203–218, 2017. Springer
link bibtex

@inproceedings{sss17,
  author    = {Miguel Pires and
  Srivatsan Ravi and
  Rodrigo Rodrigues},
  editor    = {Paul G. Spirakis and
  Philippas Tsigas},
  title     = {Generalized Paxos Made Byzantine (and Less Complex)},
  booktitle = {Stabilization, Safety, and Security of Distributed Systems - 19th
  International Symposium, {SSS} 2017, Boston, MA, USA, November 5-8,
  2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10616},
  pages     = {203--218},
  publisher = {Springer},
  year      = {2017}
  
}

Programmable Elasticity for Actor-based Cloud Applications. Sang, B.; Ravi, S.; Petri, G.; Najafzadeh, M.; Ardekani, M. S.; and Eugster, P. In Lawall, J., editor(s), Proceedings of the 9th Workshop on Programming Languages and Operating Systems, Shanghai, China, October 28, 2017, pages 15–21, 2017. ACM
link bibtex

@inproceedings{plos17,
	author    = {Bo Sang and
	Srivatsan Ravi and
	Gustavo Petri and
	Mahsa Najafzadeh and
	Masoud Saeida Ardekani and
	Patrick Eugster},
	editor    = {Julia Lawall},
	title     = {Programmable Elasticity for Actor-based Cloud Applications},
	booktitle = {Proceedings of the 9th Workshop on Programming Languages and Operating
	Systems, Shanghai, China, October 28, 2017},
	pages     = {15--21},
	publisher = {{ACM}},
	year      = {2017}
}

2016 (1)

Cost of Concurrency in Hybrid Transactional Memory. Brown, T.; and Ravi, S. 12th ACM SIGPLAN Workshop on Transactional Computing, co-located with PPoPP 2017, Austin, Texas. 2016.
link bibtex

@article{transact17,
	author    = {Trevor Brown and Srivatsan Ravi},
	title     = {Cost of Concurrency in Hybrid Transactional Memory},
	
	journal = {12th ACM SIGPLAN Workshop on Transactional Computing, co-located with PPoPP 2017, Austin, Texas},
	year      = {2016}
	
}

2015 (6)

Grasping the Gap Between Blocking and Non-Blocking Transactional Memories. Kuznetsov, P.; and Ravi, S. In Distributed Computing - 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings, pages 232–247, 2015.
link bibtex

@inproceedings{oftmdisc15,
  author    = {Petr Kuznetsov and
               Srivatsan Ravi},
  title     = {Grasping the Gap Between Blocking and Non-Blocking Transactional Memories},
  booktitle = {Distributed Computing - 29th International Symposium, {DISC} 2015,
               Tokyo, Japan, October 7-9, 2015, Proceedings},
  pages     = {232--247},
  year      = {2015}
}

Safety and Deferred Update in Transactional Memory. Attiya, H.; Hans, S.; Kuznetsov, P.; and Ravi, S. In Guerraoui, R.; and Romano, P., editor(s), Transactional Memory. Foundations, Algorithms, Tools, and Applications, volume 8913, of Lecture Notes in Computer Science, pages 50-71. Springer International Publishing, 2015.
link bibtex

@incollection{safety-tm14,
	year={2015},
	isbn={978-3-319-14719-2},
	booktitle={Transactional Memory. Foundations, Algorithms, Tools, and Applications},
	volume={8913},
	series={Lecture Notes in Computer Science},
	editor={Guerraoui, Rachid and Romano, Paolo},
	title={Safety and Deferred Update in Transactional Memory},
	publisher={Springer International Publishing},
	author={Attiya, Hagit and Hans, Sandeep and Kuznetsov, Petr and Ravi, Srivatsan},
	pages={50-71},
	language={English}
	
}

Inherent Limitations of Hybrid Transactional Memory. Alistarh, D.; Kopinsky, J.; Kuznetsov, P.; Ravi, S.; and Shavit, N. In Distributed Computing - 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings, pages 185–199, 2015.
link bibtex

@inproceedings{htmdisc15,
	author    = {Dan Alistarh and
	Justin Kopinsky and
	Petr Kuznetsov and
	Srivatsan Ravi and
	Nir Shavit},
	title     = {Inherent Limitations of Hybrid Transactional Memory},
	booktitle = {Distributed Computing - 29th International Symposium, {DISC} 2015,
	Tokyo, Japan, October 7-9, 2015, Proceedings},
	pages     = {185--199},
	year      = {2015}
		
}

Progressive Transactional Memory in Time and Space. Kuznetsov, P.; and Ravi, S. In Parallel Computing Technologies - 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31 - September 4, 2015, Proceedings, pages 410–425, 2015.
link bibtex

@inproceedings{prog15-pact,
  author    = {Petr Kuznetsov and
               Srivatsan Ravi},
  title     = {Progressive Transactional Memory in Time and Space},
  booktitle = {Parallel Computing Technologies - 13th International Conference, PaCT
               2015, Petrozavodsk, Russia, August 31 - September 4, 2015, Proceedings},
  pages     = {410--425},
  year      = {2015}
}

A Concurrency-Optimal List-Based Set (Short paper). Gramoli, V.; Kuznetsov, P.; Ravi, S.; and Shang, D. In Distributed Computing - 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015.
link bibtex

@inproceedings{optimistic-list15-disc,
  author    = {Vincent Gramoli and Petr Kuznetsov and
               Srivatsan Ravi and Di Shang},
  title     = {A Concurrency-Optimal List-Based Set (Short paper)},
  
  booktitle = {Distributed Computing - 29th International Symposium, {DISC} 2015,
               Tokyo, Japan, October 7-9},
  year      = {2015}
  
}

On Partial Wait-Freedom in Transactional Memory. Kuznetsov, P.; and Ravi, S. In Proceedings of the 2015 International Conference on Distributed Computing and Networking, ICDCN 2015, Goa, India, January 4-7, 2015, pages 10, 2015.
link bibtex

@inproceedings{WF14-icdcn,
	author    = {Petr Kuznetsov and
	Srivatsan Ravi},
	title     = {On Partial Wait-Freedom in Transactional Memory},
	booktitle = {Proceedings of the 2015 International Conference on Distributed Computing
	and Networking, {ICDCN} 2015, Goa, India, January 4-7, 2015},
	pages     = {10},
	year      = {2015}
}

2014 (2)

Inherent Limitations of Hybrid Transactional Memory. Alistarh, D.; Kopinsky, J.; Kuznetsov, P.; Ravi, S.; and Shavit, N. 6th Workshop on the Theory of Transactional Memory, Paris, France. 2014.
link bibtex

@article{WTTM3,
	author = {Dan Alistarh and Justin Kopinsky and Petr Kuznetsov and Srivatsan Ravi and Nir Shavit},
	title = {Inherent Limitations of Hybrid Transactional Memory},
	journal = {6th Workshop on the Theory of Transactional Memory, Paris, France},
	
	year = {2014}
	
}

Forget about Performance, Think about Concurrency. Gramoli, V.; Kuznetsov, P.; and Ravi, S. 6th Workshop on the Theory of Transactional Memory, Paris, France. 2014.
link bibtex

@article{WTTM14,
	author = {Vincent Gramoli and Petr Kuznetsov and Srivatsan Ravi},
	title = {Forget about Performance, Think about Concurrency},
	journal = {6th Workshop on the Theory of Transactional Memory, Paris, France},
	
	year = {2014}
	
}

2013 (1)

Safety of Deferred Update in Transactional Memory. Attiya, H.; Hans, S.; Kuznetsov, P.; and Ravi, S. In IEEE 33rd International Conference on Distributed Computing Systems, ICDCS 2013, 8-11 July, 2013, Philadelphia, Pennsylvania, USA, pages 601–610, 2013. IEEE Computer Society
link bibtex

@inproceedings{ICDCS13,
	author    = {Hagit Attiya and
	Sandeep Hans and
	Petr Kuznetsov and
	Srivatsan Ravi},
	title     = {Safety of Deferred Update in Transactional Memory},
	booktitle = {{IEEE} 33rd International Conference on Distributed Computing Systems,
	{ICDCS} 2013, 8-11 July, 2013, Philadelphia, Pennsylvania, {USA}},
	pages     = {601--610},
	publisher = {{IEEE} Computer Society},
	year      = {2013}
}

2012 (3)

From sequential to concurrent: correctness and relative efficiency (Short paper). Gramoli, V.; Kuznetsov, P.; and Ravi, S. In Principles of Distributed Computing (PODC), pages 241-242, 2012.
link bibtex

@inproceedings{PODCKRV12,
	author    = {Vincent Gramoli and
	Petr Kuznetsov and
	Srivatsan Ravi},
	title     = {From sequential to concurrent: correctness
	and relative efficiency (Short paper)},
	booktitle = {Principles of Distributed Computing (PODC)},
	year      = {2012},
	pages     = {241-242}
	
}

What is Safe in Transactional memory. Attiya, H.; Hans, S.; Kuznetsov, P.; and Ravi, S. 4th Workshop on the Theory of Transactional Memory, Madeira, Portugal. 2012.
link bibtex

@article{WTTM1,
	author = {Hagit Attiya and Sandeep Hans and Petr Kuznetsov and Srivatsan Ravi},
	title = {What is Safe in Transactional memory},
	journal = {4th Workshop on the Theory of Transactional Memory, Madeira, Portugal},
	
	year = {2012}
	
}

Sharing a sequential data structure: correctness definition and concurrency analysis. Gramoli, V.; Kuznetsov, P.; and Ravi, S. 4th Workshop on the Theory of Transactional Memory, Madeira, Portugal. 2012.
link bibtex

@article{WTTM2,
	author = {Vincent Gramoli and Petr Kuznetsov and Srivatsan Ravi},
	title = {Sharing a sequential data structure: correctness definition and concurrency analysis},
	journal = {4th Workshop on the Theory of Transactional Memory, Madeira, Portugal},
	
	year = {2012}
	
}

2010 (1)

Transactional memory, linking theory and practice. Ravi, S.; Gramoli, V.; and Luchangco, V. SIGACT News, 41(4): 109-115. 2010.
link bibtex

@article{RaviGL10,
	author    = {Srivatsan Ravi and
	Vincent Gramoli and
	Victor Luchangco},
	title     = {Transactional memory, linking theory and practice},
	journal   = {SIGACT News},
	volume    = {41},
	number    = {4},
	year      = {2010},
	pages     = {109-115}
	}