HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:symbolic execution

Papers
Combining Static Analysis and Dynamic Symbolic Execution in a Toolchain to detect Fault Injection Vulnerabilities
Guilhem Lacombe, David Féliot, Etienne Boespflug and Marie-Laure Potet
In:Proceedings of 10th International Workshop on Security Proofs for Embedded Systems
A Vulnerability Detection Framework for Hyperledger Fabric Smart Contracts Based on Dynamic and Static Analysis
Peiru Li, Shanshan Li, Mengjie Ding, Jiapeng Yu, He Zhang, Xin Zhou and Jingyue Li
EasyChair Preprint no. 8161
Copyright © 2012-2023 easychair.org. All rights reserved.