BibTeX records: Grant Hernandez

download as .bib file

@article{DBLP:journals/tdsc/YavuzFHBBT23,
  author       = {Tuba Yavuz and
                  Farhaan Fowze and
                  Grant Hernandez and
                  Ken Yihang Bai and
                  Kevin R. B. Butler and
                  Dave Jing Tian},
  title        = {{ENCIDER:} Detecting Timing and Cache Side Channels in {SGX} Enclaves
                  and Cryptographic APIs},
  journal      = {{IEEE} Trans. Dependable Secur. Comput.},
  volume       = {20},
  number       = {2},
  pages        = {1577--1595},
  year         = {2023},
  url          = {https://doi.org/10.1109/TDSC.2022.3160346},
  doi          = {10.1109/TDSC.2022.3160346},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tdsc/YavuzFHBBT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ndss/HernandezMMMPST22,
  author       = {Grant Hernandez and
                  Marius Muench and
                  Dominik Christian Maier and
                  Alyssa Milburn and
                  Shinjo Park and
                  Tobias Scharnowski and
                  Tyler Tucker and
                  Patrick Traynor and
                  Kevin R. B. Butler},
  title        = {FirmWire: Transparent Dynamic Analysis for Cellular Baseband Firmware},
  booktitle    = {29th Annual Network and Distributed System Security Symposium, {NDSS}
                  2022, San Diego, California, USA, April 24-28, 2022},
  publisher    = {The Internet Society},
  year         = {2022},
  url          = {https://www.ndss-symposium.org/ndss-paper/auto-draft-200/},
  timestamp    = {Thu, 15 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ndss/HernandezMMMPST22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/FowzeTHBY21,
  author       = {Farhaan Fowze and
                  Dave Tian and
                  Grant Hernandez and
                  Kevin R. B. Butler and
                  Tuba Yavuz},
  title        = {ProXray: Protocol Model Learning and Guided Firmware Analysis},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {47},
  number       = {9},
  pages        = {1907--1928},
  year         = {2021},
  url          = {https://doi.org/10.1109/TSE.2019.2939526},
  doi          = {10.1109/TSE.2019.2939526},
  timestamp    = {Tue, 05 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/FowzeTHBY21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/HernandezTYWB20,
  author       = {Grant Hernandez and
                  Dave (Jing) Tian and
                  Anurag Swarnim Yadav and
                  Byron J. Williams and
                  Kevin R. B. Butler},
  editor       = {Srdjan Capkun and
                  Franziska Roesner},
  title        = {BigMAC: Fine-Grained Policy Analysis of Android Firmware},
  booktitle    = {29th {USENIX} Security Symposium, {USENIX} Security 2020, August 12-14,
                  2020},
  pages        = {271--287},
  publisher    = {{USENIX} Association},
  year         = {2020},
  url          = {https://www.usenix.org/conference/usenixsecurity20/presentation/hernandez},
  timestamp    = {Fri, 29 Jan 2021 22:08:55 +0100},
  biburl       = {https://dblp.org/rec/conf/uss/HernandezTYWB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeesp/HernandezFTYTB19,
  author       = {Grant Hernandez and
                  Farhaan Fowze and
                  Dave Jing Tian and
                  Tuba Yavuz and
                  Patrick Traynor and
                  Kevin R. B. Butler},
  title        = {Toward Automated Firmware Analysis in the IoT Era},
  journal      = {{IEEE} Secur. Priv.},
  volume       = {17},
  number       = {5},
  pages        = {38--46},
  year         = {2019},
  url          = {https://doi.org/10.1109/MSEC.2019.2926462},
  doi          = {10.1109/MSEC.2019.2926462},
  timestamp    = {Sat, 11 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ieeesp/HernandezFTYTB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/ChoiTHPMSBT19,
  author       = {Joseph I. Choi and
                  Dave (Jing) Tian and
                  Grant Hernandez and
                  Christopher Patton and
                  Benjamin Mood and
                  Thomas Shrimpton and
                  Kevin R. B. Butler and
                  Patrick Traynor},
  editor       = {Steven D. Galbraith and
                  Giovanni Russello and
                  Willy Susilo and
                  Dieter Gollmann and
                  Engin Kirda and
                  Zhenkai Liang},
  title        = {A Hybrid Approach to Secure Function Evaluation using {SGX}},
  booktitle    = {Proceedings of the 2019 {ACM} Asia Conference on Computer and Communications
                  Security, AsiaCCS 2019, Auckland, New Zealand, July 09-12, 2019},
  pages        = {100--113},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3321705.3329835},
  doi          = {10.1145/3321705.3329835},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccs/ChoiTHPMSBT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codaspy/TianCHTB19,
  author       = {Dave (Jing) Tian and
                  Joseph I. Choi and
                  Grant Hernandez and
                  Patrick Traynor and
                  Kevin R. B. Butler},
  editor       = {Gail{-}Joon Ahn and
                  Bhavani Thuraisingham and
                  Murat Kantarcioglu and
                  Ram Krishnan},
  title        = {A Practical Intel {SGX} Setting for Linux Containers in the Cloud},
  booktitle    = {Proceedings of the Ninth {ACM} Conference on Data and Application
                  Security and Privacy, {CODASPY} 2019, Richardson, TX, USA, March 25-27,
                  2019},
  pages        = {255--266},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3292006.3300030},
  doi          = {10.1145/3292006.3300030},
  timestamp    = {Wed, 29 Jun 2022 15:37:41 +0200},
  biburl       = {https://dblp.org/rec/conf/codaspy/TianCHTB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/TianHCFJB19,
  author       = {Dave Jing Tian and
                  Grant Hernandez and
                  Joseph I. Choi and
                  Vanessa Frost and
                  Peter C. Johnson and
                  Kevin R. B. Butler},
  title        = {{LBM:} {A} Security Framework for Peripherals within the Linux Kernel},
  booktitle    = {2019 {IEEE} Symposium on Security and Privacy, {SP} 2019, San Francisco,
                  CA, USA, May 19-23, 2019},
  pages        = {967--984},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/SP.2019.00041},
  doi          = {10.1109/SP.2019.00041},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sp/TianHCFJB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/ScaifeBPHSTA19,
  author       = {Nolen Scaife and
                  Jasmine D. Bowers and
                  Christian Peeters and
                  Grant Hernandez and
                  Imani N. Sherman and
                  Patrick Traynor and
                  Lisa Anthony},
  title        = {Kiss from a Rogue: Evaluating Detectability of Pay-at-the-Pump Card
                  Skimmers},
  booktitle    = {2019 {IEEE} Symposium on Security and Privacy, {SP} 2019, San Francisco,
                  CA, USA, May 19-23, 2019},
  pages        = {1000--1014},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/SP.2019.00077},
  doi          = {10.1109/SP.2019.00077},
  timestamp    = {Fri, 23 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sp/ScaifeBPHSTA19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wisec/HernandezB19,
  author       = {Grant Hernandez and
                  Kevin R. B. Butler},
  title        = {Basebads: Automated security analysis of baseband firmware: poster},
  booktitle    = {Proceedings of the 12th Conference on Security and Privacy in Wireless
                  and Mobile Networks, WiSec 2019, Miami, Florida, USA, May 15-17, 2019},
  pages        = {318--319},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3317549.3326310},
  doi          = {10.1145/3317549.3326310},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wisec/HernandezB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-01233,
  author       = {Joseph I. Choi and
                  Dave (Jing) Tian and
                  Grant Hernandez and
                  Christopher Patton and
                  Benjamin Mood and
                  Thomas Shrimpton and
                  Kevin R. B. Butler and
                  Patrick Traynor},
  title        = {A Hybrid Approach to Secure Function Evaluation Using {SGX}},
  journal      = {CoRR},
  volume       = {abs/1905.01233},
  year         = {2019},
  url          = {http://arxiv.org/abs/1905.01233},
  eprinttype    = {arXiv},
  eprint       = {1905.01233},
  timestamp    = {Mon, 27 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1905-01233.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/TianHCFRTVHRGB18,
  author       = {Dave (Jing) Tian and
                  Grant Hernandez and
                  Joseph I. Choi and
                  Vanessa Frost and
                  Christie Ruales and
                  Patrick Traynor and
                  Hayawardh Vijayakumar and
                  Lee Harrison and
                  Amir Rahmati and
                  Michael Grace and
                  Kevin R. B. Butler},
  editor       = {William Enck and
                  Adrienne Porter Felt},
  title        = {ATtention Spanned: Comprehensive Vulnerability Analysis of {AT} Commands
                  Within the Android Ecosystem},
  booktitle    = {27th {USENIX} Security Symposium, {USENIX} Security 2018, Baltimore,
                  MD, USA, August 15-17, 2018},
  pages        = {273--290},
  publisher    = {{USENIX} Association},
  year         = {2018},
  url          = {https://www.usenix.org/conference/usenixsecurity18/presentation/tian},
  timestamp    = {Mon, 01 Feb 2021 08:43:20 +0100},
  biburl       = {https://dblp.org/rec/conf/uss/TianHCFRTVHRGB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wisec/HernandezB18,
  author       = {Grant Hernandez and
                  Kevin R. B. Butler},
  editor       = {Panos Papadimitratos and
                  Kevin R. B. Butler and
                  Christina P{\"{o}}pper},
  title        = {Android Escalation Paths: Building Attack-Graphs from SEAndroid Policies},
  booktitle    = {Proceedings of the 11th {ACM} Conference on Security {\&} Privacy
                  in Wireless and Mobile Networks, WiSec 2018, Stockholm, Sweden, June
                  18-20, 2018},
  pages        = {289--290},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3212480.3226106},
  doi          = {10.1145/3212480.3226106},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wisec/HernandezB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toit/BatesTHMBJ17,
  author       = {Adam Bates and
                  Dave (Jing) Tian and
                  Grant Hernandez and
                  Thomas Moyer and
                  Kevin R. B. Butler and
                  Trent Jaeger},
  title        = {Taming the Costs of Trustworthy Provenance through Policy Reduction},
  journal      = {{ACM} Trans. Internet Techn.},
  volume       = {17},
  number       = {4},
  pages        = {34:1--34:21},
  year         = {2017},
  url          = {https://doi.org/10.1145/3062180},
  doi          = {10.1145/3062180},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toit/BatesTHMBJ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/HernandezFTYB17,
  author       = {Grant Hernandez and
                  Farhaan Fowze and
                  Dave (Jing) Tian and
                  Tuba Yavuz and
                  Kevin R. B. Butler},
  editor       = {Bhavani Thuraisingham and
                  David Evans and
                  Tal Malkin and
                  Dongyan Xu},
  title        = {FirmUSB: Vetting {USB} Device Firmware using Domain Informed Symbolic
                  Execution},
  booktitle    = {Proceedings of the 2017 {ACM} {SIGSAC} Conference on Computer and
                  Communications Security, {CCS} 2017, Dallas, TX, USA, October 30 -
                  November 03, 2017},
  pages        = {2245--2262},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3133956.3134050},
  doi          = {10.1145/3133956.3134050},
  timestamp    = {Wed, 29 Jun 2022 15:37:41 +0200},
  biburl       = {https://dblp.org/rec/conf/ccs/HernandezFTYB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-09114,
  author       = {Grant Hernandez and
                  Farhaan Fowze and
                  Dave Tian and
                  Tuba Yavuz and
                  Kevin R. B. Butler},
  title        = {FirmUSB: Vetting {USB} Device Firmware using Domain Informed Symbolic
                  Execution},
  journal      = {CoRR},
  volume       = {abs/1708.09114},
  year         = {2017},
  url          = {http://arxiv.org/abs/1708.09114},
  eprinttype    = {arXiv},
  eprint       = {1708.09114},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1708-09114.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsac/EtigowniTHZB16,
  author       = {Sriharsha Etigowni and
                  Dave (Jing) Tian and
                  Grant Hernandez and
                  Saman A. Zonouz and
                  Kevin R. B. Butler},
  editor       = {Stephen Schwab and
                  William K. Robertson and
                  Davide Balzarotti},
  title        = {{CPAC:} securing critical infrastructure with cyber-physical access
                  control},
  booktitle    = {Proceedings of the 32nd Annual Conference on Computer Security Applications,
                  {ACSAC} 2016, Los Angeles, CA, USA, December 5-9, 2016},
  pages        = {139--152},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {http://dl.acm.org/citation.cfm?id=2991126},
  timestamp    = {Tue, 06 Nov 2018 16:59:24 +0100},
  biburl       = {https://dblp.org/rec/conf/acsac/EtigowniTHZB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cns/DeshmukhCHTB16,
  author       = {Siddhant Deshmukh and
                  Henry Carter and
                  Grant Hernandez and
                  Patrick Traynor and
                  Kevin R. B. Butler},
  title        = {Efficient and secure template blinding for biometric authentication},
  booktitle    = {2016 {IEEE} Conference on Communications and Network Security, {CNS}
                  2016, Philadelphia, PA, USA, October 17-19, 2016},
  pages        = {480--488},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/CNS.2016.7860539},
  doi          = {10.1109/CNS.2016.7860539},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cns/DeshmukhCHTB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics