Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Kevin R. B. Butler

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Farhaan Fowze

> Home > Persons > Kevin R. B. Butler

Publications

2023
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/YavuzFHBBT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/YavuzFHBBT23
Tuba Yavuz, Farhaan Fowze, Grant Hernandez, Ken Yihang Bai, Kevin R. B. Butler, Dave Jing Tian:
ENCIDER: Detecting Timing and Cache Side Channels in SGX Enclaves and Cryptographic APIs. IEEE Trans. Dependable Secur. Comput. 20(2): 1577-1595 (2023)
2021
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/FowzeTHBY21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/FowzeTHBY21
Farhaan Fowze, Dave Tian, Grant Hernandez, Kevin R. B. Butler, Tuba Yavuz:
ProXray: Protocol Model Learning and Guided Firmware Analysis. IEEE Trans. Software Eng. 47(9): 1907-1928 (2021)
2019
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/ieeesp/HernandezFTYTB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieeesp/HernandezFTYTB19
Grant Hernandez, Farhaan Fowze, Dave Jing Tian, Tuba Yavuz, Patrick Traynor, Kevin R. B. Butler:
Toward Automated Firmware Analysis in the IoT Era. IEEE Secur. Priv. 17(5): 38-46 (2019)
2017
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/HernandezFTYB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/HernandezFTYB17
Grant Hernandez, Farhaan Fowze, Dave (Jing) Tian, Tuba Yavuz, Kevin R. B. Butler:
FirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution. CCS 2017: 2245-2262
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1708-09114
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1708-09114
Grant Hernandez, Farhaan Fowze, Dave Tian, Tuba Yavuz, Kevin R. B. Butler:
FirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution. CoRR abs/1708.09114 (2017)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.