Publications

PhD Thesis: Protecting Systems From Exploits Using Language-Theoretic Security
BE Thesis: Code Compaction in LLVM IR

Vijay H. Kothari, Prashant Anantharaman, Sean W. Smith
Deconstructing security and privacy issues: The development of a logic for capturing mismorphisms
Cybersecurity and Cognitive Science
Elsevier
January 2022
Prashant Anantharaman et al.
Intent as a Secure Design Primitive
Modeling and Design of Secure Internet of Things
John Wiley and Sons, Inc.
I. Agadakos, Prashant Anantharaman et al.
Securing Smart Cities: Implications and Challenges
Modeling and Design of Secure Internet of Things
John Wiley and Sons, Inc.

Gabriela F Ciocarlie, Ioannis Agadakos, Chien-Ying Chen, Matteo Campanelli, Prashant Anantharaman, Monowar Hasan, Ulf Lindqvist, Michael Locasto, Bogdan Copos, Tancrède Lepoint, Matthew Filippone
Modeling cyber-physical attack paths in the internet-of-things
2020/5/21: US Patent number 16634591

Prashant Anantharaman, Steven Cheung, Nicholas Boorman, Michael E. Locasto
Format-Aware Reducer for Scriptable Rewriting of PDF File
Eighth Language-theoretic Security (LangSec) IEEE Security and Privacy Workshop.
May 2022
Vijay Kothari, Prashant Anantharaman, Sean Smith, Briland Hitaj, Prashanth Mundkur, Natarajan Shankar, Letitia Li, Iavor Diatchki and William Harris
Capturing the iccMAX calculatorElement: A Case Study on Format Design
Eighth Language-theoretic Security (LangSec) IEEE Security and Privacy Workshop.
May 2022

Zephyr S. Lucas, Joanna Y. Liu, Prashant Anantharaman, Sean W. Smith
Pegmatite: Parsing PEGs with Length Fields in Software and Hardware
Seventh Language-theoretic Security (LangSec) IEEE Security and Privacy Workshop.
May 2021.

Prashant Anantharaman*, Liwei Song*, Ioannis Agadakos, Bogdan Copos, Gabriela Ciocarlie, Ulf Lindqvist, Michael E. Locasto
IoTHound: Environment-agnostic Device Identification and Monitoring
10th International Conference on the Internet of Things (IoT 2020), Malmo, Sweden
Best Paper Award (Top 1 paper out of 84 submitted papers)
October 6-9th, 2020
*Equal Contributions
S. Ali, P. Anantharaman and S.W. Smith.
Armor Within: Defending against Vulnerabilities in Third-Party Libraries.
Sixth Language-theoretic Security (LangSec) IEEE Security and Privacy Workshop.
May 2020.
P. Mundkur, P. Anantharaman, S. Ali, L. Briesemeister, N. Shankar and S.W. Smith.
The Parsley Data Format Definition Language.
Sixth Language-theoretic Security (LangSec) IEEE Security and Privacy Workshop.
May 2020.
I.R. Jenkins, P. Anantharaman, R. Shapiro, J.P. Brady, S. Bratus and S.W. Smith.
Ghostbusting: Mitigating Spectre with Intraprocess Memory Isolation.
7th Annual Symposium and Bootcamp on Hot Topics in the Science of Security (HotSoS '20).
April 2020.

Prashant Anantharaman, Kartik Palani, Sean W. Smith
Scalable Identity and Key Management for Publish-Subscribe Protocols in the Internet-of-Things
9th International Conference on Internet of Things (IoT 2019), Bilbao, Spain 20 out of 84 papers selected.
October 22-25th, 2019
Nominated for the Best Paper Award, and received an Honorable Mention Award for the Top 3 papers (Top 3 papers out of 84 submitted papers)
Prashant Anantharaman, Vijay Kothari, J. Peter Brady, Ira Ray Jenkins, Sameed Ali, Michael C. Millian, Ross Koppel, Jim Blythe, Sergey Bratus, and Sean W. Smith
Mismorphism: The Heart of the Weird Machine
Twenty-seventh International Workshop on Security Protocols, Trinity College, Cambridge, UK
April 12--14th, 2019.
Vijay Kothari, Prashant Anantharaman, J. Peter Brady, Ira Ray Jenkins, Sameed Ali, Michael C. Millian, Ross Koppel, Jim Blythe, Sergey Bratus, and Sean W. Smith
Human-Computability Boundaries
Twenty-seventh International Workshop on Security Protocols, Trinity College, Cambridge, UK
April 12--14th, 2019.
Michael C. Millian, Prashant Anantharaman, Sergey Bratus, Sean W. Smith, Michael E. Locasto
A Roadmap for Converting an Electric Power Utility Network to Defend Against Crafted Input
Thirteenth Annual IFIP WG 11.10 International Conference on Critical Infrastructure Protection, Arlington, VA
March 11--12th, 2019.

Prashant Anantharaman*, Kartik Palani*, Galen Brown, Rafael Brantley, Sergey Bratus, and Sean W. Smith
PhasorSec: Protocol Security Filters for Wide Area Measurement Systems
* Equal Contributions
IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, Aalborg, Denmark
October 29-31st, 2018
Prashant Anantharaman, J. Peter Brady, Patrick Flathers, Vijay H. Kothari, Michael C. Millian, William G. Nisen, Jason Reeves, Nathan Reitinger, and Sean W. Smith
Going Dark: A Retrospective on the North American Blackout of 2038
New Security Paradigms Workshop, Windsor, UK
August 28–31, 2018

Ioannis Agadakos*, Chien-Ying Chen*, Matteo Campanelli*, Prashant Anantharaman*, Monowar Hasan*, Bogdan Copos*, Tancrede Lepoint, Michael Locasto, Gabriela F. Ciocarlie, Ulf Lindqvist
*Equal contributions
Jumping the Air Gap: Modeling Cyber-Physical Attack Paths in the Internet-of-Things
3rd ACM CCS Cyber-Physical Systems Security and Privacy Workshop 2017
Prashant Anantharaman, Michael M. Millian, Sergey Bratus, Meredith L. Patterson
Input Handling Done Right: Building Hardened Parsers using Language-theoretic Security
2nd IEEE Cybersecurity Development Conference, Boston, MA
September 24th, 2017
Prashant Anantharaman, Michael Locasto, Gabriela F. Ciocarlie, Ulf Lindqvist
Building Hardened Internet-of-Things Clients with Language-theoretic Security
4th Workshop on Language-Theoretic Security (LangSec) at the IEEE CS Security & Privacy Workshops
May 25th, 2017

Prashant Anantharaman, Kartik Palani, David Nicol, Sean W. Smith
I am Joe's Fridge: Scalable Identity in the Internet of Things
9th IEEE International Conference on Internet of Things, Chengdu, China
December 16-19th, 2016
Geethapriya R, Prashant Anantharaman, and Saswati Mukherjee
Proactive Resource Provisioning Model for Cloud Federation
12th International Conference on Distributed Computing and Internet Technology
January 2016
Prashant Anantharaman, Vinay Sreenivas, Lakshminarayan. R
Code Compaction in LLVM IR (Senior Thesis)
Dept. of Computer Science and Engineering, College of Engineering, Guindy, Chennai, India
TCS Best Project Award
May 2015

Prashant Anantharaman