Letitia W. Li

According to our database, Letitia W. Li authored at least 17 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Unsupervised clustering of file dialects according to monotonic decompositions of mixtures.

Michael Robinson, Tate Altman, Denley Lam, Letitia W. Li

Proceedings of the 2023 IEEE Security and Privacy Workshops (SPW), 2023

Parser Weakness Enumeration: Definition and Preliminary Assessment.

Denley Lam, Letitia W. Li, Anthony Gabrielson

Proceedings of the IEEE Secure Development Conference, 2023

2022

Multi-paradigm modeling for cyber-physical systems: A systematic mapping review.

Ankica Barisic, Ivan Ruchkin, Dusan Savic, Mustafa Abshir Mohamed, Rima Al Ali, Letitia W. Li, Hana Mkaouar, Raheleh Eslampanah, Moharram Challenger, Dominique Blouin, Oksana Nikiforova, Antonio Cicchetti

J. Syst. Softw., 2022

Capturing the iccMAX calculatorElement: A Case Study on Format Design.

Vijay H. Kothari, Prashant Anantharaman, Sean W. Smith, Briland Hitaj, Prashanth Mundkur, Natarajan Shankar, Letitia W. Li, Iavor Diatchki, William Harris

Proceedings of the 43rd IEEE Security and Privacy, 2022

Statistical detection of format dialects using the weighted Dowker complex.

Michael Robinson, Cory Anderson, Letitia W. Li, Steve Huntsman

Proceedings of the 43rd IEEE Security and Privacy, 2022

2021

Accessible Formal Methods for Verified Parser Development.

Letitia W. Li, Greg Eakman, Elias J. M. Garcia, Sam Atman

Proceedings of the IEEE Security and Privacy Workshops, 2021

2019

High-level modeling of communication-centric applications: Extensions to a system-level design and virtual prototyping tool.

Daniela Genius, Ludovic Apvrille, Letitia W. Li

Microprocess. Microsystems, 2019

Harmonizing Safety, Security and Performance Requirements in Embedded Systems.

Ludovic Apvrille, Letitia W. Li

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018

Safe and secure model-driven design for embedded systems. (Approche orientée modèles pour la sûreté et la sécurité des systèmes embarqués).

Letitia W. Li

PhD thesis, 2018

Evolving Attacker Perspectives for Secure Embedded System Design.

Letitia W. Li, Florian Lugou, Ludovic Apvrille

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Multi-level Latency Evaluation with an MDE Approach.

Daniela Genius, Letitia W. Li, Ludovic Apvrille, Tullio Tanzi

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

2017

Security-aware Modeling and Analysis for HW/SW Partitioning.

Letitia W. Li, Florian Lugou, Ludovic Apvrille

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

Formal and Virtual Multi-level Design Space Exploration.

Letitia W. Li, Daniela Genius, Ludovic Apvrille

Proceedings of the Model-Driven Engineering and Software Development, 2017

Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design.

Daniela Genius, Letitia W. Li, Ludovic Apvrille

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

Security Modeling for Embedded System Design.

Letitia W. Li, Florian Lugou, Ludovic Apvrille

Proceedings of the Graphical Models for Security - 4th International Workshop, 2017

2016

SysML Models and Model Transformation for Security.

Florian Lugou, Letitia W. Li, Ludovic Apvrille, Rabéa Ameur-Boulifa

Proceedings of the MODELSWARD 2016, 2016

2015

Hardware-assisted Memory Tracing on New SoCs Embedding FPGA Fabrics.

Letitia W. Li, Guillaume Duc, Renaud Pacalet

Proceedings of the 31st Annual Computer Security Applications Conference, 2015