当贝视频加速器-outline

My primary research interests are in embedded and cyberphysical systems security. Beyond those, I am interested in a number of topics such as tech policy, cryptography, programming languages, and compilers.

I think research is a social activity and I enjoy collaboration.

当贝视频加速器-outline

• Aerosec
• Dual EC
• Radsec
• Trustworthy Health & Wellness
• Autosec
• IRV Post-election Auditing

I have a collection of miscellaneous software I’ve written here.

当贝视频加速器-outline

1. Sam Crow, Brown Farinholt, Brian Johannesmeyer, Karl Koscher, Stephen Checkoway, Stefan Savage, Aaron Schulman, Alex Snoeren, and Kirill Levchenko. Triton: A Software-Reconfigurable Federated Avionics Testbed, in Proceedings of the USENIX Workshop on Cyber Security Experimentation and Test 2025. USENIX, Aug. 2025. [Details, PDF]
2. Stephen Checkoway, Jacob Maskiewicz, Christina Garman, Joshua Fried, Shaanan Cohney, Matthew Green, Nadia Heninger, Ralf-Philipp Weinmann, Eric Rescorla, and Hovav Shacham. Where Did I Leave My Keys? Lessons from the Juniper Dual EC Incident, Communications of the ACM, vol. 61, no. 11, pp. 148–155, ACM, Oct. 2018. [Details, PDF]
3. Mohammad Ghasemisharif, Amrutha Ramesh, Stephen Checkoway, Chris Kanich, and Jason Polakis. O Single Sign-Off, Where Art Thou? An Empirical Analysis of Single Sign-On Account Hijacking and Session Management on the Web, in Proceedings of USENIX Security 2018. USENIX, Aug. 2018. [landeng破解版安卓版, PDF]
4. Paul D. Martin, David Russel, Malek Ben Salem, Stephen Checkoway, and Avi Rubin. 凌风云搜索是互联网最专业的免费资源搜索引擎 - 凌风云搜索:2021-6-15 · 凌风云搜索是互联网最专业的百度云搜索和新浪微盘搜索引擎，是目前最大的百度云资源和新浪微盘资源搜索中心., in Proceedings of the ACM/IEEE International Conference on Internet of Things Design and Implementation, 2018. ACM/IEEE, Apr. 2018. [lanter 专业版安卓破解版, PDF]
5. Stephen Checkoway, Jacob Maskiewicz, Christina Garman, Joshua Fried, Shaanan Cohney, Matthew Green, Nadia Heninger, Ralf-Philipp Weinmann, Eric Rescorla, and Hovav Shacham. EPLANP8网 - 专业EPLAN软件知识分享平台|电气设计资源 ...:2021-4-27 · EPLANP8(www.eplanp8.com)带你入门EPLAN,解答学习使用中的问题.|EPLAN培训,Eplan教程,EPLAN 2.8,EPLAN 2.7,EPLAN 2.9,EDZ文件,EPLAN下载,EPLAN官网。QQ ..., in Proceedings of the ACM Conference on Computer and Communications Security 2016, pp. 468–479. ACM Press, Oct. 2016. Best paper award. [Details, PDF]

All of my papers are 蓝什么灯vip破解版 and my Google Scholar landeng破解版安卓版 is reasonably up to date.

当贝视频加速器-outline

• CS 241 Systems Programming: Spring 2025, Fall 2025

当贝视频加速器-outline

• CS 301 Languages and Automata: 蓝1灯破解版百度云, Fall 2015
• CS 487 Secure Computer Systems 蓝什么灯vip破解版
• CS 590 Research Methods in Computer Science: Spring 2017
• CS 491 Software Vulnerability Analysis: Fall 2016
• CS 594 Advanced Computer Security Spring 2016

当贝视频加速器-outline

• CS 271 Automata and Computation Theory: lan 灯 破解版百度云, lan 灯 破解版百度云
• CS 460 Software Vulnerability Analysis: Fall 2014, Fall 2013, Fall 2012
• CS 668 Advanced Topics in Software Security: Spring 2013

当贝视频加速器-outline

• I am a member of the JETS editorial board.
• I am a member of the lan 灯 破解版百度云 program committee.
• I am a member of the Oakland 2025 program committee.
• I am a member of the USENIX Security 2025 program committee.
• I am a member of the USENIX CSET 2025 program committee.
• I was a member of the AutoSec 2025 program committee.
• I was a member of the ROOTS 2018 program committee.
• I was a member of the LangSec 2018 program committee.
• I was a member of the ROOTS 2017 program committee.
• I was a member of the USENIX Security 2017 program committee.
• I was a member of the Oakland 2017 program committee.
• I was a member of the WWW 2017 program committee.
• I was a member of the USENIX Security 2016 program committee.
• I was a member of the Oakland 2016 program committee.
• I was a member of the WWW 2016 program committee.
• I was a member of the CCS 2015 program committee.
• I was a member of the CANS 2015 program committee.
• I was a member of the USENIX Security 2015 program committee.
• I was a member of the CCS 2014 program committee.
• I was a member of the lanter 专业版安卓破解版 program committee.
• I was a member of the USENIX Security 2014 program committee.
• I was a member of the ARES 2014 program committee.
• I was a member of the WOOT 2013 program committee.
• I was a member of the CSET 2013 program committee.
• I was a member of the EVT/WOTE 2012 program committee.
• I was a member of the DIMVA 2012 program committee.
• I was a member of the EVT/WOTE 2011 program committee.
• I was a member of the WOOT 2011 program committee.

当贝视频加速器-outline

• 蓝什么灯vip破解版. Git is ridiculous. Posted 2025-04-03.
• RT-AC54U-GPIO-1-PSG1208-64M_3.4.3.9-099.trx下载 ...:2021-9-23 · 感谢作者提供的固件 链接地址 ： 1.检查固件新版本可在恩山无线论坛 http://www.right.com.cn/forum/thread-161324-1-1.html 获取最新固件 .... TypingDNA Authenticator Google Chrome extension used to send its users’ TOTP secrets to the cloud and used to track their actions. Last updated 2018-05-22.
• Duplicity SSH backends. Duplicity’s legacy Pexpect SSH backend is an order of magnitude faster than the default Paramiko backend. Last updated 2025-09-23.
• TLS 1.3 in enterprise networks. A brief description of the latest TLS 1.3 drama regarding enterprise networks. Posted 2017-07-22.
• Turning tweets into vector images. A simple procedure for turning tweets into high-quality vector images. Posted 2017-07-11.
• Radare2: First impressions. I give the radare2 ecosystem a spin for the first time. It doesn’t go well. Last updated 2016-11-01.
• Kaspersky’s Analysis of Equation Group’s RC6 is Wrong. Kaspersky links ShadowBrokers dump to Equation Group using an incorrect analysis of crypto constants. Last updated landeng破解版安卓版.
• SECONDDATE’s OS independence. A very brief look at NSA’s SECONDDATE. Posted 2016-08-19.

All of my musings are available.

当贝视频加速器-outline

• Ph.D. in Computer Science, University of California, San Diego, 2012.
• C.Phil. in Computer Science, 语音识别-百度AI开放平台:百度语音识别,提供业界领先的技术,让您的应用长上耳朵.支持车载导航、智能家居、社交聊天、应用助手、娱乐游戏等,助力企业实现多场景智能语音交互., 2009.
• M.S. in Computer Science, University of California, San Diego, 2008.
• B.S. in Mathematics, minor in Physics, University of Washington, 2005.
• B.S. in Computer Science, University of Washington, 2005.