Statistics

Conferences and workshops attended

  1. ACM DIM 2010, Chicago, Illinois*
  2. ACM CCS 2010, Chicago, Illinois
  3. IEEE Security & Privacy 2012, San Francisco, California
  4. USENIX Security 2012, Bellevue, Washington
  5. USENIX OSDI 2012, Hollywood, California
  6. ACM CCS 2012, Raleigh, North Carolina
  7. RESoLVE 2013, Houston, Texas*
  8. ASPLOS 2013, Houston, Texas
  9. EUROSEC 2013, Prague, Czech Republic*
  10. Greater Chicago Area Systems Research Workshop 2013, Evanston, Illinois
  11. ACM CCS 2013, Berlin, Germany*
  12. IEEE LangSec 2014, San Jose, California*
  13. IEEE Security & Privacy 2015, San Jose, California
  14. IEEE LangSec 2015, San Jose, California*
  15. Black Hat USA 2015, Las Vegas, Nevada
  16. SPACE 2015, Jaipur, India*,†
  17. Black Hat USA 2016, Las Vegas, Nevada
  18. USENIX Advances in Security Education 2016, Austin, Texas*
  19. USENIX Security 2016, Austin, Texas
  20. ACM CCS 2016, Vienna, Austria
  21. ACM MIST 2016, Vienna, Austria*
  22. ASEE Annual Conference 2017, Columbus, Ohio*
  23. ACM MIST 2017, Dallas, Texas*,†
  24. High Confidence Software and Systems Conference 2019, Annapolis, Maryland*
  25. USENIX Security 2020, Boston, Massachusetts (held online due to COVID-19)*

* presented, or paper included in proceedings
served on program committee

Committees and panels

Calendar year 2017

Ninth ACM CCS International Workshop on Managing Insider Security Threats

Calendar year 2015

  1. Fifth International Conference on Security, Privacy, and Applied Cryptography Engineering
  2. NSF Secure and Trustworthy Cyberspace

Grants awarded

NSF CRII: SaTC: Next-Generation Robust Software (CNS-1464121)

College courses taught

2013–2014
USMA CS481, Operating Systems
USMA IT305, Theory and Practice of Military Information Systems
2014–2015
USMA CS481, Operating Systems
USMA CS482, Cyber-Security Engineering
2015–2016
USMA CS481, Operating Systems
USMA CS401, Software Systems Design
USMA XE402, Integrative Systems Design
USMA CS301, Fundamentals of Computer Science
2016–2017
USMA CS481, Operating Systems
USMA CS401, Software Systems Design
USMA XE402, Integrative Systems Design
USMA CS474, Fundamentals of Computer Theory
2020–2021
UW–L CS120, Software Design I
UW–L CS456, Secure Software Development

Official Fedora packages maintained

  1. academic-admin
  2. dmapd
  3. festival
  4. fmt-ptrn
  5. gnupg-pkcs11-scd
  6. hugo (co-maintain with Athos Ribeiro)
  7. irstlm
  8. LaTeXML
  9. libdmapsharing
  10. libdmapsharing4
  11. libvmi
  12. linkchecker
  13. Mars
  14. nex
  15. openfst
  16. opengrm-ngram
  17. pocketsphinx
  18. python-angr
  19. python-ailment (co-maintain with Fabian Affolter)
  20. python-archinfo (co-maintain with Fabian Affolter)
  21. python-claripy (co-maintain with Fabian Affolter)
  22. python-bibtexparser
  23. python-cle
  24. python-intervaltree
  25. python-pwntools
  26. python-pyvex
  27. python-ROPGadget
  28. sphinxbase
  29. spim
  30. tex-cjw
  31. tikzit
  32. unicorn

We also maintain a number of submitted—but not yet accepted—packages.

Official OpenWrt packages maintained

  1. bogofilter
  2. cyrus-sasl
  3. dmapd
  4. grilo
  5. grilo-plugins
  6. gst1-libav
  7. gst1-plugins-bad
  8. gst1-plugins-base
  9. gst1-plugins-good
  10. gst1-plugins-ugly
  11. gstreamer1
  12. hwloc
  13. krb5
  14. lcdgrilo
  15. lcdringer
  16. libdaq
  17. libdmapsharing
  18. libexif
  19. libgcrypt
  20. libgee
  21. libgpg-error
  22. libmcrypt
  23. libmpeg2
  24. liboil
  25. libpsl
  26. libsoup
  27. libtheora
  28. lighttpd
  29. loudmouth
  30. luaexpat
  31. luafilesystem
  32. luasec
  33. luasocket
  34. nfdump
  35. openldap
  36. php7-pecl-krb5
  37. php7-pecl-mcrypt
  38. pigeonhole
  39. python3-libselinux
  40. python3-networkx
  41. quota
  42. scapy
  43. setools
  44. snort
  45. snort3
  46. syslog-ng
  47. vips

Formal bug reports or report contributions