Skip to Main content Skip to Navigation

hal-03178806v1  Conference papers
Guillaume BonfanteCorentin JannierJean-Yves MarionFabrice Sabatier. LockerGoga quickly reversed
MALCON 2019 14th International Conference on Malicious and Unwanted Software, Oct 2019, Nantucket, United States
hal-03270335v1  Conference papers
Sébastien BardinTristan BenoitJean-Yves Marion. Compiler and optimization level recognition using graph neural networks
MLPA 2020 - Machine Learning for Program Analysis, Jan 2021, Yokohama / Virtual, Japan
inria-00099629v1  Journal articles
Jérôme BesombesJean-Yves Marion. Apprentissage des langages réguliers d'arbres et applications
Revue TAL, ATALA (Association pour le Traitement Automatique des Langues), 2003, 44 (1), pp.121-153
inria-00100819v1  Journal articles
Guillaume BonfanteAdam CichonJean-Yves MarionHélène Touzet. Algorithms with Polynomial Interpretation Termination Proof
Journal of Functional Programming, Cambridge University Press (CUP), 2001, 11 (1), pp.33-53
inria-00099238v1  Conference papers
Adam CichonJean-Yves Marion. The Light Lexicographic path Ordering
Workshop RULE'2000, Sep 2000, Montréal, Canada, 17 p
inria-00001088v1  Conference papers
Pascal FontaineJean-Yves MarionStephan MerzLeonor Prensa NietoAlwen Tiu. Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants
12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems - TACAS'06, Mar 2006, Vienna/Austria, pp.167-181, ⟨10.1007/11691372_11⟩
hal-00755450v2  Conference papers
Emmanuel HainryJean-Yves MarionRomain Péchoux. Type-based complexity analysis for fork processes
16th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Mar 2013, Rome, Italy. pp.305-320, ⟨10.1007/978-3-642-37075-5_20⟩
hal-03447628v1  Conference papers
Tristan BenoitJean-Yves MarionSébastien Bardin. Binary level toolchain provenance identification with graph neural networks
SANER 2021 - 28th IEEE International Conference on Software Analysis, Evolution and Reengineering, Mar 2021, Honolulu / Virtual, United States. pp.131-141, ⟨10.1109/SANER50967.2021.00021⟩
hal-00342320v1  Journal articles
Marco GaboardiJean-Yves MarionSimona Ronchi Della Rocca. Soft Linear Logic and Polynomial Complexity Classes
Electronic Notes in Theoretical Computer Science, Elsevier, 2008, 205 (6), pp.67-87. ⟨10.1016/j.entcs.2008.03.066⟩
hal-00763646v1  Journal articles
Jean-Yves MarionThomas Schwentick. Theoretical Aspects of Computer Science
Theory of Computing Systems, Springer Verlag, 2012, 51 (2), pp.123-124
hal-00762923v1  Journal articles
Jean-Yves Marion. From Turing machines to computer viruses
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, Royal Society, The, 2012, 370 (1971), pp.3319-3339. ⟨10.1098/rsta.2011.0332⟩
hal-00591868v1  Journal articles
Marco GaboardiJean-Yves MarionSimona Ronchi Della Rocca. An Implicit Characterization of PSPACE
ACM Transactions on Computational Logic, Association for Computing Machinery, 2012, 13 (2), pp.Article 18. ⟨10.1145/2159531.2159540⟩
hal-00184983v1  Journal articles
Eric FiliolJean-Yves Marion. La virologie informatique - les virus, ennemis utiles
Pour la science, Société Pour la Science 2007, pp.60-64
hal-00342331v1  Journal articles
Jérôme BesombesJean-Yves Marion. Learning discrete categorial grammars from structures
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2008, 42 (1), pp.165-182. ⟨10.1051/ita:2007055⟩
inria-00337523v1  Conference papers
Daniel ReynaudJean-Yves Marion. Obfuscation by Interpretation
3rd International Workshop on the Theory of Computer Viruses - TCV 08, 2008, Nancy, France
hal-00758423v1  Conference papers
Philippe BeaucampsJean-Yves Marion. On behavioral detection
18th EICAR Annual Conference 2009, May 2009, Berlin, Germany
hal-00758451v1  Conference papers
Philippe BeaucampsDaniel Reynaud-PlanteyJean-Yves Marion. On the use of Internet Voting on Compromised Computers
4th International conference on i-Warfare & Security - ICIW 2009, Mar 2009, Cape Town, South Africa
hal-00184984v1  Journal articles
Jean-Yves MarionAnne Bonfante. Les paradoxes de la défense virale : Le cas bradley
MISC - Le journal de la sécurité informatique, Lavoisier, 2006, 28, pp.4-7
hal-00591853v1  Conference papers
Jean-Yves Marion. A type system for complexity flow analysis
Twenty-Sixth Annual IEEE Symposium on Logic in Computer Science - LICS 2011, Jun 2011, Toronto, Canada
inria-00536717v1  Conference papers
Joan CalvetJosé FernandezPierre-Marc BureauJean-Yves Marion. Large-scale Malware Experiments: Why, How, and So What?
Virus Bulletin 2010, Sep 2010, Vancouver, Canada. pp.241--247
hal-00434330v1  Documents associated with scientific events
Patrick BaillotJean-Yves MarionSimona Ronchi Della Rocca. Special issue on implicit computational complexity
ACM Trans. Comput. Log. (10)4. Workshop on Implicit Computational Complexity - Geometry of Computation (GEOCAL'06), Feb 2006, Marseille, France. 10 (4), 2 p., 2009, ⟨10.1145/1555746.1555747⟩
inria-00446057v1  Journal articles
Jean-Yves MarionRomain Péchoux. Sup-interpretations, a semantic method for static analysis of program resources
ACM Transactions on Computational Logic, Association for Computing Machinery, 2009, 10 (4), 30 p