Author of the publication

Specification-Based Symbolic Execution for Stateful Network Protocol Implementations in IoT.

, , and . IEEE Internet Things J., 10 (11): 9544-9555 (June 2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Automated Detection of Spatial Memory Safety Violations for Constrained Devices., , and . ASP-DAC, page 160-165. IEEE, (2022)3D Visualization of Symbolic Execution Traces., , , and . FDL, page 1-8. IEEE, (2022)SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification., , and . ATVA, volume 13505 of Lecture Notes in Computer Science, page 77-82. Springer, (2022)Towards Quantification and Visualization of the Effects of Concretization During Concolic Testing., , and . IEEE Embed. Syst. Lett., 14 (4): 195-198 (2022)Specification-Based Symbolic Execution for Stateful Network Protocol Implementations in IoT., , and . IEEE Internet Things J., 10 (11): 9544-9555 (June 2023)An Effective Methodology for Integrating Concolic Testing with SystemC-based Virtual Prototypes., , and . DATE, page 218-221. IEEE, (2021)Adaptive Simulation with Virtual Prototypes for RISC-V: Switching Between Fast and Accurate at Runtime., , , and . ICCD, page 312-315. IEEE, (2020)Towards Reliable Spatial Memory Safety for Embedded Software by Combining Checked C with Concolic Testing., , and . DAC, page 667-672. IEEE, (2021)RIOT-POLICE: An implementation of spatial memory safety for the RIOT operating system., and . CoRR, (2020)SymEx-VP: An open source virtual prototype for OS-agnostic concolic testing of IoT firmware., , and . J. Syst. Archit., (2022)