1. 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) ↗
2. 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) ↗
3. 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) ↗
4. Effectiveness of synthesis in concolic deobfuscation. Issue 70 (September 2017) Authors: Biondi, Fabrizio; Josse, Sébastien; Legay, Axel; Sirvent, Thomas Journal: Computers & security Issue: Issue 70(2017) Page Start: 500 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Formal verification of probabilistic SystemC models with statistical model checking. Issue 3 (14th August 2017) Authors: Ngo, Van Chan; Legay, Axel Other Names: Babiceanu Radu guestEditor.; Waeselynck Hélène guestEditor. Journal: Journal of software Issue: Volume 30:Issue 3(2018) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. 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) ↗
7. 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) ↗
8. 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) ↗
9. Performance evaluation of stochastic real-time systems with the SBIP framework. (2018) Authors: Nouri, Ayoub; Mediouni, Braham Lotfi; Bozga, Marius; Combaz, Jacques; Bensalem, Saddek; Legay, Axel Journal: International journal of critical computer-based systems Issue: Volume 8:Number 3/4(2018) Page Start: 340 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. 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) ↗