Zobrazeno 1 - 10
of 47
pro vyhledávání: '"KIRCHNER, FLORENT"'
Distributed immutable ledgers, or blockchains, allow the secure digitization of evidential transactions without relying on a trusted third-party. Evidential transactions involve the exchange of any form of physical evidence, such as money, birth cert
Externí odkaz:
http://arxiv.org/abs/2403.16903
Autor:
Kirchner, Florent
Les developpements de specifications et des preuves formelles ont pris de l'ampleur durant les dernieres decennies, elabores au sein d'une diversite de canevas, de systemes et de communautes. Cependant l'heterogeneite de ces environnements gene quel
Externí odkaz:
http://pastel.archives-ouvertes.fr/pastel-00003192
http://pastel.archives-ouvertes.fr/docs/00/50/36/66/PDF/Kirchner.pdf
http://pastel.archives-ouvertes.fr/docs/00/50/36/66/PDF/Kirchner.pdf
Publikováno v:
Logical Methods in Computer Science, Volume 8, Issue 2 (May 31, 2012) lmcs:801
Exchanging mutable data objects with untrusted code is a delicate matter because of the risk of creating a data space that is accessible by an attacker. Consequently, secure programming guidelines for Java stress the importance of using defensive cop
Externí odkaz:
http://arxiv.org/abs/1204.4322
Autor:
BAUDIN, PATRICK, BOBOT, FRANÇOIS, BÜHLER, DAVID, CORRENSON, LOÏC, KIRCHNER, FLORENT, KOSMATOV, NIKOLAI, MARONEZE, ANDRÉ, PERRELLE, VALENTIN, PREVOSTO, VIRGILE, SIGNOLES, JULIEN, WILLIAMS, NICKY
Publikováno v:
Communications of the ACM; Aug2021, Vol. 64 Issue 8, p56-68, 13p, 1 Illustration, 8 Diagrams
Autor:
Kirchner, Florent, Muñoz, César
Publikováno v:
In Journal of Logic and Algebraic Programming 2010 79(3):264-277
Autor:
Kuhlmann, Dirk, Kirchner, Florent, Lemesle, Augustin, Antignac, Thibaud, Bachlechner, Daniel, Bührer, Susanne, Ebbers, Frank, Friedewald, Michael, Lindner, Ralf, Wallwaey, Elisa, Cadete, Gonçalo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4fb543d433ccf1a58d273413e5edaada
Autor:
Kirchner, Florent, Muñoz, César
Publikováno v:
In Electronic Notes in Theoretical Computer Science 3 July 2007 174(11):47-58
Publikováno v:
In Electronic Notes in Theoretical Computer Science 24 April 2007 174(1):35-47
Industrial usage of code analysis tools based on semantic analysis, such as the Frama-C platform, poses several challenges, from the setup of analyses to the exploitation of their results. In this paper, we discuss two of these challenges. First, suc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0b170db72a0fc85bb769e5adce8112c6