Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

17 résultats
Page :
triés par
Image document

Preventing Serialization Vulnerabilities through Transient Field Detection

 Pierre Graux , Jean-François Lalande , Valérie Viet Triem Tong , Pierre Wilke
SAC 2021 - 36th ACM/SIGAPP Symposium On Applied Computing, Mar 2021, Gwangju / Virtual, South Korea. pp.1-9
Communication dans un congrès hal-03066847v1
Image document

OATs’inside : Retrieving Object Behaviors From Native-based Obfuscated Android Applications

 Pierre Graux , Jean-François Lalande , Valérie Viet Triem Tong , Pierre Wilke
Digital Threats: Research and Practice, 2023, 4 (2), pp.1-27. ⟨10.1145/3584975⟩
Article dans une revue hal-04279351v1
Image document

An abstract stack based approach to verified compositional compilation to machine code

 Yuting Wang , Pierre Wilke , Zhong Shao
Proceedings of the ACM on Programming Languages, 2019, 3 (62), pp.30. ⟨10.1145/3290375⟩
Article dans une revue hal-02018168v1
Image document

CompCertS: A Memory-Aware Verified C Compiler using Pointer as Integer Semantics

 Frédéric Besson , Sandrine Blazy , Pierre Wilke
ITP 2017 - 8th International Conference on Interactive Theorem Proving, Sep 2017, Brasilia, Brazil. pp.81-97, ⟨10.1007/978-3-319-66107-0_6⟩
Communication dans un congrès hal-01656875v1
Image document

Evasive Windows Malware: Impact on Antiviruses and Possible Countermeasures

 Cédric Herzog , Valérie Viet Triem Tong , Pierre Wilke , Arnaud van Straaten , Jean-Louis Lanet
SECRYPT 2020 - 17th International Conference on Security and Cryptography, Jul 2020, Lieusaint - Paris, France. pp.302-309, ⟨10.5220/0009816703020309⟩
Communication dans un congrès hal-02949067v1
Image document

A generic framework to develop and verify security mechanisms at the microarchitectural level: application to control-flow integrity

 Matthieu Baty , Pierre Wilke , Guillaume Hiet , Arnaud Fontaine , Alix Trieu
CSF 2023 - 36th IEEE Computer Security Foundations Symposium, Jul 2023, Dubrovnik, France. pp.1-16
Communication dans un congrès hal-04118645v1
Image document

A Precise and Abstract Memory Model for C Using Symbolic Values

 Frédéric Besson , Sandrine Blazy , Pierre Wilke
12th Asian Symposium on Programming Languages and Systems (APLAS 2014), 2014, Singapore, Singapore. pp.449 - 468, ⟨10.1007/978-3-319-12736-1_24⟩
Communication dans un congrès hal-01093312v1
Image document

Debiasing Android Malware Datasets: How Can I Trust Your Results If Your Dataset Is Biased?

 Tomás Concepción Miranda , Pierre-Francois Gimenez , Jean-François Lalande , Valérie Viet Triem Tong , Pierre Wilke
IEEE Transactions on Information Forensics and Security, 2022, 17, pp.2182-2197. ⟨10.1109/tifs.2022.3180184⟩
Article dans une revue hal-03700082v1
Image document

CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files

 Yuting Wang , Xiangzhen Xu , Pierre Wilke , Zhong Shao
OOPSLA 2020 : Conference on Object-Oriented Programming Systems, Languages,and Applications, Nov 2020, Chicago, United States. pp.1-28
Communication dans un congrès hal-03114583v1
Image document

Isolating malicious code in Android malware in the wild

 Valérie Viet Triem Tong , Cédric Herzog , Tomás Concepción Miranda , Pierre Graux , Jean-François Lalande , et al.
MALCON 2019 - 14th International Conference on Malicious and Unwanted Software, Oct 2019, Nantucket, United States
Communication dans un congrès hal-02288116v1
Image document

Compiling Sandboxes: Formally Verified Software Fault Isolation

 Frédéric Besson , Sandrine Blazy , Alexandre Dang , Thomas Jensen , Pierre Wilke
ESOP 2019 - 28th European Symposium on Programming, Apr 2019, Prague, Czech Republic. pp.499-524, ⟨10.1007/978-3-030-17184-1_18⟩
Communication dans un congrès hal-02316189v1
Image document

Malware Windows Evasifs : Impact sur les Antivirus et Possible Contre-mesure

 Cédric Herzog , Valérie Viet Triem Tong , Pierre Wilke , Jean-Louis Lanet
C&ESAR 2020 - Computer & Electronics Security Applications Rendez-vous, Dec 2020, Rennes, France
Communication dans un congrès hal-03139240v1
Image document

Abusing Android Runtime for Application Obfuscation

 Pierre Graux , Jean-François Lalande , Pierre Wilke , Valérie Viet Triem Tong
SAD 2020 - Workshop on Software Attacks and Defenses, Sep 2020, Genova, Italy. pp.616-624, ⟨10.1109/EuroSPW51379.2020.00089⟩
Communication dans un congrès hal-02877815v1
Image document

A Concrete Memory Model for CompCert

 Frédéric Besson , Sandrine Blazy , Pierre Wilke
ITP 2015 : 6th International Conference on Interactive Theorem Proving, Aug 2015, Nanjing, China. pp.67-83, ⟨10.1007/978-3-319-22102-1_5⟩
Communication dans un congrès hal-01194549v1
Image document

A Verified CompCert Front-End for a Memory Model Supporting Pointer Arithmetic and Uninitialised Data

 Frédéric Besson , Sandrine Blazy , Pierre Wilke
Journal of Automated Reasoning, 2019, 62 (4), pp.433-480. ⟨10.1007/s10817-017-9439-z⟩
Article dans une revue hal-01656895v1
Image document

DaViz: Visualization for Android Malware Datasets

 Tomás Concepción Miranda , Jean-François Lalande , Valérie Viet Triem Tong , Pierre Wilke
RESSI 2022 - Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2022, Chambon-sur-Lac, France. pp.1-3
Communication dans un congrès hal-03709062v1
Image document

CompCertS: A Memory-Aware Verified C Compiler using a Pointer as Integer Semantics

 Frédéric Besson , Sandrine Blazy , Pierre Wilke
Journal of Automated Reasoning, 2019, 63 (2), pp.369-392. ⟨10.1007/s10817-018-9496-y⟩
Article dans une revue hal-02401182v1
Page :