Home
Download

Open Source

Projects
Patches

Research

Publications
CDX
Proposals
Reading List
Statistics

System Integration

Notes
SRPMs

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*,†
* presented, or paper included in proceedings
served on program committee

Committees and panels

Calendar year 2017

  1. 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

Official Fedora packages maintained

  1. dmapd
  2. festival
  3. fmt-ptrn
  4. gnupg-pkcs11-scd
  5. LaTeXML
  6. libdmapsharing
  7. libdmapsharing4
  8. libvmi
  9. linkchecker
  10. Mars
  11. nex
  12. pocketsphinx
  13. python-intervaltree
  14. python-pwntools
  15. python-ROPGadget
  16. sphinxbase
  17. spim
  18. tikzit
  19. 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. openldap
  35. php7-pecl-krb5
  36. php7-pecl-mcrypt
  37. pigeonhole
  38. scapy
  39. snort
  40. snort3
  41. syslog-ng
  42. vips

Formal bug reports or report contributions

Email: www@flyn.org — ✉ 6110 Campfire Court; Columbia, Maryland 21045; USA