Cited By
View all- Kuepper JErbsen AGross JConoly OSun CTian SWu DChlipala AChuengsatiansup CGenkin DWagner MYarom Y(2023)CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic PrimitivesProceedings of the ACM on Programming Languages10.1145/35912727:PLDI(1268-1292)Online publication date: 6-Jun-2023
- Karaata MDabees AAlazemi F(2022)A reliable concurrent multicast algorithm for content distributionThe Journal of Supercomputing10.1007/s11227-021-04291-578:8(10542-10574)Online publication date: 1-May-2022
- Li YIoannidis S(2021)Cache Networks of Counting QueuesIEEE/ACM Transactions on Networking10.1109/TNET.2021.310251829:6(2751-2764)Online publication date: Dec-2021
- Show More Cited By