2022
- Do PDF Tools Conform To The Specification?
Nullcon 2022, Goa, India
September 9th, 2022
2020
- IoTHound: Environment-agnostic Device Identification and Monitoring
10th International Conference on Internet of Things (IoT 2020)
October 8th, 2020
Co-presented with Liwei Song from Princeton University.
- Ghostbusting: Mitigating Spectre with Intraprocess Memory Isolation
Hot Topics in the Science of Security (ACM HotSoS '20)
September 24th, 2020
On YouTube: https://www.youtube.com/watch?v=YPL2h9-KiYg&feature=emb_logo
- Work in Progress: On Session Languages
LangSec Workshop at IEEE Security and Privacy Symposium (LangSec 2020)
May 21st, 2020
2019
- Scalable Identity and Key Management for Publish-Subscribe Protocols in the Internet-of-Things
9th International Conference on Internet of Things (IoT 2019)
October 23rd, 2019
Nominated for Best Paper Award; Received an honorable mention award.
- LangSec: A Principled Way to enforce Input Security
GE Edge and Controls Symposium, Niskayuna, NY
September 12th, 2019
- Mismorphism: The Heart of the Weird Machine (Transcript Available)
Security Protocols Workshop, Trinity College, Cambridge, UK
April 10th, 2019
- Building Hardened IoT Implementations with LangSec
Nullcon Security Conference, Goa, India
March 2nd, 2019
On YouTube: https://www.youtube.com/watch?v=jFde6jT-5mk
2018
- Ghost Busters: A Tale of Spectre, ELF ABI, and Computational Privilege
BSides Augusta, Augusta, GA
October 20th, 2018
On YouTube: https://www.youtube.com/watch?v=wLp1aNsbLiA
- Going Dark: A Retrospective on the North American Blackout of 2038
New Security Paradigms Workshop, Windsor, UK
*Co-presented with Michael Millian, Nathan Reitinger and J. Peter Brady.
August 28th, 2018
- Secure SCADA Protocol for the 21st Century (SSP-21)
LangSec Workshop at IEEE Security and Privacy, San Jose, CA
* Invited presentation; co-presented with Adam Crain of Automatak.
24th May, 2018
- Scalable Identity and Key Management for Publish-Subscribe Protocols in EDS
Cyber Resilient Energy Delivery Consortium All-Hands Meeting
March 2nd, 2018
2017
- Input Handling Done Right: Building Hardened Parsers using Language-theoretic Security
Tutorial Presentation
IEEE Cybersecurity Development Conference, Boston, MA
September 24th, 2017
Co-presenting with Sergey Bratus and Michael C. Millian
- Building Hardened Internet-of-Things Clients with Language-theoretic Security
LangSec Workshop at IEEE Security and Privacy 2017
25th May, 2017
On YouTube: https://www.youtube.com/watch?v=MoXWZcQ3jDY
- Building Secure(r) Applications using Language-Theoretic Security
April Boston Ruby Meetup 2017
11th April, 2017
- Building vertically hardened ICS implementations
CREDC Industry Workshop 2017
28th March, 2017
- I am Joe's Fridge: Scalable Identity in the Internet of Things
9th IEEE International Conference on Internet of Things, Chengdu, China
18th December, 2016