E-LIB Suche - Ergebnisse für: Feist, Josselin

1

Evaluating and Improving Static Analysis Tools Via Differen..:

, In: 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS),

Groce, Alex ; Ahmed, Iftekhar ; Feist, Josselin... - p. 207-218 , 2021

Link: https://doi.org/10.1109/..

2

What are the Actual Flaws in Important Smart Contracts (And..:

, In: Financial Cryptography and Data Security; Lecture Notes in Computer Science,

Groce, Alex ; Feist, Josselin ; Grieco, Gustavo. - p. 634-653 , 2020

Link: https://doi.org/10.1007/..

3

Echidna: effective, usable, and fast fuzzing for smart cont..:

, In: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis,

Grieco, Gustavo ; Song, Will ; Cygan, Artur.. - p. 557-560 , 2020

Link: https://dl.acm.org/doi/1..

4

Manticore: A User-Friendly Symbolic Execution Framework for..:

, In: 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE),

Mossberg, Mark ; Manzano, Felipe ; Hennenfent, Eric... - p. 1186-1189 , 2019

Link: https://doi.org/10.1109/..

5

Manticore : a user-friendly symbolic execution framework..:

, In: Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering,

Mossberg, Mark ; Manzano, Felipe ; Hennenfent, Eric... - p. 1186-1189 , 2019

Link: https://dl.acm.org/doi/1..

6

Slither : a static analysis framework for smart contract:

, In: Proceedings of the 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain,

Feist, Josselin ; Greico, Gustavo ; Groce, Alex - p. 8-15 , 2019

Link: https://dl.acm.org/doi/1..

7

Toward Large-Scale Vulnerability Discovery using Machine Le..:

, In: Proceedings of the Sixth ACM Conference on Data and Application Security and Privacy,

Grieco, Gustavo ; Grinblat, Guillermo Luis ; Uzal, Lucas... - p. 85-96 , 2016

Link: https://dl.acm.org/doi/1..

8

Finding the needle in the heap : combining static analys..:

, In: Proceedings of the 6th Workshop on Software Security, Protection, and Reverse Engineering,

Feist, Josselin ; Mounier, Laurent ; Bardin, Sébastien.. - p. 1-12 , 2016

Link: https://dl.acm.org/doi/1..

9

Specification of concretization and symbolization policies ..:

, In: Proceedings of the 25th International Symposium on Software Testing and Analysis,

David, Robin ; Bardin, Sébastien ; Feist, Josselin... - p. 36-46 , 2016

Link: https://dl.acm.org/doi/1..

10

Statically detecting use after free on binary code:

Feist, Josselin ; Mounier, Laurent ; Potet, Marie-Laure
Journal of Computer Virology and Hacking Techniques. 10 (2014) 3 - p. 211-217 , 2014

Link: https://doi.org/10.1007/..

11

Manticore: A User-Friendly Symbolic Execution Framework for..:

Mossberg, Mark ; Manzano, Felipe ; Hennenfent, Eric...
http://arxiv.org/abs/1907.03890. , 2019

Link: http://arxiv.org/abs/190..

12

Slither: A Static Analysis Framework For Smart Contracts:

Feist, Josselin ; Grieco, Gustavo ; Groce, Alex
http://arxiv.org/abs/1908.09878. , 2019

Link: http://arxiv.org/abs/190..

13

What are the Actual Flaws in Important Smart Contracts (and..:

Groce, Alex ; Feist, Josselin ; Grieco, Gustavo.
http://arxiv.org/abs/1911.07567. , 2019

Link: http://arxiv.org/abs/191..

14

Finding the needle in the heap : combining binary analysis ..:

Feist, Josselin
NNT: 2017GREAM016. , 2017

Link: https://theses.hal.scien..

15

Finding the needle in the heap : combining binary analysis ..:

Feist, Josselin
NNT: 2017GREAM016. , 2017

Link: https://tel.archives-ouv..