Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Kosmatov, Nikolai
230  Ergebnisse:
Personensuche X
?
1

Guide to Software Verification with Frama-C: Core Component.. 

Computer Science Foundations and Applied Logic
Kosmatov, Nikolai ; Prevosto, Virgile ; Signoles, Julien - 1st ed. 2024 . , 2024
Link: https://doi.org/10.1007/..
 
?
2

Combining Deductive Verification with Shape Analysis:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,
Bernier, Téo ; Ziani, Yani ; Kosmatov, Nikolai. - p. 280-289 , 2024
Link: https://doi.org/10.1007/..
 
?
3

Proof of Security Properties: Application to JavaCard Virtu..:

, In: Guide to Software Verification with Frama-C; Computer Science Foundations and Applied Logic,
Djoudi, Adel ; Hána, Martin ; Kosmatov, Nikolai - p. 659-683 , 2024
Link: https://doi.org/10.1007/..
 
?
4

Automate where Automation Fails: Proof Strategies for Frama..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Correnson, Loïc ; Blanchard, Allan ; Djoudi, Adel. - p. 331-339 , 2024
Link: https://doi.org/10.1007/..
 
?
5

Execution at RISC: Stealth JOP Attacks on RISC-V Applicatio..:

, In: Computer Security. ESORICS 2023 International Workshops; Lecture Notes in Computer Science,
Buckwell, Loïc ; Gilles, Olivier ; Pérez, Daniel Gracia. - p. 377-391 , 2024
Link: https://doi.org/10.1007/..
 
?
6

Sound Runtime Assertion Checking for Memory Properties via ..:

Ly, Dara ; Kosmatov, Nikolai ; Loulergue, Frédéric.
Formal Aspects of Computing.  36 (2024)  1 - p. 1-46 , 2024
Link: https://doi.org/10.1145/..
 
?
7

Specification and Verification of High-Level Properties:

, In: Guide to Software Verification with Frama-C; Computer Science Foundations and Applied Logic,
Blatter, Lionel ; Kosmatov, Nikolai ; Prevosto, Virgile. - p. 457-486 , 2024
Link: https://doi.org/10.1007/..
 
?
8

Test Generation with PathCrawler:

, In: Guide to Software Verification with Frama-C; Computer Science Foundations and Applied Logic,
Williams, Nicky ; Kosmatov, Nikolai - p. 305-338 , 2024
Link: https://doi.org/10.1007/..
 
?
9

Combining Analyses Within Frama-C:

, In: Guide to Software Verification with Frama-C; Computer Science Foundations and Applied Logic,
Kosmatov, Nikolai ; Plaunov, Artjom ; Shankar, Subash. - p. 423-455 , 2024
Link: https://doi.org/10.1007/..
 
?
10

Efficient computation of arbitrary control dependencies:

Léchenet, Jean-Christophe ; Kosmatov, Nikolai ; Le Gall, Pascale
Theoretical Computer Science.  969 (2023)  - p. 114029 , 2023
Link: https://doi.org/10.1016/..
 
?
11

Towards Formal Verification of a TPM Software Stack:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,
Ziani, Yani ; Kosmatov, Nikolai ; Loulergue, Frédéric.. - p. 93-112 , 2023
Link: https://doi.org/10.1007/..
 
?
12

An Efficient Black-Box Support of Advanced Coverage Criteri..:

, In: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing,
Berthier, Nicolas ; De Oliveira, Steven ; Kosmatov, Nikolai.. - p. 1706-1715 , 2023
Link: https://dl.acm.org/doi/1..
 
?
13

Certified Verification of Relational Properties:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,
Blatter, Lionel ; Kosmatov, Nikolai ; Prevosto, Virgile. - p. 86-105 , 2022
Link: https://doi.org/10.1007/..
 
?
14

Verifying redundant-check based countermeasures : a case..:

, In: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing,
Martin, Thibault ; Kosmatov, Nikolai ; Prevosto, Virgile - p. 1849-1852 , 2022
Link: https://dl.acm.org/doi/1..
 
?
15

Editorial:

Gaston, Christophe ; Kosmatov, Nikolai ; Le Gall, Pascale
Software Quality Journal.  30 (2022)  1 - p. 1-2 , 2022
Link: https://doi.org/10.1007/..
 
1-15