|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9 occurrences of 9 keywords
|
|
|
Results
Found 116 publication records. Showing 115 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
69 | Ian F. Akyildiz, Inwhee Joe, Henry Driver, Yung-Lung Ho |
An adaptive FEC scheme for data traffic in wireless ATM networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 9(4), pp. 419-426, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Adaptive FEC, LANET, address protection, cell scrambling, Reed-Solomon coding, error control, wireless ATM |
36 | Lei Hu, Xun Zhou, Jiachen Ruan, Supeng Li |
ASPP+-LANet: A Multi-Scale Context Extraction Network for Semantic Segmentation of High-Resolution Remote Sensing Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 16(6), pp. 1036, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
36 | Qiangbin Xie, Xiao Zhao, Lihua Zhang |
LANet: A Single Stage Lane Detector with Lightweight Attention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICAI (1) ![In: Artificial Intelligence - Third CAAI International Conference, CICAI 2023, Fuzhou, China, July 22-23, 2023, Revised Selected Papers, Part I, pp. 388-399, 2023, Springer, 978-981-99-8849-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
36 | Lei Ding 0008, Hao Tang 0005, Lorenzo Bruzzone |
LANet: Local Attention Embedding to Improve the Semantic Segmentation of Remote Sensing Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Geosci. Remote. Sens. ![In: IEEE Trans. Geosci. Remote. Sens. 59(1), pp. 426-435, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Madhumitha Harishankar, Jun Han 0001, Sai Vineeth Kalluru Srinivas, Faisal Alqarni, Shi Su, Shijia Pan, Hae Young Noh, Pei Zhang 0001, Marco Gruteser, Patrick Tague |
LaNet: Real-time Lane Identification by Learning Road SurfaceCharacteristics from Accelerometer Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.02822, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
36 | Nan Cen, Jithin Jagannath, Simone Moretti, Zhangyu Guan, Tommaso Melodia |
LANET: Visible-light ad hoc networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ad Hoc Networks ![In: Ad Hoc Networks 84, pp. 107-123, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
36 | Dongli Wang, Bo Wang, Yan Zhou 0003 |
LANet: A Ladder Attention Network for Image Semantic Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IECON ![In: IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society, Lisbon, Portugal, October 14-17, 2019, pp. 126-131, 2019, IEEE, 978-1-7281-4878-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
36 | Sahisnu Mazumder |
LANet: An Enriched Knowledgebase for Location-aware Activity Recommendation System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1606.03480, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
29 | Routa Moussaileb, Nora Cuppens, Jean-Louis Lanet, Hélène Le Bouder |
A Survey on Windows-based Ransomware Taxonomy and Detection Mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 54(6), pp. 117:1-117:36, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Yassine Lemmou, Jean-Louis Lanet, El Mamoun Souidi |
A behavioural in-depth analysis of ransomware infection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Inf. Secur. ![In: IET Inf. Secur. 15(1), pp. 38-58, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Yassine Lemmou, Jean-Louis Lanet, El Mamoun Souidi |
In-Depth Analysis of Ransom Note Files. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. ![In: Comput. 10(11), pp. 145, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Mathieu Escouteloup, Ronan Lashermes, Jacques Fournier, Jean-Louis Lanet |
Under the Dome: Preventing Hardware Timing Information Leakage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CARDIS ![In: Smart Card Research and Advanced Applications - 20th International Conference, CARDIS 2021, Lübeck, Germany, November 11-12, 2021, Revised Selected Papers, pp. 233-253, 2021, Springer, 978-3-030-97347-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Cédric Herzog, Valérie Viet Triem Tong, Pierre Wilke, Arnaud Van Straaten, Jean-Louis Lanet |
Evasive Windows Malware: Impact on Antiviruses and Possible Countermeasures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2009.12204, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Samiya Hamadouche, Jean-Louis Lanet, Mohamed Mezghiche |
Hiding a fault enabled virus through code construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Virol. Hacking Tech. ![In: J. Comput. Virol. Hacking Tech. 16(2), pp. 103-124, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Mozhdeh Farhadi, Jean-Louis Lanet, Guillaume Pierre, Daniele Miorandi |
A systematic approach toward security in Fog computing: Assets, vulnerabilities, possible countermeasures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 50(6), pp. 973-997, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Léopold Ouairy, Hélène Le Bouder, Jean-Louis Lanet |
Confiance: detecting vulnerabilities in Java Card applets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: ARES 2020: The 15th International Conference on Availability, Reliability and Security, Virtual Event, Ireland, August 25-28, 2020, pp. 24:1-24:10, 2020, ACM, 978-1-4503-8833-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Guillaume Hiet, Frédéric Tronel, Jean-Louis Lanet |
Preface of the 2nd Workshop on the Security of Software/Hardware Interfaces (SILM 2020). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroS&P Workshops ![In: IEEE European Symposium on Security and Privacy Workshops, EuroS&P Workshops 2020, Genoa, Italy, September 7-11, 2020, pp. 681, 2020, IEEE, 978-1-7281-8597-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Cédric Herzog, Valérie Viet Triem Tong, Pierre Wilke, Arnaud Van Straaten, Jean-Louis Lanet |
Evasive Windows Malware: Impact on Antiviruses and Possible Countermeasures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICETE (2) ![In: Proceedings of the 17th International Joint Conference on e-Business and Telecommunications, ICETE 2020 - Volume 2: SECRYPT, Lieusaint, Paris, France, July 8-10, 2020., pp. 302-309, 2020, ScitePress, 978-989-758-446-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Abdelhak Mesbah, Jean-Louis Lanet, Mohamed Mezghiche |
Reverse engineering Java Card and vulnerability exploitation: a shortcut to ROM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Sec. ![In: Int. J. Inf. Sec. 18(1), pp. 85-100, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet |
Formal methods in dynamic software updating: a survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Crit. Comput. Based Syst. ![In: Int. J. Crit. Comput. Based Syst. 9(1/2), pp. 76-114, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Routa Moussaileb, Charles Berti, Guillaume Deboisdeffre, Nora Cuppens, Jean-Louis Lanet |
Watch Out! Doxware on the Way... ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRiSIS ![In: Risks and Security of Internet and Systems, 14th International Conference, CRiSIS 2019, Hammamet, Tunisia, October 29-31, 2019, Proceedings., pp. 279-292, 2019, Springer, 978-3-030-41567-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Jean-Louis Lanet, Cristian Toma (eds.) |
Innovative Security Solutions for Information Technology and Communications - 11th International Conference, SecITC 2018, Bucharest, Romania, November 8-9, 2018, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecITC ![Springer, 978-3-030-12941-5 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Benoît Fournier, Gilles Guette, Valérie Viet Triem Tong, Jean-Louis Lanet |
SEER4US, Secured Energy Efficient Routing for UAV Swarms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WiMob ![In: 2019 International Conference on Wireless and Mobile Computing, Networking and Communications, WiMob 2019, Barcelona, Spain, October 21-23, 2019, pp. 1-6, 2019, IEEE, 978-1-7281-3316-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Etienne Boespflug, Romain Gourier, Jean-Louis Lanet |
Predicting the Effect of Hardware Fault Injection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWBIS ![In: 2019 International Workshop on Big Data and Information Security, IWBIS 2019, Bali, Indonesia, October 11, 2019, pp. 103-108, 2019, IEEE, 978-1-7281-5347-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Routa Moussaileb, Nora Cuppens, Jean-Louis Lanet, Hélène Le Bouder |
Ransomware Network Traffic Analysis for Pre-encryption Alert. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPS ![In: Foundations and Practice of Security - 12th International Symposium, FPS 2019, Toulouse, France, November 5-7, 2019, Revised Selected Papers, pp. 20-38, 2019, Springer, 978-3-030-45370-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Léopold Ouairy, Hélène Le Bouder, Jean-Louis Lanet |
JavaNeighbors: Improving ChuckyJava's neighborhood discovery algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSPN/ICTH ![In: The 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2019) / The 9th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2019) / Affiliated Workshops, Coimbra, Portugal, November 4-7, 2019., pp. 70-76, 2019, Elsevier. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Yahiaoui Chahrazed, Jean-Louis Lanet, Mohamed Mezghiche, Karim Tamine |
Machine learning techniques to predict sensitive patterns to fault attack in the Java Card application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Exp. Theor. Artif. Intell. ![In: J. Exp. Theor. Artif. Intell. 30(1), pp. 101-127, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Jean-Louis Lanet, Hélène Le Bouder, Mohammed Benattou, Axel Legay |
When time meets test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Sec. ![In: Int. J. Inf. Sec. 17(4), pp. 395-409, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Mohamed El Beqqal, Mostafa Azizi, Jean-Louis Lanet |
A Novel Approach for an Interoperable Biometric Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Interact. Mob. Technol. ![In: Int. J. Interact. Mob. Technol. 12(6), pp. 124-132, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Nora Cuppens, Frédéric Cuppens, Jean-Louis Lanet, Axel Legay, Joaquín García-Alfaro (eds.) |
Risks and Security of Internet and Systems - 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRiSIS ![Springer, 978-3-319-76686-7 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Léopold Ouairy, Hélène Le Bouder, Jean-Louis Lanet |
Normalization of Java Source Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecITC ![In: Innovative Security Solutions for Information Technology and Communications - 11th International Conference, SecITC 2018, Bucharest, Romania, November 8-9, 2018, Revised Selected Papers, pp. 29-40, 2018, Springer, 978-3-030-12941-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Routa Moussaileb, Benjamin Bouget, Aurélien Palisse, Hélène Le Bouder, Nora Cuppens, Jean-Louis Lanet |
Ransomware's Early Mitigation Mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the 13th International Conference on Availability, Reliability and Security, ARES 2018, Hamburg, Germany, August 27-30, 2018, pp. 2:1-2:10, 2018, ACM, 978-1-4503-6448-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Sébanjila Kevin Bukasa, Ronan Lashermes, Jean-Louis Lanet, Axel Legay |
Let's shock our IoT's heart: ARMv7-M under (fault) attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the 13th International Conference on Availability, Reliability and Security, ARES 2018, Hamburg, Germany, August 27-30, 2018, pp. 33:1-33:6, 2018, ACM, 978-1-4503-6448-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Sébanjila Kevin Bukasa, Ludovic Claudepierre, Ronan Lashermes, Jean-Louis Lanet |
When Fault Injection Collides with Hardware Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPS ![In: Foundations and Practice of Security - 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13-15, 2018, Revised Selected Papers, pp. 243-256, 2018, Springer, 978-3-030-18418-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Léopold Ouairy, Hélène Le Bouder, Jean-Louis Lanet |
Protection of Systems Against Fuzzing Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPS ![In: Foundations and Practice of Security - 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13-15, 2018, Revised Selected Papers, pp. 156-172, 2018, Springer, 978-3-030-18418-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Hélène Le Bouder, Gaël Thomas 0002, Edwin Bourget, Mariem Graa, Nora Cuppens, Jean-Louis Lanet |
Theoretical Security Evaluation of the Human Semantic Authentication Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICETE (2) ![In: Proceedings of the 15th International Joint Conference on e-Business and Telecommunications, ICETE 2018 - Volume 2: SECRYPT, Porto, Portugal, July 26-28, 2018., pp. 498-505, 2018, SciTePress, 978-989-758-319-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Damien Couroussé, Thierno Barry, Bruno Robisson, Nicolas Belleville, Philippe Jaillon, Olivier Potin, Hélène Le Bouder, Jean-Louis Lanet, Karine Heydemann |
All paths lead to Rome: Polymorphic Runtime Code Generation for Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CS2@HiPEAC ![In: Proceedings of the Fifth Workshop on Cryptography and Security in Computing Systems, CS2 2018, Manchester, United Kingdom, January 24, 2018, pp. 17-18, 2018, ACM, 978-1-4503-6374-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Noreddine El Janati El Idrissi, Guillaume Bouffard, Jean-Louis Lanet, Said El Hajji 0001 |
Trust can be misplaced. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cryptogr. Eng. ![In: J. Cryptogr. Eng. 7(1), pp. 21-34, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Mozhdeh Farhadi, Jean-Louis Lanet |
Chronicle of a Java Card death. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Virol. Hacking Tech. ![In: J. Comput. Virol. Hacking Tech. 13(2), pp. 109-123, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet |
A formal verification of dynamic updating in a Java-based embedded system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Crit. Comput. Based Syst. ![In: Int. J. Crit. Comput. Based Syst. 7(4), pp. 303-340, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Damien Couroussé, Thierno Barry, Bruno Robisson, Philippe Jaillon, Olivier Potin, Jean-Louis Lanet |
Runtime Code Polymorphism as a Protection Against Side Channel Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2017, pp. 699, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
29 | Abdelhak Mesbah, Jean-Louis Lanet, Mohamed Mezghiche |
Reverse engineering a Java Card memory management algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Secur. ![In: Comput. Secur. 66, pp. 97-114, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Mariem Graa, Nora Cuppens-Boulahia, Frédéric Cuppens, Jean-Louis Lanet, Routa Moussaileb |
Detection of Side Channel Attacks Based on Data Tainting in Android Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEC ![In: ICT Systems Security and Privacy Protection - 32nd IFIP TC 11 International Conference, SEC 2017, Rome, Italy, May 29-31, 2017, Proceedings, pp. 205-218, 2017, Springer, 978-3-319-58468-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Frédéric Cuppens, Nora Cuppens, Jean-Louis Lanet, Axel Legay (eds.) |
Risks and Security of Internet and Systems - 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRiSIS ![Springer, 978-3-319-54875-3 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Anis Bkakria, Mariem Graa, Nora Cuppens-Boulahia, Frédéric Cuppens, Jean-Louis Lanet |
Experimenting Similarity-Based Hijacking Attacks Detection and Response in Android Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISS ![In: Information Systems Security - 13th International Conference, ICISS 2017, Mumbai, India, December 16-20, 2017, Proceedings, pp. 127-145, 2017, Springer, 978-3-319-72597-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Sébanjila Kevin Bukasa, Ronan Lashermes, Hélène Le Bouder, Jean-Louis Lanet, Axel Legay |
How TrustZone Could Be Bypassed: Side-Channel Attacks on a Modern System-on-Chip. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISTP ![In: Information Security Theory and Practice - 11th IFIP WG 11.2 International Conference, WISTP 2017, Heraklion, Crete, Greece, September 28-29, 2017, Proceedings, pp. 93-109, 2017, Springer, 978-3-319-93523-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Thomas Given-Wilson, Nisrine Jafri, Jean-Louis Lanet, Axel Legay |
An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TrustCom/BigDataSE/ICESS ![In: 2017 IEEE Trustcom/BigDataSE/ICESS, Sydney, Australia, August 1-4, 2017, pp. 293-300, 2017, IEEE Computer Society, 978-1-5090-4906-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Aurélien Palisse, Antoine Durand, Hélène Le Bouder, Colas Le Guernic, Jean-Louis Lanet |
Data Aware Defense (DaD): Towards a Generic and Practical Ransomware Countermeasure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NordSec ![In: Secure IT Systems - 22nd Nordic Conference, NordSec 2017, Tartu, Estonia, November 8-10, 2017, Proceedings, pp. 192-208, 2017, Springer, 978-3-319-70289-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Anis Bkakria, Mariem Graa, Nora Cuppens-Boulahia, Frédéric Cuppens, Jean-Louis Lanet |
Real-Time Detection and Reaction to Activity Hijacking Attacks in Android Smartphones (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PST ![In: 15th Annual Conference on Privacy, Security and Trust, PST 2017, Calgary, AB, Canada, August 28-30, 2017, pp. 253-258, 2017, IEEE Computer Society, 978-1-5386-2487-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Nisrine Jafri, Axel Legay, Jean-Louis Lanet |
Vulnerability Prediction Against Fault Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ERCIM News ![In: ERCIM News 2016(106), 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
29 | Mariem Graa, Nora Cuppens-Boulahia, Frédéric Cuppens, Jean-Louis Lanet |
Tracking Explicit and Control Flows in Java and Native Android Apps Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISSP ![In: Proceedings of the 2nd International Conference on Information Systems Security and Privacy, ICISSP 2016, Rome, Italy, February 19-21, 2016., pp. 307-316, 2016, SciTePress, 978-989-758-167-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Razika Lounas, Nisrine Jafri, Axel Legay, Mohamed Mezghiche, Jean-Louis Lanet |
A Formal Verification of Safe Update Point Detection in Dynamic Software Updating. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRiSIS ![In: Risks and Security of Internet and Systems - 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers, pp. 31-45, 2016, Springer, 978-3-319-54875-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Aurélien Palisse, Hélène Le Bouder, Jean-Louis Lanet, Colas Le Guernic, Axel Legay |
Ransomware and the Legacy Crypto API. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRiSIS ![In: Risks and Security of Internet and Systems - 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers, pp. 11-28, 2016, Springer, 978-3-319-54875-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Mozhdeh Farhadi, Jean-Louis Lanet |
Paper Tigers: An Endless Fight. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECITC ![In: Innovative Security Solutions for Information Technology and Communications - 9th International Conference, SECITC 2016, Bucharest, Romania, June 9-10, 2016, Revised Selected Papers, pp. 40-62, 2016, 978-3-319-47237-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Abdelhak Mesbah, Leo Regnaud, Jean-Louis Lanet, Mohamed Mezghiche |
The Hell Forgery - Self Modifying Codes Shoot Again. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CARDIS ![In: Smart Card Research and Advanced Applications - 15th International Conference, CARDIS 2016, Cannes, France, November 7-9, 2016, Revised Selected Papers, pp. 105-121, 2016, Springer, 978-3-319-54668-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Hélène Le Bouder, Thierno Barry, Damien Couroussé, Jean-Louis Lanet, Ronan Lashermes |
A Template Attack Against VERIFY PIN Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECRYPT ![In: Proceedings of the 13th International Joint Conference on e-Business and Telecommunications (ICETE 2016) - Volume 4: SECRYPT, Lisbon, Portugal, July 26-28, 2016., pp. 231-238, 2016, SciTePress, 978-989-758-196-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Damien Couroussé, Thierno Barry, Bruno Robisson, Philippe Jaillon, Olivier Potin, Jean-Louis Lanet |
Runtime Code Polymorphism as a Protection Against Side Channel Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISTP ![In: Information Security Theory and Practice - 10th IFIP WG 11.2 International Conference, WISTP 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings, pp. 136-152, 2016, Springer, 978-3-319-45930-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Guillaume Bouffard, Jean-Louis Lanet |
The ultimate control flow transfer in a Java based smart card. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Secur. ![In: Comput. Secur. 50, pp. 33-46, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Mohammed Amine Kasmi, Mostafa Azizi, Jean-Louis Lanet |
Side channel analysis techniques towards a methodology for reverse engineering of Java Card byte-code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAS ![In: 11th International Conference on Information Assurance and Security, IAS 2015, Marrakech, Morocco, December 14-16, 2015, pp. 104-110, 2015, IEEE, 978-1-4673-8715-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Noreddine El Janati El Idrissi, Said El Hajji 0001, Jean-Louis Lanet |
Countermeasures Mitigation for Designing Rich Shell Code in Java Card. ![Search on Bibsonomy](Pics/bibsonomy.png) |
C2SI ![In: Codes, Cryptology, and Information Security - First International Conference, C2SI 2015, Rabat, Morocco, May 26-28, 2015, Proceedings - In Honor of Thierry Berger, pp. 149-161, 2015, Springer, 978-3-319-18680-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Jean-Louis Lanet |
Beyond Cryptanalysis Is Software Security the Next Threat for Smart Cards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
C2SI ![In: Codes, Cryptology, and Information Security - First International Conference, C2SI 2015, Rabat, Morocco, May 26-28, 2015, Proceedings - In Honor of Thierry Berger, pp. 74-82, 2015, Springer, 978-3-319-18680-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet |
An Approach for Formal Verification of Updated Java Bytecode Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2015, Bucharest, Romania, September 10-11, 2015., pp. 51-64, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
29 | Aymerick Savary, Marc Frappier, Michael Leuschel, Jean-Louis Lanet |
Model-Based Robustness Testing in Event-B Using Mutation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings, pp. 132-147, 2015, Springer, 978-3-319-22968-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Guillaume Bouffard, Bhagyalekshmy N. Thampi, Jean-Louis Lanet |
Security automaton to mitigate laser-based fault attacks on smart cards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Trust. Manag. Comput. Commun. ![In: Int. J. Trust. Manag. Comput. Commun. 2(2), pp. 185-205, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Guillaume Bouffard, Jean-Louis Lanet |
Reversing the operating system of a Java based smart card. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Virol. Hacking Tech. ![In: J. Comput. Virol. Hacking Tech. 10(4), pp. 239-253, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Guillaume Bouffard, Michael Lackner, Jean-Louis Lanet, Johannes Loinig |
Heap ... Hop! Heap Is Also Vulnerable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CARDIS ![In: Smart Card Research and Advanced Applications - 13th International Conference, CARDIS 2014, Paris, France, November 5-7, 2014. Revised Selected Papers, pp. 18-31, 2014, Springer, 978-3-319-16762-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Jean-Louis Lanet, Guillaume Bouffard, Rokia Lamrani Alaoui, Ranim Chakra, Afef Mestiri, Mohammed Monsif, Abdellatif Fandi |
Memory Forensics of a Java Card Dump. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CARDIS ![In: Smart Card Research and Advanced Applications - 13th International Conference, CARDIS 2014, Paris, France, November 5-7, 2014. Revised Selected Papers, pp. 3-17, 2014, Springer, 978-3-319-16762-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Damien Couroussé, Bruno Robisson, Jean-Louis Lanet, Thierno Barry, Hassan Noura 0001, Philippe Jaillon, Philippe Lalevée |
COGITO: Code Polymorphism to Secure Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECRYPT ![In: SECRYPT 2014 - Proceedings of the 11th International Conference on Security and Cryptography, Vienna, Austria, 28-30 August, 2014, pp. 451-456, 2014, SciTePress, 978-989-758-045-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Achkar Amine, Mohammed Benattou, Jean-Louis Lanet |
Generating control flow graph from Java card byte code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIST ![In: Third IEEE International Colloquium in Information Science and Technology, CIST 2014, Tetouan, Morocco, October 20-22, 2014, pp. 206-212, 2014, IEEE, 978-1-4799-5979-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Jean Dubreuil, Guillaume Bouffard, Bhagyalekshmy N. Thampi, Jean-Louis Lanet |
Mitigating Type Confusion on Java Card. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Secur. Softw. Eng. ![In: Int. J. Secur. Softw. Eng. 4(2), pp. 19-39, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
29 | Nassima Kamel, Jean-Louis Lanet |
Risks induced by Web applications on smart cards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Secur. Appl. ![In: J. Inf. Secur. Appl. 18(2-3), pp. 148-156, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
29 | Samiya Hamadouche, Jean-Louis Lanet |
Virus in a smart card: Myth or reality? ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Secur. Appl. ![In: J. Inf. Secur. Appl. 18(2-3), pp. 130-137, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
29 | Guillaume Bouffard, Bhagyalekshmy N. Thampi, Jean-Louis Lanet |
Detecting Laser Fault Injection for Smart Cards Using Security Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSCC ![In: Security in Computing and Communications - International Symposium, SSCC 2013, Mysore, India, August 22-24, 2013. Proceedings, pp. 18-29, 2013, Springer, 978-3-642-40575-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
29 | Bruno Crispo, Ravi S. Sandhu, Nora Cuppens-Boulahia, Mauro Conti, Jean-Louis Lanet (eds.) |
2013 International Conference on Risks and Security of Internet and Systems (CRiSIS), La Rochelle, France, October 23-25, 2013 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRiSIS ![IEEE Computer Society The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
29 | Guillaume Bouffard, Tom Khefif, Jean-Louis Lanet, Ismael Kane, Sergio Casanova Salvia |
Accessing secure information using export file fraudulence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRiSIS ![In: 2013 International Conference on Risks and Security of Internet and Systems (CRiSIS), La Rochelle, France, October 23-25, 2013, pp. 1-5, 2013, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
29 | Jean-Louis Lanet |
Foreword. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRiSIS ![In: 2013 International Conference on Risks and Security of Internet and Systems (CRiSIS), La Rochelle, France, October 23-25, 2013, pp. 1, 2013, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
29 | Guillaume Bouffard, Bhagyalekshmy N. Thampi, Jean-Louis Lanet |
Vulnerability Analysis on Smart Cards Using Fault Tree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings, pp. 82-93, 2013, Springer, 978-3-642-40792-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
29 | Aymerick Savary, Marc Frappier, Jean-Louis Lanet |
Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings, pp. 223-237, 2013, Springer, 978-3-642-38612-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
29 | Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet |
Towards a General Framework for Formal Reasoning about Java Bytecode Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Proceedings Fourth International Symposium on Symbolic Computation in Software Science, SCSS 2012, Gammarth, Tunisia, 15-17 December 2012., pp. 63-73, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Jean-Louis Lanet |
Attacks against smart cards: Hands on session. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRiSIS ![In: 7th International Conference on Risks and Security of Internet and Systems, CRiSIS 2012, Cork, Ireland, October 10-12, 2012, pp. 1-5, 2012, IEEE Computer Society, 978-1-4673-3087-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Fabio Martinelli, Jean-Louis Lanet, William M. Fitzgerald, Simon N. Foley (eds.) |
7th International Conference on Risks and Security of Internet and Systems, CRiSIS 2012, Cork, Ireland, October 10-12, 2012 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRiSIS ![IEEE Computer Society, 978-1-4673-3087-9 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
29 | Tiana Razafindralambo, Guillaume Bouffard, Bhagyalekshmy N. Thampi, Jean-Louis Lanet |
A Dynamic Syntax Interpretation for Java Based Smart Card to Mitigate Logical Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNDS ![In: Recent Trends in Computer Networks and Distributed Systems Security - International Conference, SNDS 2012, Trivandrum, India, October 11-12, 2012. Proceedings, pp. 185-194, 2012, Springer, 978-3-642-34134-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Jean Dubreuil, Guillaume Bouffard, Jean-Louis Lanet, Julien Cartigny |
Type Classification against Fault Enabled Mutant in Java Based Smart Card. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Seventh International Conference on Availability, Reliability and Security, Prague, ARES 2012, Czech Republic, August 20-24, 2012, pp. 551-556, 2012, IEEE Computer Society, 978-1-4673-2244-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Guillaume Bouffard, Jean-Louis Lanet |
The Next Smart Card Nightmare - Logical Attacks, Combined Attacks, Mutant Applications and Other Funny Things. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cryptography and Security ![In: Cryptography and Security: From Theory to Applications - Essays Dedicated to Jean-Jacques Quisquater on the Occasion of His 65th Birthday, pp. 405-424, 2012, Springer, 978-3-642-28367-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Tiana Razafindralambo, Guillaume Bouffard, Jean-Louis Lanet |
A Friendly Framework for Hidding fault enabled virus for Java Based Smartcard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBSec ![In: Data and Applications Security and Privacy XXVI - 26th Annual IFIP WG 11.3 Conference, DBSec 2012, Paris, France, July 11-13,2012. Proceedings, pp. 122-128, 2012, Springer, 978-3-642-31539-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Jean-Louis Lanet |
Bytecode Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Cryptography and Security (2nd Ed.) ![In: Encyclopedia of Cryptography and Security, 2nd Ed., pp. 177-178, 2011, Springer, 978-1-4419-5905-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
29 | Agnes C. Noubissi, Julien Iguchi-Cartigny, Jean-Louis Lanet |
Hot updates for Java based smart cards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE Workshops ![In: Workshops Proceedings of the 27th International Conference on Data Engineering, ICDE 2011, April 11-16, 2011, Hannover, Germany, pp. 168-173, 2011, IEEE Computer Society, 978-1-4244-9194-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
29 | David Pequegnot, Laurent Cart-Lamy, Aurélien Thomas, Thibault Tigeon, Julien Iguchi-Cartigny, Jean-Louis Lanet |
A Security Mechanism to Increase Confidence in M-Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRiSIS ![In: CRiSIS 2011, Proceedings of the Sixth International Conference on Risks and Security of Internet and Systems, Timișoara, Romania, September 26-28, 2011, pp. 9-16, 2011, IEEE Computer Society, 978-1-4577-1889-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
29 | Jean-Baptiste Machemie, Clement Mazin, Jean-Louis Lanet, Julien Cartigny |
SmartCM a smart card fault injection simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFS ![In: 2011 IEEE International Workshop on Information Forensics and Security, WIFS 2011, Iguacu Falls, Brazil, November 29 - December 2, 2011, pp. 1-6, 2011, IEEE Computer Society, 978-1-4577-1017-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
29 | Guillaume Bouffard, Julien Iguchi-Cartigny, Jean-Louis Lanet |
Combined Software and Hardware Attacks on the Java Card Control Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CARDIS ![In: Smart Card Research and Advanced Applications - 10th IFIP WG 8.8/11.2 International Conference, CARDIS 2011, Leuven, Belgium, September 14-16, 2011, Revised Selected Papers, pp. 283-296, 2011, Springer, 978-3-642-27256-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
29 | Guillaume Bouffard, Jean-Louis Lanet, Jean-Baptiste Machemie, Jean-Yves Poichotte, Jean-Philippe Wary |
Evaluation of the Ability to Transform SIM Applications into Hostile Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CARDIS ![In: Smart Card Research and Advanced Applications - 10th IFIP WG 8.8/11.2 International Conference, CARDIS 2011, Leuven, Belgium, September 14-16, 2011, Revised Selected Papers, pp. 1-17, 2011, Springer, 978-3-642-27256-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
29 | Amaury Gauthier, Clement Mazin, Julien Iguchi-Cartigny, Jean-Louis Lanet |
Enhancing Fuzzing Technique for OKL4 Syscalls Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Sixth International Conference on Availability, Reliability and Security, ARES 2011, Vienna, Austria, August 22-26, 2011, pp. 728-733, 2011, IEEE Computer Society, 978-1-4577-0979-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
29 | Julien Iguchi-Cartigny, Jean-Louis Lanet |
Developing a Trojan applets in a smart card. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Virol. ![In: J. Comput. Virol. 6(4), pp. 343-351, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet |
Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 45(4), pp. 415-435, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Pierre Girard, Karine Villegas, Jean-Louis Lanet, Aude Plateaux |
A new payment protocol over the Internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRiSIS ![In: CRiSIS 2010, Proceedings of the Fifth International Conference on Risks and Security of Internet and Systems, Montreal, QC, Canada, October 10-13, 2010, pp. 1-6, 2010, IEEE Computer Society, 978-1-4244-8641-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Dieter Gollmann, Jean-Louis Lanet, Julien Iguchi-Cartigny (eds.) |
Smart Card Research and Advanced Application, 9th IFIP WG 8.8/11.2 International Conference, CARDIS 2010, Passau, Germany, April 14-16, 2010. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CARDIS ![Springer, 978-3-642-12509-6 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Ahmadou Al Khary Séré, Julien Iguchi-Cartigny, Jean-Louis Lanet |
Checking the Paths to Identify Mutant Application on Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGIT ![In: Future Generation Information Technology - Second International Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings, pp. 459-468, 2010, Springer, 978-3-642-17568-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Ahmadou Al Khary Séré, Julien Iguchi-Cartigny, Jean-Louis Lanet |
Automatic detection of fault attack and countermeasures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WESS ![In: Proceedings of the 4th Workshop on Embedded Systems Security, WESS 2009, Grenoble, France, October 15, 2009, 2009, ACM, 978-1-60558-700-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Gilles Barthe, Lilian Burdy, Julien Charles, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet, Mariela Pavlova, Antoine Requet |
JACK - A Tool for Validation of Security and Behaviour of Java Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures, pp. 152-174, 2006, Springer, 978-3-540-74791-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet (eds.) |
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASSIS ![Springer, 3-540-33689-3 The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 115 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|