@article{wegman1981,
    title = {New hash functions and their use in authentication and set equality},
    journal = {Journal of Computer and System Sciences},
    volume = {22},
    number = {3},
    pages = {265--279},
    year = {1981},
    issn = {0022-0000},
    _doi = {https://doi.org/10.1016/0022-0000(81)90033-7},
    _url = {https://www.sciencedirect.com/science/article/pii/0022000081900337},
    author = {Mark N. Wegman and J. Lawrence Carter},
}

@article{Interpolation_Polynomials_HOL_Algebra-AFP,
  author  = {Emin Karayel},
  title   = {Interpolation Polynomials (in HOL-Algebra)},
  journal = {Archive of Formal Proofs},
  month   = jan,
  year    = 2022,
  note    = {\url{https://isa-afp.org/entries/Interpolation_Polynomials_HOL_Algebra.html},
            Formal proof development},
  ISSN    = {2150-914x},
}

@inproceedings{thorup2010,
  author = {Thorup, Mikkel and Zhang, Yin},
  title = {Tabulation Based 5-Universal Hashing and Linear Probing},
  year = {2010},
  publisher = {Society for Industrial and Applied Mathematics},
  address = {USA},
  booktitle = {Proceedings of the Meeting on Algorithm Engineering \& Expermiments},
  pages = {62--76},
  numpages = {15},
  location = {Austin, Texas},
  series = {ALENEX '10}
}

@article{vadhan2012,
    _url = {http://dx.doi.org/10.1561/0400000010},
    year = {2012},
    volume = {7},
    journal = {Foundations and Trends\textregistered in Theoretical Computer Science},
    title = {Pseudorandomness},
    _doi = {10.1561/0400000010},
    issn = {1551-305X},
    number = {1-3},
    pages = {1--336},
    author = {Salil P. Vadhan}
}
