1. Effective, efficient, and robust packing detection and classification. Issue 85 (August 2019) Authors: Biondi, Fabrizio; Enescu, Michael A.; Given-Wilson, Thomas; Legay, Axel; Noureddine, Lamine; Verma, Vivek Journal: Computers & security Issue: Issue 85(2019) Page Start: 436 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. An automated and scalable formal process for detecting fault injection vulnerabilities in binaries. (14th September 2018) Authors: Given‐Wilson, Thomas; Heuser, Annelie; Jafri, Nisrine; Legay, Axel Other Names: Chen Jinjun guestEditor.; Zheng Xianghan guestEditor.; Rong Chunming guestEditor.; Badarch Tuyatsetseg guestEditor.; Nanda Priyadarsi guestEditor.; Puthal Deepak guestEditor.; Mohanty Saraju P. guestEditor. Journal: Concurrency and computation Issue: Volume 31:Number 23(2019) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Models, algorithms, logics and tools : essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday /: essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday. (2017) Editors: Aceto, Luca; Bacci, Giorgio; (Computer scientist), Bacci, Giovanni; Legay, Axel; Mardare, Radu; Anna Ingólfsdóttir, 1952- Other Names: Larsen, K. G (Kim G.) 1957- honouree. Record Type: Book Extent: 1 online resource (662 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Risks and security of internet and systems : 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised selected papers /: 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised selected papers. (2017) Editors: Cuppens, Frédéric; Cuppens, Nora; Lanet, Jean-Louis; Legay, Axel Other Names: CRiSIS (Conference), 11th Record Type: Book Extent: 1 online resource (viii, 239 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Optimizing symbolic execution for malware behavior classification. Issue 93 (June 2020) Authors: Sebastio, Stefano; Baranov, Eduard; Biondi, Fabrizio; Decourbe, Olivier; Given-Wilson, Thomas; Legay, Axel; Puodzius, Cassius; Quilbeuf, Jean Journal: Computers & security Issue: Issue 93(2020) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Automated technology for verification and analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings /: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings. (2016) Editors: Artho, Cyrille; Legay, Axel; Peled, Doron A, 1962- Other Names: ATVA (Symposium), 14th Record Type: Book Extent: 1 online resource (xi, 530 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Risks and Security of Internet and Systems : 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers /: 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers. (2018) Editors: Cuppens, Nora; Cuppens, Frédéric; Lanet, Jean-Louis; Legay, Axel; Garcia-Alfaro, Joaquin Other Names: CRiSIS (Conference), 12th Record Type: Book Extent: 1 online resource (x, 269 pages), 72 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Quantitative Security Risk Modeling and Analysis with RisQFLan. Issue 109 (October 2021) Authors: ter Beek, Maurice H.; Legay, Axel; Lluch Lafuente, Alberto; Vandin, Andrea Journal: Computers & security Issue: Issue 109(2021) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Model checking software : 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings /: 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings. (2019) Editors: Biondi, Fabrizio; Given-Wilson, Thomas; Legay, Axel Other Names: International SPIN Workshop, 26th Record Type: Book Extent: 1 online resource (x, 261 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Tools and algorithms for the construction and analysis of systems. 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /: 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Part II : (2017) Editors: Legay, Axel; Margaria-Steffen, Tiziana, 1964- Other Names: TACAS (Conference), 23rd; ETAPS (Conference), 20th, jointly held conference Record Type: Book Extent: 1 online resource (xxiv, 411 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗