Michael E. Locasto

101 papers A* 3A 20B 5C 9Misc 2Journal 26Unranked 34

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	A Study of Interoperability in Electronic Health Record Software. HealthSec@CCS Prashant Anantharaman, Rebecca Shapiro, Vishnupriya Varadharaju, Michael E. Locasto
2024	J	`jnl`	The HTTP Garden: Discovering Parsing Vulnerabilities in HTTP/1.1 Implementations by Differential Fuzzing of Request Streams. CoRR Ben Kallus, Prashant Anantharaman, Michael E. Locasto, Sean W. Smith
2024	—	`conf`	Weird Machines in Package Managers: A Case Study of Input Language Complexity and Emergent Execution in Software Systems. SP (Workshops) Sameed Ali, Michael E. Locasto, Sean W. Smith
2023	—	`conf`	PolyDoc: Surveying PDF Files from the PolySwarm network. SP (Workshops) Prashant Anantharaman, Robert Lathrop, Rebecca Shapiro, Michael E. Locasto
2022	—	`conf`	A Format-Aware Reducer for Scriptable Rewriting of PDF Files. SP (Workshops) Prashant Anantharaman, Steven Cheung, Nicholas Boorman, Michael E. Locasto
2021	—	`conf`	A Communications Validity Detector for SCADA Networks. Critical Infrastructure Protection Prashant Anantharaman, Anmol Chachra, Shikhar Sinha, Michael C. Millian, Bogdan Copos, Sean W. Smith, Michael E. Locasto
2021	—	`conf`	Cyber Security Awareness Requirements for Operational Technology Systems. Critical Infrastructure Protection Tim Ellis, David M. Balenson, Michael E. Locasto
2020	—	`conf`	Cyber State Requirements for Design and Validation of Trust in the Critical Transportation Infrastructure. Critical Infrastructure Protection Tim Ellis, Michael E. Locasto, David M. Balenson
2020	—	`conf`	IoTHound: environment-agnostic device identification and monitoring. IOT Prashant Anantharaman, Liwei Song, Ioannis Agadakos, Gabriela F. Ciocarlie, Bogdan Copos, Ulf Lindqvist, Michael E. Locasto
2020	—	`conf`	Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables. ACNS (2) Karim Eldefrawy, Michael E. Locasto, Norrathep Rattanavipanon, Hassen Saïdi
2020	J	`jnl`	Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables: Extended Version. CoRR Karim Eldefrawy, Michael E. Locasto, Norrathep Rattanavipanon, Hassen Saïdi
2019	—	`conf`	A Comparative Analysis Approach for Deriving Failure Scenarios in the Natural Gas Distribution Infrastructure. Critical Infrastructure Protection Michael E. Locasto, David M. Balenson
2019	—	`conf`	Converting an Electric Power Utility Network to Defend Against Crafted Inputs. Critical Infrastructure Protection Michael C. Millian, Prashant Anantharaman, Sergey Bratus, Sean W. Smith, Michael E. Locasto
2018	A	`conf`	Integrating Hands-on Cybersecurity Exercises into the Curriculum in 2018: (Abstract Only). SIGCSE Richard Weiss, Ambareen Siraj, Jens Mache, Blair Taylor, Siddharth Kaza, Ankur Chattopadhyay, Michael E. Locasto
2018	C	`conf`	Risks and Benefits of Side-Channels in Battlefields. FUSION Ioannis Agadakos, Gabriela F. Ciocarlie, Bogdan Copos, Tancrède Lepoint, Ulf Lindqvist, Michael E. Locasto, James R. Michaelis
2017	—	`conf`	Building Hardened Internet-of-Things Clients with Language-Theoretic Security. IEEE Symposium on Security and Privacy Workshops Prashant Anantharaman, Michael E. Locasto, Gabriela F. Ciocarlie, Ulf Lindqvist
2017	A	`conf`	Building and Supporting a Community of CS Educators Teaching Cybersecurity in 2017 (Abstract Only). SIGCSE Richard S. Weiss, Ambareen Siraj, Jens Mache, Elizabeth K. Hawthorne, Blair Taylor, Siddharth Kaza, Michael E. Locasto
2017	J	`jnl`	Curing the Vulnerable Parser: Design Patterns for Secure Input Handling. login Usenix Mag. Sergey Bratus, Lars Hermerschmidt, Sven M. Hallberg, Michael E. Locasto, Falcon Momot, Meredith L. Patterson, Anna Shubina
2017	J	`jnl`	Cybersecurity Education and Assessment in EDURange. IEEE Secur. Priv. Richard S. Weiss, Franklyn A. Turbak, Jens Mache, Michael E. Locasto
2017	A	`conf`	Hands-on Cybersecurity Exercises That are Easy to Access and Assess (Abstract Only). SIGCSE Richard S. Weiss, Jens Mache, Michael E. Locasto, Franklyn A. Turbak
2017	—	`conf`	Jumping the Air Gap: Modeling Cyber-Physical Attack Paths in the Internet-of-Things. CPS-SPC@CCS Ioannis Agadakos, Chien-Ying Chen, Matteo Campanelli, Prashant Anantharaman, Monowar Hasan, Bogdan Copos, Tancrède Lepoint, Michael E. Locasto, Gabriela F. Ciocarlie, Ulf Lindqvist
2017	—	`conf`	Live Lesson: The EDURange Framework and a Movie-themed Exercise in Network Reconnaissance. ASE @ USENIX Security Symposium Richard S. Weiss, Jens Mache, Michael E. Locasto
2016	A	`conf`	A Reflective Approach to Assessing Student Performance in Cybersecurity Exercises. SIGCSE Richard S. Weiss, Michael E. Locasto, Jens Mache
2016	A	`conf`	A Survey of Ethical Agreements in Information Security Courses. SIGCSE Benedict Chukuka, Michael E. Locasto
2016	A	`conf`	Assessment of Security Knowledge, Skills and Abilities using Hands-On Exercises in 2016 (Abstract Only). SIGCSE Richard Weiss, Michael E. Locasto, Jens Mache, Blair Taylor, Elizabeth K. Hawthorne, Siddharth Kaza, Ambareen Siraj
2016	—	`conf`	Finding the Balance Between Guidance and Independence in Cybersecurity Exercises. ASE @ USENIX Security Symposium Richard S. Weiss, Franklyn A. Turbak, Jens Mache, Erik Nilsen, Michael E. Locasto
2016	J	`jnl`	Hands-on cybersecurity exercises for introductory classes: tutorial presentation. J. Comput. Sci. Coll. Richard Weiss, Jeffrey Ladish, Jens Mache, Michael E. Locasto
2016	—	`conf`	In Search of Shotgun Parsers in Android Applications. IEEE Symposium on Security and Privacy Workshops Katherine Underwood, Michael E. Locasto
2015	A	`conf`	Teaching Cybersecurity Analysis Skills in the Cloud. SIGCSE Richard S. Weiss, Stefan Boesen, James F. Sullivan, Michael E. Locasto, Jens Mache, Erik Nilsen
2015	A	`conf`	Teaching Security Using Hands-on Exercises in 2015 (Abstract Only). SIGCSE Richard S. Weiss, Michael E. Locasto, Jens Mache, Blair Taylor, Elizabeth K. Hawthorne, Justin Cappos, Ambareen Siraj
2014	—	`ch.`	'Weird Machine' Patterns. Cyberpatterns Sergey Bratus, Julian Bangert, Alexandar Gabrovsky, Anna Shubina, Michael E. Locasto, Daniel Bilar
2014	—	`conf`	An Experience Report on Extracting and Viewing Memory Events via Wireshark. WOOT Sarah Laing, Michael E. Locasto, John Aycock
2014	J	`jnl`	Beyond Planted Bugs in "Trusting Trust": The Input-Processing Frontier. IEEE Secur. Priv. Sergey Bratus, Trey Darley, Michael E. Locasto, Meredith L. Patterson, Rebecca Shapiro, Anna Shubina
2014	—	`conf`	EDURange: Meeting the Pedagogical Challenges of Student Participation in Cybertraining Environments. CSET Stefan Boesen, Richard S. Weiss, James F. Sullivan, Michael E. Locasto, Jens Mache, Erik Nilsen
2014	J	`jnl`	EDURange: hands-on cybersecurity exercises in the cloud. J. Comput. Sci. Coll. Richard Weiss, Jens Mache, Michael E. Locasto
2014	A	`conf`	Hands-on cybersecurity exercises in the EDURange framework (abstract only). SIGCSE Richard S. Weiss, Jens Mache, Michael E. Locasto, Vincent Nestler
2014	C	`conf`	Panel Summary: The Future of Software Regulation. NSPW Benjamin Edwards, Michael E. Locasto, Jeremy Epstein
2014	A	`conf`	Teaching security using hands-on exercises (abstract only). SIGCSE Richard S. Weiss, Michael E. Locasto, Jens Mache, Elizabeth K. Hawthorne, Justin Cappos
2014	—	`conf`	Verifying security patches. PSP Jonathan Gallagher, Robin Gonzalez, Michael E. Locasto
2014	J	`jnl`	Why Offensive Security Needs Engineering Textbooks: Or, How to Avoid a Replay of "Crypto Wars" in Security Research. login Usenix Mag. Sergey Bratus, Iván Arce, Michael E. Locasto, Stefano Zanero
2014	J	`jnl`	Why Wassenaar Arrangement's Definitions of "Intrusion Software" and "Controlled Items" Put Security Research and Defense At Risk. login Usenix Mag. Sergey Bratus, Michael E. Locasto, Anna Shubina
2013	B	`ed.`	Applied Cryptography and Network Security - 11th International Conference, ACNS 2013, Banff, AB, Canada, June 25-28, 2013. Proceedings ACNS Michael J. Jacobson Jr., Michael E. Locasto, Payman Mohassel, Reihaneh Safavi-Naini
2013	A	`conf`	Hands-on cybersecurity exercises and the rave virtual environment (abstract only). SIGCSE Richard S. Weiss, Vincent Nestler, Michael E. Locasto, Jens Mache, Brian Hay
2013	J	`jnl`	Security Applications of Formal Language Theory. IEEE Syst. J. Len Sassaman, Meredith L. Patterson, Sergey Bratus, Michael E. Locasto
2013	J	`jnl`	Teaching cybersecurity through games: a cloud-based approach. J. Comput. Sci. Coll. Richard Weiss, Michael E. Locasto, Jens Mache, Vincent Nestler
2013	A	`conf`	Teaching security using hands-on exercises (abstract only). SIGCSE Richard S. Weiss, Michael E. Locasto, Jens Mache, Blair Taylor, Elizabeth K. Hawthorne
2012	C	`conf`	// TODO: Help students improve commenting practices. FIE Peter J. DePasquale, Michael E. Locasto, Lisa C. Kaczmarczyk, Mike Martinovic
2012	—	`conf`	Babel: a secure computer is a polyglot. CCSW John Aycock, Daniel Medeiros Nunes de Castro, Michael E. Locasto, Chris Jarabek
2012	A	`conf`	Hacking and the security curriculum: building community (abstract only). SIGCSE Richard S. Weiss, Michael E. Locasto, Jens Mache
2012	A	`conf`	Identifying effective pedagogical practices for commenting computer source code (abstract only). SIGCSE Peter DePasquale, Michael E. Locasto, Lisa C. Kaczmarczyk
2012	J	`jnl`	Intrusion detection for resource-constrained embedded control systems in the power grid. Int. J. Crit. Infrastructure Prot. Jason Reeves, Ashwin Ramaswamy, Michael E. Locasto, Sergey Bratus, Sean W. Smith
2012	—	`conf`	LoSt: location based storage. CCSW Gaven J. Watson, Reihaneh Safavi-Naini, Mohsen Alimomeni, Michael E. Locasto, Shivaramakrishnan Narayan
2012	—	`conf`	Software Diversity: Security, Entropy and Game Theory. HotSec Saran Neti, Anil Somayaji, Michael E. Locasto
2011	J	`jnl`	A Failure-Based Discipline of Trustworthy Information Systems. IEEE Secur. Priv. Michael E. Locasto, Matthew C. Little
2011	—	`ch.`	CPU Denial of Service. Encyclopedia of Cryptography and Security (2nd Ed.) Michael E. Locasto
2011	J	`jnl`	Exploit Programming: From Buffer Overflows to "Weird Machines" and Theory of Computation. login Usenix Mag. Sergey Bratus, Michael E. Locasto, Meredith L. Patterson, Len Sassaman, Anna Shubina
2011	—	`conf`	Lightweight Intrusion Detection for Resource-Constrained Embedded Control Systems. Critical Infrastructure Protection Jason Reeves, Ashwin Ramaswamy, Michael E. Locasto, Sergey Bratus, Sean W. Smith
2011	—	`conf`	Multimodal complex event detection framework for wide area surveillance. CVPR Workshops Himaanshu Gupta, Li Yu, Asaad Hakeem, Tae Eun Choe, Niels Haering, Michael E. Locasto
2011	C	`conf`	Security and privacy considerations in digital death. NSPW Michael E. Locasto, Michael Massimi, Peter DePasquale
2011	J	`jnl`	The ephemeral legion: producing an expert cyber-security work force from thin air. Commun. ACM Michael E. Locasto, Anup K. Ghosh, Sushil Jajodia, Angelos Stavrou
2011	A	`ed.`	Twenty-Seventh Annual Computer Security Applications Conference, ACSAC 2011, Orlando, FL, USA, 5-9 December 2011 ACSAC Robert H'obbes' Zakon, John P. McDermott, Michael E. Locasto
2011	—	`conf`	Using Active Intrusion Detection to Recover Network Trust. LISA John F. Williamson, Sergey Bratus, Michael E. Locasto
2010	B	`conf`	Katana: A Hot Patching Framework for ELF Executables. ARES Ashwin Ramaswamy, Sergey Bratus, Sean W. Smith, Michael E. Locasto
2010	J	`jnl`	Katana: Towards Patching as a Runtime Part of the Compiler-Linker-Loader Toolchain. Int. J. Secur. Softw. Eng. Sergey Bratus, James Oakley, Ashwin Ramaswamy, Sean W. Smith, Michael E. Locasto
2010	J	`jnl`	On the General Applicability of Instruction-Set Randomization. IEEE Trans. Dependable Secur. Comput. Stephen W. Boyd, Gaurav S. Kc, Michael E. Locasto, Angelos D. Keromytis, Vassilis Prevelakis
2010	J	`jnl`	On the infeasibility of modeling polymorphic shellcode - Re-thinking the role of learning in intrusion detection systems. Mach. Learn. Yingbo Song, Michael E. Locasto, Angelos Stavrou, Angelos D. Keromytis, Salvatore J. Stolfo
2010	—	`conf`	SegSlice: Towards a New Class of Secure Programming Primitives for Trustworthy Platforms. TRUST Sergey Bratus, Michael E. Locasto, Brian Schulte
2010	J	`jnl`	Teaching students effective practices for commenting computer source code: tutorial presentation. J. Comput. Sci. Coll. Peter J. DePasquale, Michael E. Locasto
2010	A	`conf`	Teaching the principles of the hacker curriculum to undergraduates. SIGCSE Sergey Bratus, Anna Shubina, Michael E. Locasto
2010	C	`conf`	VM-based security overkill: a lament for applied systems security research. NSPW Sergey Bratus, Michael E. Locasto, Ashwin Ramaswamy, Sean W. Smith
2009	A	`conf`	Adaptive Anomaly Detection via Self-calibration and Dynamic Updating. RAID Gabriela F. Cretu-Ciocarlie, Angelos Stavrou, Michael E. Locasto, Salvatore J. Stolfo
2009	J	`jnl`	Bickering In-Depth: Rethinking the Composition of Competing Security Systems. IEEE Secur. Priv. Michael E. Locasto, Sergey Bratus, Brian Schulte
2009	—	`conf`	Dartmouth Internet Security Testbed (DIST): Building a Campus-wide Wireless Testbed. CSET Sergey Bratus, David Kotz, Keren Tan, William Taylor, Anna Shubina, Bennet Vance, Michael E. Locasto
2009	J	`jnl`	Helping Students 0wn Their Own Code. IEEE Secur. Priv. Michael E. Locasto
2009	—	`conf`	Keep your friends close: the necessity for updating an anomaly sensor with legitimate environment changes. AISec Angelos Stavrou, Gabriela F. Cretu-Ciocarlie, Michael E. Locasto, Salvatore J. Stolfo
2009	—	`conf`	Pushing Boulders Uphill: The Difficulty of Network Intrusion Recovery. LISA Michael E. Locasto, Matthew Burnside, Darrell Bethea
2009	—	`conf`	The cake is a lie: privilege rings as a policy resource. VMSec@CCS Sergey Bratus, Peter C. Johnson, Ashwin Ramaswamy, Sean W. Smith, Michael E. Locasto
2008	A*	`conf`	Casting out Demons: Sanitizing Training Data for Anomaly Sensors. SP Gabriela F. Cretu, Angelos Stavrou, Michael E. Locasto, Salvatore J. Stolfo, Angelos D. Keromytis
2008	Misc	`conf`	Online Network Forensics for Automatic Repair Validation. IWSEC Michael E. Locasto, Matthew Burnside, Angelos D. Keromytis
2008	B	`conf`	Pushback for Overlay Networks: Protecting Against Malicious Insiders. ACNS Angelos Stavrou, Michael E. Locasto, Angelos D. Keromytis
2008	Misc	`conf`	Return Value Predictability Profiles for Self-healing. IWSEC Michael E. Locasto, Angelos Stavrou, Gabriela F. Cretu, Angelos D. Keromytis, Salvatore J. Stolfo
2008	J	`jnl`	The Hidden Difficulties of Watching and Rebuilding Networks. IEEE Secur. Priv. Michael E. Locasto, Angelos Stavrou
2008	—	`conf`	Traps, events, emulation, and enforcement: managing the yin and yang of virtualization-based security. VMSec Sergey Bratus, Michael E. Locasto, Ashwin Ramaswamy, Sean W. Smith
2007	—	`conf`	From STEM to SEAD: Speculative Execution for Automated Defense. USENIX ATC Michael E. Locasto, Angelos Stavrou, Gabriela F. Cretu, Angelos D. Keromytis
2007	A*	`conf`	On the infeasibility of modeling polymorphic shellcode. CCS Yingbo Song, Michael E. Locasto, Angelos Stavrou, Angelos D. Keromytis, Salvatore J. Stolfo
2007	A	`conf`	SSARES: Secure Searchable Automated Remote Email Storage. ACSAC Adam J. Aviv, Michael E. Locasto, Shaya Potter, Angelos D. Keromytis
2007	C	`conf`	Self-healing: science, engineering, and fiction. NSPW Michael E. Locasto
2007	—	`conf`	ShieldGen: Automatic Data Patch Generation for Unknown Vulnerabilities with Informed Probing. S&P Weidong Cui, Marcus Peinado, Helen J. Wang, Michael E. Locasto
2007	C	`conf`	The future of biologically-inspired security: is there anything left to learn? NSPW Anil Somayaji, Michael E. Locasto, Jan Feyereisl
2006	C	`conf`	Dark application communities. NSPW Michael E. Locasto, Angelos Stavrou, Angelos D. Keromytis
2006	A*	`conf`	Software Self-Healing Using Collaborative Application Communities. NDSS Michael E. Locasto, Stelios Sidiroglou, Angelos D. Keromytis
2006	B	`conf`	W3Bcrypt: Encryption as a Stylesheet. ACNS Angelos Stavrou, Michael E. Locasto, Angelos D. Keromytis
2005	—	`conf`	Building a Reactive Immune System for Software Services. USENIX ATC, General Track Stelios Sidiroglou, Michael E. Locasto, Stephen W. Boyd, Angelos D. Keromytis
2005	A	`conf`	FLIPS: Hybrid Adaptive Intrusion Prevention. RAID Michael E. Locasto, Ke Wang, Angelos D. Keromytis, Salvatore J. Stolfo
2005	J	`jnl`	Hardware support for self-healing software services. SIGARCH Comput. Archit. News Stelios Sidiroglou, Michael E. Locasto, Angelos D. Keromytis
2005	A	`conf`	Highlights from the 2005 New Security Paradigms Workshop. ACSAC Simon N. Foley, Abe Singer, Michael E. Locasto, Stelios Sidiroglou, Angelos D. Keromytis, John P. McDermott, Julie Thorpe, Paul C. van Oorschot, Anil Somayaji, Richard Ford, Mark Bush, Alex Boulatov
2005	C	`conf`	Speculative virtual verification: policy-constrained speculative execution. NSPW Michael E. Locasto, Stelios Sidiroglou, Angelos D. Keromytis
2004	B	`conf`	CamouflageFS: Increasing the Effective Key Length in Cryptographic Filesystems on the Cheap. ACNS Michael E. Locasto, Angelos D. Keromytis
2003	J	`jnl`	Using the web to enhance and transform education. ACM Crossroads Michael Hulme, Michael E. Locasto
2002	J	`jnl`	Clay: synchronous collaborative interactive environment. J. Comput. Sci. Coll. Michael E. Locasto, Michael Hulme, Ryan Gladysiweicz, Justin Tracy, Ursula Wolz
2001	J	`jnl`	JDBAssist: generating JavaBeans and supporting 3-tier enterprise applications. J. Comput. Sci. Coll. Alan Audick, Michael E. Locasto, David Pike