Brian Mastenbrook
software, systems, security
current
- Western Digital
- Senior Director
- 2018+
responsibilities
-
Product Security Engineering, Consumer Products
-
vision, architecture, design, engineering team lead, ArmorLock encrypted NVMe SSD
-
code, Sweet B embedded elliptic curve cryptography
-
security design & architecture, My Cloud OS 5
-
responsible for product security on all other consumer products
past
- Wearable Inc.
- CTO
- 2010 - acquired by Western Digital, 2018
greatest hits
SanDisk Connect Wireless Stick, 2015
- portable wireless web server, $29 msrp
- Marvell 88MW302, 200MHz ARM Cortex-M4, 512kB SRAM for code+data
- 802.11n wireless, USB 2.0 HS data, USB stick form factor, up to 200GB internal storage
- custom memory protected operating system, only low level drivers privileged
- unprivileged wifi driver from Marvell, unprivileged completely in-house filesystem, TCP/IP stack, WebDAV server, etc.
- all unprivileged components tested with ubsan and asan
- unit tests on kernel scheduler, memory allocator, etc.
- concolically tested IP stack with KLEE
- concurrent embedded filesystem, modeled and verified with Spin
- secure boot, secure firmware update
- manufacturing program and test automation in Typed Racket
SanDisk Connect Wireless Flash Drive, 2013
- portable wireless web server, USB stick form factor, microSD storage
- Atmel AT32UC3A4128S, 84MHz AVR32, 128kB flash, 128kB SRAM
- Qualcomm Atheros AR6103 WiFi SiP, 802.11n
- cost reduced, form factor shrink of AirStash A02
AirStash A02, 2012
- portable wireless web server, SD card reader form factor
- Atmel AT32UC3A3256S, 66MHz AVR32, 256kB flash, 128kB SRAM
- Atheros AR6103 WiFi SiP, 802.11n
- distribution agreement, worldwide, Hitachi Maxell
AirStash A01, 2011
- portable wireless web server, SD card reader form factor
- NXP LPC2888, 60Mhz ARM7TDMI, 1MB flash, 64kB SRAM
- Atheros AR6102 WiFi SiP, 802.11g
- low volume first generation product, pre-crowdfunding