Home
Download

Open Source

Projects
Patches

System Integration

Notes
SRPMs
@inproceedings{oconnor18pivotwall,
  author = {O'Connor, T.J. and Enck, William and Petullo, W. Michael and Verma, Akash},
  title = {\textsc{PivotWall}: {SDN}-Based Information Flow Control},
  booktitle = {Proceedings of the Symposium on SDN Research},
  series = {SOSR '18},
  year = {2018},
  month = mar,
  location = {Los Angeles, CA, USA},
  publisher = {ACM},
  address = {New York, NY, USA},
  keywords = {academic, accepted-18, software-defined networking, information flow}
}
@inproceedings{shockley17visorflow,
  author = {Shockley, Matt and Maixner, Chris and Johnson, Ryan and DeRidder, Mitch and Petullo, W. Michael},
  title = {Using \textsc{VisorFlow} to Control Information Flow without Modifying the Operating System Kernel or its Userspace},
  booktitle = {Proceedings of the 9th ACM CCS International Workshop on Managing Insider Security Threats},
  series = {MIST '17},
  year = {2017},
  month = oct,
  location = {Dallas, Texas, USA},
  numpages = {12},
  publisher = {ACM},
  address = {New York, NY, USA},
  keywords = {academic, accepted-17, virtual-machine introspection, information flow},
  url = {http://www.flyn.org/publications/2017-VisorFlow.pdf}
}
@inproceedings{johnson16simpleflow,
  author = {Johnson, Ryan and Lass, Jessie and Petullo, W. Michael},
  title = {Studying Na\"{\i}ve Users and the Insider Threat with \textsc{SimpleFlow}},
  booktitle = {Proceedings of the 8th ACM CCS International Workshop on Managing Insider Security Threats},
  series = {MIST '16},
  year = {2016},
  month = oct,
  location = {Vienna, Austria},
  pages = {35--46},
  numpages = {12},
  publisher = {ACM},
  address = {New York, NY, USA},
  keywords = {academic, accepted-16, Linux Security Modules, information flow},
  url = {http://www.flyn.org/publications/2016-SimpleFlow.pdf}
}
@inproceedings{petullo16cdx,
  author = {Petullo, W. Michael and Moses, Kyle and Klimkowski, Ben and Hand, Ryan and Olson, Karl},
  title = {The Use of Cyber-Defense Exercises in Undergraduate Computing Education},
  booktitle = {Proceedings of the 2016 USENIX Workshop on Advances in Security Education},
  series = {ASE '16},
  year = {2016},
  month = aug,
  location = {Austin, Texas, USA},
  publisher = {USENIX Association},
  address = {Washington, DC, USA},
  keywords = {academic, accepted-16, CDX, education},
  url = {http://www.flyn.org/publications/2016-CDX.pdf}
}
@inproceedings{stamour15libtlssep,
  author = {St. Amour, Leo and Petullo, W. Michael},
  title = {Improving Application Security Through {TLS}-Library Redesign},
  booktitle = {Proceedings of the Fifth International Conference on Security, Privacy, and Applied Cryptography Engineering},
  bookseries = {Lecture Notes in Computer Science},
  editor = {Peter Schwabe and Jon Solworth and Rajat Subhra},
  location = {Jaipur, Rajasthan, India},
  year = {2015},
  publisher = {Springer},
  month = oct,
  note = {(30\% acceptance rate)},
  keywords = {academic, accepted-15, network security, TLS, encryption},
  url = {http://www.flyn.org/publications/2015-libtlssep.pdf}
}
@inproceedings{petullo15etypesGenerality,
  author = {Petullo, W. Michael and Suh, Joseph},
  title = {On the Generality and Convenience of {Etypes}},
  booktitle = {Proceedings of the 2015 IEEE Security and Privacy Workshops},
  year = {2015},
  month = may,
  location = {San Jose, California, USA},
  numpages = 8,
  publisher = {IEEE},
  address = {New York, NY, USA},
  keywords = {academic, accepted-15, operating systems, type systems, formal languages, recognizers, LangSec},
  url = {http://www.flyn.org/publications/2015-Etypes-Generality.pdf}
}
@inproceedings{moses14teachingComputerSecurity,
  author = {Moses, Kyle V. and Petullo, W. Michael},
  title = {Teaching Computer Security},
  booktitle = {Proceedings of the ASEE Middle Atlantic Section Meeting},
  series = {ASEE MidAtlantic '14},
  year = {2014},
  month = nov,
  location = {Swarthmore, Pennsylvania, USA},
  numpages = {8},
  publisher = {ASEE},
  address = {Washington, DC, USA},
  keywords = {academic, accepted-14, education},
  url = {http://www.flyn.org/publications/2014-Teaching-Computer-Security.pdf}
}
@inproceedings{petullo14ethosTypes,
  author = {Petullo, W. Michael and Solworth, Jon A. and Fei, Wenyuan and Gavlin, Pat},
  title = {Ethos' Deeply Integrated Distributed Types},
  booktitle = {Proceedings of the 2014 IEEE Security and Privacy Workshops},
  year = {2014},
  month = may,
  location = {San Jose, California, USA},
  numpages = 14,
  publisher = {IEEE},
  address = {New York, NY, USA},
  keywords = {academic, accepted-14, type safety, LangSec},
  url = {http://www.flyn.org/publications/2014-Ethos-Types.pdf}
}
@inproceedings{petullo13minimalt,
  author = {Petullo, W. Michael and Zhang, Xu and Solworth, Jon A. and Bernstein, Daniel J. and Lange, Tanja},
  title = {\textsc{MinimaLT}: Minimal-latency Networking Through Better Security},
  booktitle = {Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security},
  series = {CCS '13},
  year = {2013},
  month = nov,
  location = {Berlin, Germany},
  numpages = {13},
  publisher = {ACM},
  address = {New York, NY, USA},
  keywords = {academic, accepted-13, network security, protocol, encryption, authentication},
  note = {(20\% acceptance rate)},
  url = {http://www.flyn.org/publications/2013-MinimaLT.pdf},
  slides = {http://www.flyn.org/publications/2013-MinimaLT-slides.pdf}
}
@inproceedings{petullo13ethosNetAuth,
  author = {Petullo, W. Michael and Solworth, Jon A.},
  title = {Simple-to-use, Secure-by-design Networking in {E}thos},
  booktitle = {Proceedings of the 6th European Workshop on System Security},
  series = {EUROSEC '13},
  year = {2013},
  month = apr,
  location = {Prague, Czech Republic},
  publisher = {ACM},
  address = {New York, NY, USA},
  keywords = {academic, accepted-13, authorization, networking, operating system},
  note = {(30\% acceptance rate)},
  url = {http://www.flyn.org/publications/2013-Simple-Secure-Networking.pdf}
}
@unpublished{petullo13lazy,
  author = {Petullo, W. Michael and Solworth, Jon A.},
  title = {The Lazy Kernel Hacker and Application Programmer},
  note = {Presentation at the 3rd ACM workshop on Runtime
	        Environments, Systems, Layering and Virtualized
	        Environments},
  month = mar,
  year = 2013,
  location = {Houston, Texas, USA},
  keywords = {invitedTalk, virtualization, operating system}
}
@unpublished{petullo13ethosNetAuthUnpub,
  author = {Petullo, W. Michael and Solworth, Jon A.},
  title = {Simple-to-use, Secure-by-design Networking in {E}thos},
  note = {Presentation at the 3rd ACM workshop on Runtime
	        Environments, Systems, Layering and Virtualized
	        Environments},
  month = mar,
  year = 2013,
  location = {Houston, Texas, USA},
  keywords = {invitedTalk, authorization, networking, operating system}
}
@inproceedings{petullo11ethosCertificates,
  author = {Petullo, W. Michael and Solworth, Jon A.},
  title = {Digital identity security architecture in {E}thos},
  booktitle = {Proceedings of the 7th ACM workshop on Digital Identity Management},
  series = {DIM '11},
  year = {2011},
  month = oct,
  isbn = {978-1-4503-1006-2},
  location = {Chicago, Illinois, USA},
  pages = {23--30},
  numpages = {8},
  acmid = {2046648},
  publisher = {ACM},
  address = {New York, NY, USA},
  keywords = {academic, accepted-11, authentication, authorization, certificate, digital identity, operating system},
  note = {(45\% acceptance rate)},
  url = {http://www.flyn.org/publications/2011-Ethos-Identity.pdf}
}
@misc{petullo12robustAppPoster,
  author = {Petullo, W. Michael and Solworth, Jon A.},
  title = {{R}ethinking Operating System Interfaces to Support Robust Applications},
  year = {2012},
  month = {May},
  howpublished = {Poster Session of the 2012 IEEE Symposium on Security and Privacy},
  url = {http://www.ieee-security.org/TC/SP2012/posters/Rethinking%20Operating%20System%20Interfaces.pdf},
  keywords = {academic, poster}
}
@misc{petullo12securityThroughSimplification,
  author = {Petullo, W. Michael and Solworth, Jon A.},
  title = {{T}he {Ethos} Project: Security Through Simplification},
  year = {2012},
  month = oct,
  howpublished = {Poster Session of the 2012 USENIX Symposium on Operating Systems Design and Implementation},
  keywords = {academic, poster}
}
@misc{petullo12helpJohnny,
  author = {Petullo, W. Michael},
  title = {Let's Help {J}ohnny Write Robust Applications},
  year = {2012},
  note = {Invited talk, December 3, University of Wisconsin--Madison},
  keywords = {invitedTalk}
}
@phdthesis{petullo13dissertation,
  author = {Petullo, W. Michael},
  title = {Rethinking Operating System Interfaces to Support Robust Network Applications},
  school = {University of Illinois at Chicago},
  year = 2013,
  address = {Chicago, IL, USA},
  month = may,
  keywords = {dissertation},
  url = {http://www.flyn.org/publications/2013-Petullo-Dissertation.pdf}
}
@article{petullo10openwrt,
  author = {Petullo, W. Michael},
  title = {Building custom firmware with {O}pen{W}rt},
  journal = {Linux Journal},
  issue_date = {August 2010},
  volume = {2010},
  number = {196},
  month = aug,
  year = {2010},
  pages = {56--61},
  issn = {1075-3583},
  articleno = {3},
  url = {http://www.linuxjournal.com/article/10687},
  acmid = {1883501},
  note = {Belltown Media},
  address = {Houston, TX, USA},
  keywords = {magazineArticle}
}
@article{petullo03encryptedHome,
  author = {Petullo, W. Michael},
  title = {Implementing encrypted home directories},
  journal = {Linux Journal},
  issue_date = {August 2003},
  volume = {2003},
  number = {112},
  month = aug,
  year = {2003},
  issn = {1075-3583},
  url = {http://www.linuxjournal.com/article/6481},
  acmid = {860398},
  note = {Belltown Media},
  address = {Houston, TX, USA},
  keywords = {magazineArticle}
}
@article{petullo05encryptedRoot,
  author = {Petullo, W. Michael},
  title = {Encrypt your root filesystem},
  journal = {Linux Journal},
  issue_date = {January 2005},
  volume = {2005},
  number = {129},
  month = jan,
  year = {2005},
  issn = {1075-3583},
  url = {http://www.linuxjournal.com/article/7743},
  acmid = {1044993},
  note = {Belltown Media},
  address = {Houston, TX, USA},
  keywords = {magazineArticle}
}
@article{petullo05gnomeJava,
  author = {Petullo, W. Michael},
  title = {Developing {GNOME} applications with {J}ava},
  journal = {Linux Journal},
  issue_date = {July 2005},
  volume = {2005},
  number = {135},
  month = jul,
  year = {2005},
  pages = {72--78},
  issn = {1075-3583},
  url = {http://www.linuxjournal.com/article/8111},
  acmid = {1072715},
  note = {Belltown Media},
  address = {Houston, TX, USA},
  keywords = {magazineArticle}
}
@article{petullo02videoProductionLinux,
  author = {Petullo, W. Michael},
  title = {Amateur Video Production Using Free Software and {L}inux},
  journal = {Linux Journal},
  issue_date = {May 2002},
  month = may,
  year = {2002},
  url = {http://www.linuxjournal.com/article/5817},
  note = {Belltown Media},
  address = {Houston, TX, USA},
  keywords = {magazineArticle}
}
@article{petullo08asterisk,
  author = {Petullo, W. Michael},
  title = {Open source telephony: a {F}edora-based {VoIP} server with {A}sterisk},
  journal = {Red Hat Magazine},
  issue_date = {July 2008},
  month = jul,
  year = {2008},
  url = {http://magazine.redhat.com/2008/07/24/open-source-telephony-a-fedora-based-voip-server-with-asterisk/},
  keywords = {magazineArticle}
}
@article{petullo08videoStreaming,
  author = {Petullo, W. Michael},
  title = {From camera to website: Building an open source video streamer},
  journal = {Red Hat Magazine},
  issue_date = {April 2008},
  month = apr,
  year = {2008},
  url = {http://magazine.redhat.com/2008/04/24/from-camera-to-website-building-an-open-source-video-streamer/},
  keywords = {magazineArticle}
}
@article{petullo08servingApples,
  author = {Petullo, W. Michael},
  title = {Serving {A}pples: Integrating {Mac OS X} clients into a {F}edora network},
  journal = {Red Hat Magazine},
  issue_date = {Jan 2008},
  month = jan,
  year = {2008},
  url = {http://magazine.redhat.com/2008/01/17/serving-apples-integrating-mac-os-x-clients-into-a-fedora-network/},
  keywords = {magazineArticle}
}
@article{petullo07fedoraEncryption,
  author = {Petullo, W. Michael},
  title = {Disk encryption in {F}edora: Past, present and future},
  journal = {Red Hat Magazine},
  issue_date = {Jan 2007},
  month = jan,
  year = {2007},
  url = {http://magazine.redhat.com/2007/01/18/disk-encryption-in-fedora-past-present-and-future/},
  keywords = {magazineArticle}
}
@article{petullo05halEncryption,
  author = {Petullo, W. Michael},
  title = {Adding encryption support to {HAL}: A user's experience with {F}edora development},
  journal = {Red Hat Magazine},
  issue_date = {Oct 2005},
  month = oct,
  year = {2005},
  url = {http://www.redhat.com/magazine/012oct05/features/hal/},
  keywords = {magazineArticle}
}
Email: www@flyn.org — ✉ 6110 Campfire Court; Columbia, Maryland 21045; USA