Fabrizio Biondi

30 papers A* 1A 1B 4C 1Journal 11Unranked 10

Year	Rank	Type	Title / Venue / Authors
2020	J	`jnl`	Introduction to the special issue for SPIN 2019. Int. J. Softw. Tools Technol. Transf. Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
2020	J	`jnl`	Optimizing symbolic execution for malware behavior classification. Comput. Secur. Stefano Sebastio, Eduard Baranov, Fabrizio Biondi, Olivier Decourbe, Thomas Given-Wilson, Axel Legay, Cassius Puodzius, Jean Quilbeuf
2019	J	`jnl`	Effective, efficient, and robust packing detection and classification. Comput. Secur. Fabrizio Biondi, Michael A. Enescu, Thomas Given-Wilson, Axel Legay, Lamine Noureddine, Vivek Verma
2019	J	`jnl`	Hybrid statistical estimation of mutual information and its application to information flow. Formal Aspects Comput. Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez
2019	—	`ed.`	Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings SPIN Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
2018	A	`conf`	Detection of Mirai by Syntactic and Behavioral Analysis. ISSRE Najah Ben Said, Fabrizio Biondi, Vesselin Bontchev, Olivier Decourbe, Thomas Given-Wilson, Axel Legay, Jean Quilbeuf
2018	J	`jnl`	Hybrid Statistical Estimation of Mutual Information and its Application to Information Flow. CoRR Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez
2018	B	`conf`	Scalable Approximation of Quantitative Information Flow in Programs. VMCAI Fabrizio Biondi, Michael A. Enescu, Annelie Heuser, Axel Legay, Kuldeep S. Meel, Jean Quilbeuf
2018	—	`conf`	Tutorial: An Overview of Malware Detection and Evasion Techniques. ISoLA (1) Fabrizio Biondi, Thomas Given-Wilson, Axel Legay, Cassius Puodzius, Jean Quilbeuf
2018	—	`conf`	Universal Optimality of Apollonian Cell Encoders. TrustCom/BigDataSE Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
2017	J	`jnl`	Effectiveness of synthesis in concolic deobfuscation. Comput. Secur. Fabrizio Biondi, Sébastien Josse, Axel Legay, Thomas Sirvent
2017	B	`conf`	HyLeak: Hybrid Analysis Tool for Information Leakage. ATVA Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez
2017	—	`conf`	Information Leakage as a Scheduling Resource. FMICS-AVoCS Fabrizio Biondi, Mounir Chadli, Thomas Given-Wilson, Axel Legay
2017	—	`conf`	MASSE: Modular Automated Syntactic Signature Extraction. ISSRE Workshops Fabrizio Biondi, François Déchelle, Axel Legay
2016	J	`jnl`	Attainable unconditional security for shared-key cryptosystems. Inf. Sci. Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
2016	J	`jnl`	Bypassing Malware Obfuscation with Dynamic Synthesis. ERCIM News Fabrizio Biondi, Sébastien Josse, Axel Legay
2016	B	`conf`	Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow. FM Yusuke Kawamoto, Fabrizio Biondi, Axel Legay
2016	—	`conf`	Security and Privacy of Protocols and Software with Formal Methods. ISoLA (1) Fabrizio Biondi, Axel Legay
2015	—	`conf`	Attainable Unconditional Security for Shared-Key Cryptosystems. TrustCom/BigDataSE/ISPA (1) Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
2015	—	`conf`	Comparative Analysis of Leakage Tools on Scalable Case Studies. SPIN Fabrizio Biondi, Axel Legay, Jean Quilbeuf
2015	J	`jnl`	Quantifying information leakage of randomized protocols. Theor. Comput. Sci. Fabrizio Biondi, Axel Legay, Pasquale Malacaria, Andrzej Wasowski
2014	—	`conf`	Information Leakage of Non-Terminating Processes. FSTTCS Fabrizio Biondi, Axel Legay, Bo Friis Nielsen, Pasquale Malacaria, Andrzej Wasowski
2014	—	`—`	Markovian Processes for Quantitative Information Leakage. Fabrizio Biondi
2014	J	`jnl`	Maximizing entropy over Markov processes. J. Log. Algebraic Methods Program. Fabrizio Biondi, Axel Legay, Bo Friis Nielsen, Andrzej Wasowski
2014	—	`conf`	Measuring Global Similarity Between Texts. SLSP Uli Fahrenberg, Fabrizio Biondi, Kevin Corre, Cyrille Jégourel, Simon Kongshøj, Axel Legay
2014	J	`jnl`	Measuring Structural Distances between Texts. CoRR Uli Fahrenberg, Fabrizio Biondi, Kevin Corre, Cyrille Jégourel, Simon Kongshøj, Axel Legay
2014	—	`conf`	Quantitative Anonymity Evaluation of Voting Protocols. SEFM Workshops Fabrizio Biondi, Axel Legay
2013	C	`conf`	Maximizing Entropy over Markov Processes. LATA Fabrizio Biondi, Axel Legay, Bo Friis Nielsen, Andrzej Wasowski
2013	A*	`conf`	QUAIL: A Quantitative Security Analyzer for Imperative Code. CAV Fabrizio Biondi, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski
2013	B	`conf`	Quantifying Information Leakage of Randomized Protocols. VMCAI Fabrizio Biondi, Axel Legay, Pasquale Malacaria, Andrzej Wasowski