Guillaume Bonfante

62 papers A* 1B 6C 6Journal 19Unranked 25

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	Monitoring the Execution of Cryptographic Functions. FPS (1) Matthieu Amet, Oussama Ben Moussa, Guillaume Bonfante, Sébastien Duval
2024	J	`jnl`	The genus of regular languages and directed graph emulators. Theor. Comput. Sci. Guillaume Bonfante, Florian L. Deloup
2022	—	`conf`	Where is the Virtual Machine Within Cpython? FPS Guillaume Bonfante, Anuyan Ithayakumar
2021	—	`conf`	At the Bottom of Binary Analysis: Instructions. FPS Guillaume Bonfante, Alexandre Talon
2021	J	`jnl`	The decidability of the genus of regular languages and directed emulators. CoRR Guillaume Bonfante, Florian L. Deloup
2020	—	`conf`	Termination of graph rewriting systems through language theory. ALGOS Guillaume Bonfante, Miguel Couceiro
2019	J	`jnl`	Decidability of regular language genus computation. Math. Struct. Comput. Sci. Guillaume Bonfante, Florian L. Deloup
2019	—	`ed.`	Foundations and Practice of Security - 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13-15, 2018, Revised Selected Papers FPS Nur Zincir-Heywood, Guillaume Bonfante, Mourad Debbabi, Joaquín García-Alfaro
2018	J	`jnl`	Non-size increasing graph rewriting for natural language processing. Math. Struct. Comput. Sci. Guillaume Bonfante, Bruno Guillaume
2018	J	`jnl`	The genus of regular languages. Math. Struct. Comput. Sci. Guillaume Bonfante, Florian L. Deloup
2017	—	`conf`	A construction of a self-modifiying language with a formal correction proof. MALWARE Guillaume Bonfante, Hubert Godfroy, Jean-Yves Marion
2017	—	`ed.`	Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis, DICE-FOPARA@ETAPS 2017, Uppsala, Sweden, April 22-23, 2017. DICE-FOPARA@ETAPS Guillaume Bonfante, Georg Moser
2016	—	`ed.`	Foundations and Practice of Security - 8th International Symposium, FPS 2015, Clermont-Ferrand, France, October 26-28, 2015, Revised Selected Papers FPS Joaquín García-Alfaro, Evangelos Kranakis, Guillaume Bonfante
2016	—	`conf`	Function Classification for the Retro-Engineering of Malwares. FPS Guillaume Bonfante, Julien Oury Nogues
2016	J	`jnl`	Gorille: Efficient and Relevant Software Comparisons. ERCIM News Philippe Antoine, Guillaume Bonfante, Jean-Yves Marion
2016	J	`jnl`	Two function algebras defining functions in NC Inf. Comput. Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem
2015	A*	`conf`	CoDisasm: Medium Scale Concatic Disassembly of Self-Modifying Binaries with Overlapping Instructions. CCS Guillaume Bonfante, José M. Fernandez, Jean-Yves Marion, Benjamin Rouxel, Fabrice Sabatier, Aurélien Thierry
2015	J	`jnl`	Decidability of regular language genus computation. CoRR Guillaume Bonfante, Florian L. Deloup
2015	J	`jnl`	Developments in Implicit Complexity (DICE 2012). Theor. Comput. Sci. Ugo Dal Lago, Guillaume Bonfante
2015	—	`conf`	Gorille sniffs code similarities, the case study of qwerty versus regin. MALWARE Guillaume Bonfante, Jean-Yves Marion, Fabrice Sabatier
2015	C	`conf`	Immune Systems in Computer Virology. CiE Guillaume Bonfante, Mohamed El-Aqqad, Benjamin Greenbaum, Mathieu Hoyrup
2015	J	`jnl`	Real or natural number interpretation and their effect on complexity. Theor. Comput. Sci. Guillaume Bonfante, Florian L. Deloup, Antoine Henrot
2014	J	`jnl`	Analysis and Diversion of Duqu's Driver. CoRR Guillaume Bonfante, Jean-Yves Marion, Fabrice Sabatier, Aurélien Thierry
2014	—	`conf`	Malware Message Classification by Dynamic Analysis. FPS Guillaume Bonfante, Jean-Yves Marion, Thanh Dinh Ta
2013	—	`conf`	Analysis and diversion of Duqu's driver. MALWARE Guillaume Bonfante, Jean-Yves Marion, Fabrice Sabatier, Aurélien Thierry
2013	—	`conf`	Non-simplifying Graph Rewriting Termination TERMGRAPH Guillaume Bonfante, Bruno Guillaume
2013	J	`jnl`	The genus of regular languages CoRR Guillaume Bonfante, Florian L. Deloup
2012	—	`conf`	Code synchronization by morphological analysis. MALWARE Guillaume Bonfante, Jean-Yves Marion, Fabrice Sabatier, Aurélien Thierry
2012	—	`conf`	Grew : un outil de réécriture de graphes pour le TAL (Grew: a Graph Rewriting Tool for NLP) [in French]. JEP-TALN-RECITAL Bruno Guillaume, Guillaume Bonfante, Paul Masson, Mathieu Morey, Guy Perrier
2011	—	`book`	Complexité implicite des calculs : interprétation de programmes. (Implicit computational complexity : program interpretations). Guillaume Bonfante
2011	—	`conf`	Course of value distinguishes the intentionality of programming languages. SoICT Guillaume Bonfante
2011	—	`conf`	Enrichissement de structures en dépendances par réécriture de graphes (Dependency structure enrichment using graph rewriting). TALN (Articles longs) Guillaume Bonfante, Bruno Guillaume, Mathieu Morey, Guy Perrier
2011	—	`conf`	Modular Graph Rewriting to Compute Semantics. IWCS Guillaume Bonfante, Bruno Guillaume, Mathieu Morey, Guy Perrier
2011	J	`jnl`	Quasi-interpretations a way to control resources. Theor. Comput. Sci. Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen
2010	—	`conf`	Characterising Space Complexity Classes via Knuth-Bendix Orders. LPAR (Yogyakarta) Guillaume Bonfante, Georg Moser
2010	C	`conf`	Complexity Invariance of Real Interpretations. TAMC Guillaume Bonfante, Florian L. Deloup
2010	—	`conf`	Observation of implicit complexity by non confluence DICE Guillaume Bonfante
2010	—	`conf`	Réécriture de graphes de dépendances pour l'interface syntaxe-sémantique. TALN (Articles longs) Guillaume Bonfante, Bruno Guillaume, Mathieu Morey, Guy Perrier
2009	B	`conf`	A Computability Perspective on Self-Modifying Programs. SEFM Guillaume Bonfante, Jean-Yves Marion, Daniel Reynaud-Plantey
2009	J	`jnl`	Architecture of a morphological malware detector. J. Comput. Virol. Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion
2009	—	`conf`	Dependency Constraints for Lexical Disambiguation. IWPT Guillaume Bonfante, Bruno Guillaume, Mathieu Morey
2009	J	`jnl`	Programs as polygraphs: computability and complexity Guillaume Bonfante, Yves Guiraud
2008	—	`conf`	Morphological detection of malware. MALWARE Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion
2008	B	`conf`	Recursion Schemata for NCk. CSL Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem
2007	C	`conf`	A Classification of Viruses Through Recursion Theorems. CiE Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion
2007	J	`jnl`	Foreword. J. Comput. Virol. Guillaume Bonfante, Jean-Yves Marion
2007	—	`conf`	Intensional Properties of Polygraphs. TERMGRAPH@ETAPS Guillaume Bonfante, Yves Guiraud
2007	J	`jnl`	Intensional properties of polygraphs CoRR Guillaume Bonfante, Yves Guiraud
2007	C	`conf`	Quasi-interpretation Synthesis by Decomposition. ICTAC Guillaume Bonfante, Jean-Yves Marion, Romain Péchoux
2006	B	`conf`	A Characterization of Alternating Log Time by First Order Functional Programs. LPAR Guillaume Bonfante, Jean-Yves Marion, Romain Péchoux
2006	C	`conf`	Lexical Disambiguation with Polarities and Automata. CIAA Guillaume Bonfante, Joseph Le Roux, Guy Perrier
2006	J	`jnl`	On Abstract Computer Virology from a Recursion Theoretic Perspective. J. Comput. Virol. Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion
2006	—	`conf`	Some Programming Languages for Logspace and Ptime. AMAST Guillaume Bonfante
2006	B	`conf`	Towards an Implicit Characterization of CSL Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem
2005	—	`conf`	Quasi-interpretations and Small Space Bounds. RTA Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen
2005	C	`conf`	Toward an Abstract Computer Virology. ICTAC Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion
2004	B	`conf`	Polarization and abstraction of grammatical formalisms as methods for lexical disambiguation. COLING Guillaume Bonfante, Bruno Guillaume, Guy Perrier
2001	J	`jnl`	Algorithms with polynomial interpretation termination proof. J. Funct. Program. Guillaume Bonfante, Adam Cichon, Jean-Yves Marion, Hélène Touzet
2001	—	`conf`	On Lexicographic Termination Ordering with Space Bound Certifications. Ershov Memorial Conference Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen
2001	—	`conf`	Stochastic Lambek Categorial Grammars. FGMOL Guillaume Bonfante, Philippe de Groote
2000	—	`—`	Constructions d'ordres, analyse de la complexité. Guillaume Bonfante
1998	B	`conf`	Complexity Classes and Rewrite Systems with Polynomial Interpretation. CSL Guillaume Bonfante, Adam Cichon, Jean-Yves Marion, Hélène Touzet