1. 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) ↗
2. Innovative security solutions for information technology and communications : 11th International Conference, SecITC 2018, Bucharest, Romania, November 8-9, 2018, Revised selected papers /: 11th International Conference, SecITC 2018, Bucharest, Romania, November 8-9, 2018, Revised selected papers. (2019) Editors: Lanet, Jean-Louis; Toma, Cristian Other Names: International Conference on Security for Information Technology and Communications, 11th Record Type: Book Extent: 1 online resource (xiii, 530 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. 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) ↗
4. Reverse engineering a Java Card memory management algorithm. Issue 66 (May 2017) Authors: Mesbah, Abdelhak; Lanet, Jean-Louis; Mezghiche, Mohamed Journal: Computers & security Issue: Issue 66(2017) Page Start: 97 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Formal methods in dynamic software updating: a survey. (19th March 2019) Authors: Lounas, Razika; Mezghiche, Mohamed; Lanet, Jean-Louis Journal: International journal of critical computer-based systems Issue: Volume 9:Number 1/2(2019) Page Start: 76 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. The ultimate control flow transfer in a Java based smart card. Issue 50 (May 2015) Authors: Bouffard, Guillaume; Lanet, Jean-Louis Journal: Computers & security Issue: Issue 50(2015) Page Start: 33 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Security automaton to mitigate laser-based fault attacks on smart cards. (1st January 2014) Authors: Bouffard, Guillaume; Thampi, Bhagyalekshmy N.; Lanet, Jean-Louis Journal: International journal on trust management in computing and communications Issue: Volume 2:Number 2(2014) Page Start: 185 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. A formal verification of dynamic updating in a Java-based embedded system. (2017) Authors: Lounas, Razika; Mezghiche, Mohamed; Lanet, Jean-Louis Journal: International journal of critical computer-based systems Issue: Volume 7:Number 4(2018) Page Start: 303 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗