BibTeX records: Alexandre Rebert

download as .bib file

@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},
  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},
  year      = {2014},
  crossref  = {DBLP:conf/icse/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},
  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},
  year      = {2014},
  crossref  = {DBLP:conf/uss/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},
  year      = {2012},
  crossref  = {DBLP:conf/sp/2012},
  url       = {https://doi.org/10.1109/SP.2012.31},
  doi       = {10.1109/SP.2012.31},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/conf/sp/ChaARB12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2014,
  editor    = {Pankaj Jalote and
               Lionel C. Briand and
               Andr{\'{e}} van der Hoek},
  title     = {36th International Conference on Software Engineering, {ICSE} '14,
               Hyderabad, India - May 31 - June 07, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2568225},
  isbn      = {978-1-4503-2756-5},
  timestamp = {Fri, 30 Sep 2022 11:52:49 +0200},
  biburl    = {https://dblp.org/rec/conf/icse/2014.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/uss/2014,
  editor    = {Kevin Fu and
               Jaeyeon Jung},
  title     = {Proceedings of the 23rd {USENIX} Security Symposium, San Diego, CA,
               USA, August 20-22, 2014},
  publisher = {{USENIX} Association},
  year      = {2014},
  url       = {https://www.usenix.org/conference/usenixsecurity14},
  timestamp = {Fri, 30 Sep 2022 11:52:49 +0200},
  biburl    = {https://dblp.org/rec/conf/uss/2014.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sp/2012,
  title     = {{IEEE} Symposium on Security and Privacy, {SP} 2012, 21-23 May 2012,
               San Francisco, California, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6233637/proceeding},
  isbn      = {978-0-7695-4681-0},
  timestamp = {Fri, 30 Sep 2022 11:52:49 +0200},
  biburl    = {https://dblp.org/rec/conf/sp/2012.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics