Filter your results
- 9
- 5
- 10
- 4
- 14
- 2
- 1
- 2
- 2
- 7
- 14
- 14
- 1
- 14
- 4
- 3
- 2
- 2
- 1
- 1
|
|
sorted by
|
|
LTL Model Checking for Communicating Concurrent ProgramsInnovations in Systems and Software Engineering, 2020
Journal articles
hal-03033654v1
|
||
|
Register Automata for Malware Specificationhe 17th International Conference on Availability, Reliability and Security, 2022, Vienna, Austria
Conference papers
hal-03863310v1
|
||
|
Model Checking Dynamic Pushdown Networks with Locks and PrioritiesNETYS, May 2018, Essaouira, Morocco. ⟨10.1007/978-3-030-05529-5_16⟩
Conference papers
hal-03902461v1
|
||
Precise Extraction of Malicious Behaviors.compsac, 2018, Tokyo, Japan
Conference papers
hal-03902468v1
|
|||
|
Model-Checking HyperLTL for Pushdown SystemsModel Checking Software - 25th International Symposium SPIN 2018, Jun 2018, Malaga, Spain. ⟨10.1007/978-3-319-94111-0_8⟩
Conference papers
hal-03902458v1
|
||
LTL Model Checking of Self Modifying Code.ICECCS, 2019, Guangzhou, China
Conference papers
hal-03902471v1
|
|||
|
CTL Model Checking of Self Modifying CodeProceedings of the 25th INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2020), 2020
Journal articles
hal-03034019v1
|
||
|
Branching Temporal Logic of Calls and Returns for Pushdown Systems14th International Conference Integrated Formal Methods (IFM 2018 ), Sep 2018, Maynooth, Ireland. ⟨10.1007/978-3-319-98938-9_19⟩
Conference papers
hal-03902463v1
|
||
STAMAD: a STAtic MAlware Detector.ARES, 2019, Canterbury, United Kingdom
Conference papers
hal-03902472v1
|
|||
|
LTL Model Checking for Communicating Concurrent Programs12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2018), Sep 2018, Grenoble, France. ⟨10.1007/s11334-020-00363-6⟩
Conference papers
hal-03902460v1
|
||
BCARET Model Checking for Malware Detection.ICTAC, 2018, Hammamet, Tunisia
Conference papers
hal-03902469v1
|
|||
Learning Malware Using Generalized Graph Kernels.Ares, 2018, Hamburg, Germany
Conference papers
hal-03902466v1
|
|||
|
MADLIRA -a tool for Android malware detectionProceedings of the International Conference on Information Systems Security and Privacy (ICISSP 2021), 2021
Journal articles
hal-03064454v1
|
||
|
LTL Model Checking of Self Modifying CodeFormal Methods in System Design, In press
Journal articles
hal-03863361v1
|