BibTeX records: Alexandre Rebert

• > Home > Persons > Alexandre Rebert

@article{DBLP:journals/ieeesp/AvgerinosBDGNRW18,
  author       = {Thanassis Avgerinos and
                  David Brumley and
                  John Davis and
                  Ryan Goulden and
                  Tyler Nighswander and
                  Alexandre Rebert and
                  Ned Williamson},
  title        = {The Mayhem Cyber Reasoning System},
  journal      = {{IEEE} Secur. Priv.},
  volume       = {16},
  number       = {2},
  pages        = {52--60},
  year         = {2018},
  url          = {https://doi.org/10.1109/MSP.2018.1870873},
  doi          = {10.1109/MSP.2018.1870873},
  timestamp    = {Sun, 15 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ieeesp/AvgerinosBDGNRW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cacm/AvgerinosRCB16,
  author       = {Thanassis Avgerinos and
                  Alexandre Rebert and
                  Sang Kil Cha and
                  David Brumley},
  title        = {Enhancing symbolic execution with veritesting},
  journal      = {Commun. {ACM}},
  volume       = {59},
  number       = {6},
  pages        = {93--100},
  year         = {2016},
  url          = {https://doi.org/10.1145/2927924},
  doi          = {10.1145/2927924},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/AvgerinosRCB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cacm/AvgerinosCRSWB14,
  author       = {Thanassis Avgerinos and
                  Sang Kil Cha and
                  Alexandre Rebert and
                  Edward J. Schwartz and
                  Maverick Woo and
                  David Brumley},
  title        = {Automatic exploit generation},
  journal      = {Commun. {ACM}},
  volume       = {57},
  number       = {2},
  pages        = {74--84},
  year         = {2014},
  url          = {https://doi.org/10.1145/2560217.2560219},
  doi          = {10.1145/2560217.2560219},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/AvgerinosCRSWB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/AvgerinosRCB14,
  author       = {Thanassis Avgerinos and
                  Alexandre Rebert and
                  Sang Kil Cha and
                  David Brumley},
  editor       = {Pankaj Jalote and
                  Lionel C. Briand and
                  Andr{\'{e}} van der Hoek},
  title        = {Enhancing symbolic execution with veritesting},
  booktitle    = {36th International Conference on Software Engineering, {ICSE} '14,
                  Hyderabad, India - May 31 - June 07, 2014},
  pages        = {1083--1094},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2568225.2568293},
  doi          = {10.1145/2568225.2568293},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/AvgerinosRCB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/uss/RebertCAFWGB14,
  author       = {Alexandre Rebert and
                  Sang Kil Cha and
                  Thanassis Avgerinos and
                  Jonathan Foote and
                  David Warren and
                  Gustavo Grieco and
                  David Brumley},
  editor       = {Kevin Fu and
                  Jaeyeon Jung},
  title        = {Optimizing Seed Selection for Fuzzing},
  booktitle    = {Proceedings of the 23rd {USENIX} Security Symposium, San Diego, CA,
                  USA, August 20-22, 2014},
  pages        = {861--875},
  publisher    = {{USENIX} Association},
  year         = {2014},
  url          = {https://www.usenix.org/conference/usenixsecurity14/technical-sessions/presentation/rebert},
  timestamp    = {Mon, 01 Feb 2021 08:43:04 +0100},
  biburl       = {https://dblp.org/rec/conf/uss/RebertCAFWGB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sp/ChaARB12,
  author       = {Sang Kil Cha and
                  Thanassis Avgerinos and
                  Alexandre Rebert and
                  David Brumley},
  title        = {Unleashing Mayhem on Binary Code},
  booktitle    = {{IEEE} Symposium on Security and Privacy, {SP} 2012, 21-23 May 2012,
                  San Francisco, California, {USA}},
  pages        = {380--394},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/SP.2012.31},
  doi          = {10.1109/SP.2012.31},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sp/ChaARB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}