Letitia W. Li

Orcid: 0000-0002-8373-6042

According to our database1, Letitia W. Li authored at least 18 papers between 2015 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
PDF Investigation With Parser Differentials and Ontology.
IEEE Trans. Inf. Forensics Secur., 2024

2023
Unsupervised clustering of file dialects according to monotonic decompositions of mixtures.
Proceedings of the 2023 IEEE Security and Privacy Workshops (SPW), 2023

Parser Weakness Enumeration: Definition and Preliminary Assessment.
Proceedings of the IEEE Secure Development Conference, 2023

2022
Multi-paradigm modeling for cyber-physical systems: A systematic mapping review.
J. Syst. Softw., 2022

Capturing the iccMAX calculatorElement: A Case Study on Format Design.
Proceedings of the 43rd IEEE Security and Privacy, 2022

Statistical detection of format dialects using the weighted Dowker complex.
Proceedings of the 43rd IEEE Security and Privacy, 2022

2021
Accessible Formal Methods for Verified Parser Development.
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.
Microprocess. Microsystems, 2019

Harmonizing Safety, Security and Performance Requirements in Embedded Systems.
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).
PhD thesis, 2018

Evolving Attacker Perspectives for Secure Embedded System Design.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Multi-level Latency Evaluation with an MDE Approach.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

2017
Security-aware Modeling and Analysis for HW/SW Partitioning.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

Formal and Virtual Multi-level Design Space Exploration.
Proceedings of the Model-Driven Engineering and Software Development, 2017

Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

Security Modeling for Embedded System Design.
Proceedings of the Graphical Models for Security - 4th International Workshop, 2017

2016
SysML Models and Model Transformation for Security.
Proceedings of the MODELSWARD 2016, 2016

2015
Hardware-assisted Memory Tracing on New SoCs Embedding FPGA Fabrics.
Proceedings of the 31st Annual Computer Security Applications Conference, 2015


  Loading...